CHINESE

现代逻辑学讲义

By 李小五

Book information

Publisher
中山大学出版社
Year
2005
ISBN
9787306025883
Language
chinese
Format
PDF
Filesize
6 MB (5997554 bytes)
Volume
数理逻辑
Pages
\270
Time added
2021-10-01 05:13:04

Description

数理逻辑是研究可以用数学语言表述的推理形式的有效性的学问 它是全部逻样的基础，作为一门课程，它是逻轼学专业最重要的基础课。数理逻辑分两大部分：句子逻辑和量化逻辑。本讲义介绍句子逻样的基本内容和量化逻样的基础一一一阶逻辑的基本内容。本讲义内容丰富，知识面广，表达严谨，习题例题丰富，可作为高等学校逻样学专业本科生、研究生教材使用。 封面 书名 版权 前言 目录 第0章　引论 1 导言 2　集合论初步 第1章　句形的基本性质 1　句形与句子联结词 2　联结符号的基本解释 3　重言式及其判定 4　真值函数的个数及其句形表示 5　联结符号的完备性与独立性 第2章　公理化系统 1　句子语言 2　蕴涵系统的引入 3　演绎定理与等价置换定理 4　其他系统及其等价性 第3章　二值语义与系统性质 1　二值语义 2　刻画定理 3　和谐性、协调性与Post-完备性 4　强刻画定理 5　公理的独立性 第4章　一阶语言 1　简单陈述句的内部结构 2　初始符号集　项 3　一阶语言 第5章　一阶语义 1 一阶结构 2　有效性　逻辑后承 3　范式 第6章　一阶系统 1　系统PS的引入 2　系统定理 3　协调性定理与和谐性定理 4　等价前束范式存在定理 第7章　刻画定理 1　强可靠性定理 2　强完全性定理 第8章　带等号的一阶逻辑 1　带等号的一阶语言 2　带等号的一阶语义 3　带等号的公理化系统 4　带等号的强刻画定理 参考文献 后记

Similar books