應用邏輯 pdf epub mobi txt 電子書 下載 2024


應用邏輯

簡體網頁||繁體網頁
Anil Nerode Richard A.Shore
機械工業齣版社
2007-7
284
38.00元
計算機科學叢書
9787111214045

圖書標籤: 數理邏輯  邏輯  計算機  數學  計算機科學  計算機數學  邏輯學  消解   


喜歡 應用邏輯 的讀者還喜歡




點擊這裡下載
    


想要找書就要到 小哈圖書下載中心
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

发表于2024-10-31

應用邏輯 epub 下載 mobi 下載 pdf 下載 txt 電子書 下載 2024

應用邏輯 epub 下載 mobi 下載 pdf 下載 txt 電子書 下載 2024

應用邏輯 pdf epub mobi txt 電子書 下載 2024



圖書描述

“本書無疑是計算機科學最富成效的入門教科書之一……我們強烈建議把它作為教科書……”

——美國計算機協會自動機與可計算性理論專業組 (SIGACT)

這是一本結閤邏輯在計算機科學中的應用來介紹數理邏輯的教科書。書中主要介紹瞭消解定理證明、邏輯式程序設計和非經典邏輯(模態邏輯和直覺主義邏輯),所用的方法與數理邏輯的經典著作有很大不同,更加適閤研究計算機理論的讀者,可以幫助他們更好地理解計算機理論中的許多概念,是一本真正麵嚮計算機科學的邏輯著作。另外,每章最後給齣瞭進一步閱讀建議,書末又分主題給齣瞭相當多的參考文獻,便於讀者深入學習。

本書不要求讀者具備邏輯基礎知識,適閤計算機科學係和數學係高年級本科生以及低年級研究生使用。

應用邏輯 下載 mobi epub pdf txt 電子書

著者簡介


圖書目錄


應用邏輯 pdf epub mobi txt 電子書 下載
想要找書就要到 小哈圖書下載中心
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

用戶評價

評分

書不厚但信息密度很高。放棄瞭傳統教材的公理方法-模型論視角,選取瞭錶列方法-證明論的切入點,並不隻是為瞭介紹prolog以及機器證明的基礎知識,相反,錶列方法使得許多經典定理的證明變得直觀明顯,並且配閤模態邏輯和直覺主義邏輯部分形象地演示瞭力迫和極小模型的思想。第六章是一個簡短但內容相當深入的集閤論導引,附錄A提供瞭一份兼具技術細節和思想脈絡的數理邏輯簡史

評分

大爺的,沒讀懂。。。

評分

大爺的,沒讀懂。。。

評分

大爺的,沒讀懂。。。

評分

見過。

讀後感

評分

说实话 这书不适合我的胃口。逻辑本来是想作为数学的基础, 而后来发展成为数学的一个分支。数学家,逻辑学家把逻辑当做数学对象研究 用数学方法来研究逻辑系统的性质 当然这是从19世纪末 20世纪初开始的 正如某人说的那样,一门科学有了数学的加入 才成为科学 逻辑也一样 从...

評分

说实话 这书不适合我的胃口。逻辑本来是想作为数学的基础, 而后来发展成为数学的一个分支。数学家,逻辑学家把逻辑当做数学对象研究 用数学方法来研究逻辑系统的性质 当然这是从19世纪末 20世纪初开始的 正如某人说的那样,一门科学有了数学的加入 才成为科学 逻辑也一样 从...

評分

说实话 这书不适合我的胃口。逻辑本来是想作为数学的基础, 而后来发展成为数学的一个分支。数学家,逻辑学家把逻辑当做数学对象研究 用数学方法来研究逻辑系统的性质 当然这是从19世纪末 20世纪初开始的 正如某人说的那样,一门科学有了数学的加入 才成为科学 逻辑也一样 从...

評分

说实话 这书不适合我的胃口。逻辑本来是想作为数学的基础, 而后来发展成为数学的一个分支。数学家,逻辑学家把逻辑当做数学对象研究 用数学方法来研究逻辑系统的性质 当然这是从19世纪末 20世纪初开始的 正如某人说的那样,一门科学有了数学的加入 才成为科学 逻辑也一样 从...

評分

说实话 这书不适合我的胃口。逻辑本来是想作为数学的基础, 而后来发展成为数学的一个分支。数学家,逻辑学家把逻辑当做数学对象研究 用数学方法来研究逻辑系统的性质 当然这是从19世纪末 20世纪初开始的 正如某人说的那样,一门科学有了数学的加入 才成为科学 逻辑也一样 从...

類似圖書 點擊查看全場最低價

應用邏輯 pdf epub mobi txt 電子書 下載 2024


分享鏈接





相關圖書




本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度google,bing,sogou

友情鏈接

© 2024 qciss.net All Rights Reserved. 小哈圖書下載中心 版权所有