数理逻辑基础
✍ 胡世华; 陆钟方
📂 Library
📅 1982
🏛 科学出版社
🌐 Chinese
✦ LIBER ✦
📁
数理逻辑基础
✍ Scribed by 胡世华; 陆钟万
- Publisher
- 科学出版社
- Year
- 1981
- Tongue
- Chinese
- Leaves
- 237
- Series
- 现代数学基础丛书
- Category
- Library
⬇ Acquire This Volume
No coin nor oath required. For personal study only.
✦ Table of Contents
《数理逻辑基础(上册)》
书名页
版权页
序
使用说明
《现代数学基础丛书》编委会
目录页
目录页1
目录页2
正文
绪论
00 数理逻辑
01 逻辑演算(一)
02 逻辑演算(二)
03 集的基本概念
04 数学归纳法
第一章 演绎逻辑的基本规则
10 命题逻辑P的形成规则
11 P的形式推理规则
12 命题逻辑P?
13 P和P?的关系
14 命题常元、谢孚竖
15 谓词逻辑F和F?的形成规则
16 F和F?的形式推理规则
17 函数词、等词
18 摹伏词
19 偏函数
第二章 逻辑演算的系统特征
20 等值公式的可替换性
21 逻辑词的可定义性
22 命题连接词的完全性和独立性
23 代入定理
24 合取范式和析取范式
25 前束范式和斯柯伦范式
26 根岑系统和对偶性
27 无嵌套范式
28 逻辑演算的归约
符号汇编(上册)
📜 SIMILAR VOLUMES
逻辑基础
✍ 王路
📂 Library
📅 2004
🏛 人民出版社
🌐 Chinese
数理逻辑
✍ 余俊伟，赵晓玉，裘江杰，张立英
📂 Library
📅 2020
🏛 中国人民大学出版社
🌐 Chinese
本书是为了给将来致力于数理逻辑研究的读者奠定坚实基础而写的。概括地讲，第1–4章为基础内容，第5–6章为高阶内容。具体来看，第1章从思想史角度讲述哲学之于逻辑的动机催发，第2章讲述命题逻辑的早期简史、语法语义、完全性、紧致性等，第3章讲述一阶逻辑的早期简史、语法语义、完全性、紧致性及应用、哲学的应用等，第4章讲述一阶理论的基本性质、几种形式等，第5章讲述哥德尔两个不完全性定理的数学哲学动机、详细证明过程、一些相关推论、数学哲学影响等，第6章以模态逻辑为例说明逻辑之于哲学的实际应用。
数理逻辑
✍ 汪芳庭
📂 Library
📅 2010
🏛 中国科学技术大学出版社
🌐 Chinese
《普通高等学校十一五规划教材•数理逻辑(第2版)》内容分两部分：第一部分属数理逻辑基础，包含命题演算与谓词演算的基本知识。第二部分为形式算术与Godel不完备性定理。《普通高等学校十一五规划教材•数理逻辑(第2版)》对Gödel第一不完备性定理、Gödel-Rosser定理、Tarski定理及形式算术的不可判定性定理等都提供了完整的证明。结合对Church论题与Turing论题的介绍，对这些定理的意义进行了讨论。书中还提出了Gödel第二不完备性定理的一种易证形式。 《普通高等学校十一五规划教材•数理逻辑(第2版)》可用作计算机专业研究生或高年级本科生教材，并可供数学、哲学、逻辑等专业研究及
数理逻辑
✍ A.G.汉密尔顿 朱水林译
📂 Library
📅 0
🏛 华东师范大学出版社
🌐 Chinese
数理逻辑
✍ 汪芳庭
📂 Library
📅 1990
🏛 中国科学技术大学出版社
🌐 Chinese
Ben shu qian liang zhang jie shao le ming ti yan suan he wei ci yan suan. di san zhang jie shao xing shi suan shu, di gui han shu ji er zhe de guan xi. di si zhang zhong xin shi bu wan bei xing ding li, qi zhong jian li leGodelding li, Godel-Rosserding li, Tarskiding li, xing shi suan shu de bu ke