A First Course in Logic pdf epub mobi txt 电子书 下载 2025
- 逻辑学
- Logic
- 计算机科学
- 逻辑
- 数学
- complexity
- 语言学
- 方法论
- 逻辑入门
- 基础逻辑
- 形式逻辑
- 数学逻辑
- 推理方法
- 命题逻辑
- 谓词逻辑
- 逻辑证明
- 逻辑结构
- 逻辑思维
具体描述
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.
作者简介
目录信息
1.1 What is propositional logic
1.2 Validity, satisfiability, and contradiction
1.3 Consequence and equivalence
1.4 Formal proofs
1.5 Proof by induction
1.5.1 Mathematical induction
1.5.2 Induction on the complexity of formulas
1.6 Normal forms
1.7 Horn formulas
1.8 Resolution
1.8.1 Clauses
1.8.2 Resolvents
1.8.3 Completeness of resolution
1.9 Completeness and compactness
2 Structures and first-order logic
3 Proof theory
4 Properties of first-order logic
5 First-order theories
6 Models of countable theories
7 Computability and complexity
8 The incompleteness theorems
9 Beyond first-order logic
10 Finite model theory
· · · · · · (收起)
读后感
评分
评分
评分
评分
用户评价
很全，四论都涉及了，消解的办法很有趣～当入门书读很不错
评分很全，四论都涉及了，消解的办法很有趣～当入门书读很不错
评分很全，四论都涉及了，消解的办法很有趣～当入门书读很不错
评分适合计算科学专业，最大特点是讲复杂性问题与不同逻辑间转换的等价问题。视角独特，值得一读。不过要是真的以为这本书是你first course in logic那你一定是欲哭无泪，除非你是CS三年级以上。本书可看作是是计算机专业《离散数学》的后续课程教科书。
评分适合计算科学专业，最大特点是讲复杂性问题与不同逻辑间转换的等价问题。视角独特，值得一读。不过要是真的以为这本书是你first course in logic那你一定是欲哭无泪，除非你是CS三年级以上。本书可看作是是计算机专业《离散数学》的后续课程教科书。
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美书屋 版权所有