Introduction to Mathematical Logic
简介：
本书探讨了数学逻辑的主要主题。它涵盖了命题逻辑，一阶逻辑，一阶数论，公理集理论和可计算性理论。本文还讨论了哥德尔，丘奇，克莱恩，罗瑟和图灵的主要成果。
从目录: 参考文献; 1.导言。2.逻辑是什么？命题逻辑; 3.谓词逻辑; 4.完备性定理 (模型论); 5.正常的形式。解析方法; 6.杂项 (否定为矛盾或荒谬)。
英文简介：
This book explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. The text also discusses the major results of Gödel, Church, Kleene, Rosser, and Turing.
From the table of contents: References; 1. Introduction. What Is Logic, Really?; 2. Propositional Logic; 3. Predicate Logic; 4. Completeness Theorems (Model Theory); 5. Normal Forms. Resolution Method; 6. Miscellaneous (Negation as Contradiction or Absurdity).
- 书名
- Introduction to Mathematical Logic
- 译名
- 数理逻辑导论
- 语言
- 英语
- 年份
- 2021
- 页数
- 260页
- 大小
- 1.22 MB
- 标签
- 数学
- 下载
Introduction to Mathematical Logic.pdf- 密码
- 65536
最后更新：2025-04-12 23:58:02