| 词条 | 《数理逻辑与集合论(第2版)》 |
| 释义 | 数理逻辑与集合论（第2版） 内容简介 本书介绍了数理逻辑，包括命题和谓词逻辑的基本概念、等值和推理演算以及公理系统、模型论和证明论。还介绍了集合论，包括集合、关系、函数、实数集与基数等。 数理逻辑与集合论（第2版） 本书目录 第1章：命题逻辑的基本概念 第2章：命题逻辑的等值和推理演算 第3章：命题逻辑的公理化 第4章：谓词逻辑的基本概念 第5章：谓词逻辑的等值和推理演算 第6章：谓词逻辑的公理化 第7章：一阶形式理论及模型 第8章：证明论中的逻辑系统 第9章：集合 第10章：关系 第11章：函数 第12章：实数集合与集合的基数 |
| 随便看 |
百科全书收录594082条中文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。