The ability to reason and think in a logical manner forms the basis of learning for most mathematics, computer science, philosophy and logic students. Based on the author's teaching notes at the University of Maryland and aimed at a broad audience, this text covers the fundamental topics in classical logic in an extremely clear, thorough and accurate style that is accessible to all the above. Covering propositional logic, first-order logic, and second-order logic, as well as proof theory, computability theory, and model theory, the text also contains numerous carefully graded exercises and is ideal for a first or refresher course.
具体描述
读后感
评分
评分
评分
评分
用户评价
很全，四论都涉及了，消解的办法很有趣～当入门书读很不错
评分前三章例子丰富。五、六章的模型论内容比较深，看不懂可以跳过。
评分适合计算科学专业，最大特点是讲复杂性问题与不同逻辑间转换的等价问题。视角独特，值得一读。不过要是真的以为这本书是你first course in logic那你一定是欲哭无泪，除非你是CS三年级以上。本书可看作是是计算机专业《离散数学》的后续课程教科书。
评分前三章例子丰富。五、六章的模型论内容比较深，看不懂可以跳过。
评分很全，四论都涉及了，消解的办法很有趣～当入门书读很不错
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美书屋 版权所有