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. 小美書屋 版权所有