应用逻辑
Anil Nerode Richard A.Shore
书签已装载，
书签制作方法请找 yjyouaremysunshine@163.com
完全免费
“本书无疑是计算机科学最富成效的入门教科书之一……我们强烈建议把它作为教科书……”
——美国计算机协会自动机与可计算性理论专业组 (SIGACT)
这是一本结合逻辑在计算机科学中的应用来介绍数理逻辑的教科书。书中主要介绍了消解定理证明、逻辑式程序设计和非经典逻辑（模态逻辑和直觉主义逻辑），所用的方法与数理逻辑的经典著作有很大不同，更加适合研究计算机理论的读者，可以帮助他们更好地理解计算机理论中的许多概念，是一本真正面向计算机科学的逻辑著作。另外，每章最后给出了进一步阅读建议，书末又分主题给出了相当多的参考文献，便于读者深入学习。
本书不要求读者具备逻辑基础知识，适合计算机科学系和数学系高年级本科生以及低年级研究生使用。
书签制作方法请找 yjyouaremysunshine@163.com
完全免费
“本书无疑是计算机科学最富成效的入门教科书之一……我们强烈建议把它作为教科书……”
——美国计算机协会自动机与可计算性理论专业组 (SIGACT)
这是一本结合逻辑在计算机科学中的应用来介绍数理逻辑的教科书。书中主要介绍了消解定理证明、逻辑式程序设计和非经典逻辑（模态逻辑和直觉主义逻辑），所用的方法与数理逻辑的经典著作有很大不同，更加适合研究计算机理论的读者，可以帮助他们更好地理解计算机理论中的许多概念，是一本真正面向计算机科学的逻辑著作。另外，每章最后给出了进一步阅读建议，书末又分主题给出了相当多的参考文献，便于读者深入学习。
本书不要求读者具备逻辑基础知识，适合计算机科学系和数学系高年级本科生以及低年级研究生使用。
Категорії:
Рік:
2007
Видавництво:
机械工业出版社
Мова:
chinese
Сторінки:
284
ISBN 10:
7111214048
ISBN 13:
9787111214045
Серії:
计算机科学丛书
Файл:
PDF, 18.31 MB
IPFS:
,
chinese, 2007
Amazon 
Barnes & Noble 
Bookshop.org
Чи бажаєте додати книгарню? Зв'яжіться з нами за support@z-lib.do
Конвертуйте файли
Більше результатів пошуку
Інші переваги 
![[美]GlenBruce，[美]RobDempsey — 分布式计算的安全原理](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/9a9b37d94dc33c64b604d00499953265ec4d3c5b707017a245cc3e7f71cf2300.jpg)
![[印] C.Xavier，（美）S.S.I — 并行算法导论](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/0def85ac7ad941e534680baade258fba559b80eba5d0b29008f76131f4d38385.jpg)
![[美] Randy Allen — 现代体系结构的优化编译器](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/06a8d7c00e0bd7e153bf751a81266706d89b4c9bfd59bfc928a286c62ef19b6b.jpg)
![[美] David A.Patterson; John L.Hennessy — 计算机组成与设计硬件/软件接口: 硬件/软件接口](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/01f467f3de05c56c4b656a7475507bd105dd0a51b49c7d88cc2e8903521ce68f.jpg)
![[美] Kenneth H. Rosen — 离散数学及其应用](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/39f64408aa979bdb90e2b27cda822ef65fc4c41ab6ff005546bea5f4bc7715c6.jpg)
![[德] 哈斯 [英] 瑞安 — 面向计算机科学的数理逻辑](https://s3proxy.cdn-zlib.se/covers200/collections/userbooks/2e3d09a746b4d944eaac143194d5e3b50f590f0b26fd17a47f26b660233bdaec.jpg)
![[美] Stephen R. Schach — 软件工程: 面向对象和传统的方法](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/5ccb3d6d5fb7f6669e07718a5ca39c758ced60bb8140077d6edddf981bed0df3.jpg)
![[美]ThomasM.Cove — 信息论基础](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/6af8d48656f475097f2ae304489394a5d22443d49d85fa2ba48bf8dbaf571adf.jpg)
Ключові фрази
Пов’язані вибірки
