应用逻辑读书介绍

数理逻辑,逻辑,计算机,数学,计算机科学,计算机数学,逻辑学,消解,

Anil Nerode Richard A.Shore      ISBN:9787111214045    原作名/别名:《Logic for Applications》

应用逻辑摘要

“本书无疑是计算机科学最富成效的入门教科书之一……我们强烈建议把它作为教科书……”

——美国计算机协会自动机与可计算性理论专业组 (SIGACT)

这是一本结合逻辑在计算机科学中的应用来介绍数理逻辑的教科书。书中主要介绍了消解定理证明、逻辑式程序设计和非经典逻辑（模态逻辑和直觉主义逻辑），所用的方法与数理逻辑的经典著作有很大不同，更加适合研究计算机理论的读者，可以帮助他们更好地理解计算机理论中的许多概念，是一本真正面向计算机科学的逻辑著作。另外，每章最后给出了进一步阅读建议，书末又分主题给出了相当多的参考文献，便于读者深入学习。

本书不要求读者具备逻辑基础知识，适合计算机科学系和数学系高年级本科生以及低年级研究生使用。

作者简介

未发行或暂未收录

一个宅男的无逻辑日常 科幻 喜剧　2020-02-20 …

逻辑学（上卷） 黑格尔,哲学,逻辑学,逻辑,西方哲学,德国古典哲学,德国,商务印书馆,　2020-02-20 …

查理·芒格的投资逻辑 价值投资,2019,逆向思维,说不大师,股票,查理芒格,投资,思想,　2020-02-20 …

iPhone应用用户体验设计实战与案例 用户体验,交互设计,iPhone,iOS,用户体验设计,移动设备,产品设计,iPhone开发,　2020-02-20 …

应用逻辑 数理逻辑,逻辑,计算机,数学,计算机科学,计算机数学,逻辑学,消解,　2020-02-20 …

Akka应用模式：分布式应用程序设计实践指南 Akka,Actor,编程,架构,计算机,响应式,软件设计,程序设计,　2020-02-20 …

反应式Web应用开发 函数式,计算机科学,计算机,JavaScript,编程,Web开发,Scala,Programming,　2020-02-20 …

相关性搜索：利用Solr与Elasticsearch创建智能应用 搜索引擎,搜索,elasticsearch,计算机科学,计算机,ElasticSearch,软件开发,分布式,　2020-02-20 …

形式逻辑和先验逻辑 逻辑学,现象学,胡塞尔,哲学,逻辑,数学,西方现代哲学,德国哲学,　2020-02-20 …

有用的逻辑学（第2版） 逻辑,批判性思维,逻辑学,后浪,自我提升,管理,科普博物,读书,　2020-02-20 …

应用逻辑大结局

剧情呢，免费看分享剧情、挑选影视作品、精选好书简介分享。