Can I read 数理逻辑引论 on EtoBox?

数理逻辑引论 by 李涛,张岩,刘峰主编, 李涛, 张岩, 刘峰主编, 李涛, 张岩, 刘峰 is a book available to read on EtoBox.

What is 数理逻辑引论 about?

1 (p1): 第1章 绪论 1 (p2): 1.1 数理逻辑的发展简史 10 (p3): 1.2 形式化公理系统 13 (p4): 1.3 数理逻辑与计算机科学 15 (p5): 第2章 命题逻辑的基本概念 15 (p6): 2.1 命题与联结词 15 (p7): 2.1.1 命题符号化 17 (p8): 2.1.2 命题联结词及真值表 22 (p9): 2.1.3 命题公式及真值 25 (p10): 2.1.4 逻辑蕴涵与逻辑等价 27 (p11): 2.2 范式 28 (p12): 2.2.1 基本概念 28 (p13): 2.2.2 范式的求解 29 (p14): 2.2.3 主范式 37 (p15): 2.3 联结词的扩充与归约 41 (p16): 2.4 对偶式 43 (p17): 习题 45 (p18): 第3章 命题演算形式系统 45 (p19): 3.1 命题逻辑演算形式系统 46 (p20): 3.1.1 命题演算形式系统的组成 47 (p21): 3.1.2 命题演算形式系统的基本定理 68 (p22): 3.1.3 PC的性质定理 75 (p23): 3.2 自然演绎推理系统 75 (p24): 3.2.1 自然演绎推理系统组成 78 (p25): 3.2.2 自然演绎推理系统的基本定理 85 (p26): 习题 87 (p27): 第4章 一阶谓词逻辑演算基本概念 87 (p28): 4.1 引言 89 (p29): 4.2 一阶谓词演算基本概念 95 (p30): 4.3 自然语句的形式化 98 (p31): 习题 101 (p32): 第5章 一阶谓词演算形式系统 101 (p33): 5.1 一阶谓词演算形式系统组成 104 (p34): 5.2 FC的基本定理 114 (p35): 5.3 一阶谓词形式系统的语义 121 (p36): 5.4 FC的性质定理 129 (p37): 5.5 其他形式的一阶谓词演算系统 129 (p38): 5.5.1 FCM谓词演算系统 133 (p39): 5.5.2 FND谓词演算系统 137 (p40): 习题 140 (p41): 参考文献 本书共5章, 分别介绍了数理逻辑的研究对象, 研究内容和研究方法.命题逻辑的基本概念, 命题逻辑演算形式系统的组成, 基本定理及其性质定理.一阶谓词逻辑演算形式系统的基本概念, 组成, 基本定理及其性质定理, 一阶语言的语义等

Author

李涛,张岩,刘峰主编, 李涛, 张岩, 刘峰主编, 李涛, 张岩, 刘峰

Publisher

哈尔滨:哈尔滨工业大学出版社

Published

2011

Language

ZH

ISBN

9787560334110