复旦大学：《离散数学——代数结构与数理逻辑》PPT课件_10/29

复旦大学：《离散数学——代数结构与数理逻辑》PPT课件_08/29

复旦大学：《离散数学——代数结构与数理逻辑》PPT课件_06/29

复旦大学：《离散数学——代数结构与数理逻辑》PPT课件_04/29

复旦大学：《离散数学——代数结构与数理逻辑》PPT课件_02/29

信息科学技术学院2003-2004学年第一学期本科生期末考试试卷（数理逻辑）

一、《离散数学》 二、《集合论与图论》 三、《代数结构与组合数学》 四、《数理逻辑》

本章概述 产生于20世纪初的分析哲学,继承实证主义传统,运用现代 数理逻辑和语言分析,拒斥形而上学,认为哲学的主要任务是对 语言表达式的描述和解释,或把复杂的概念分析为简单的概念, 阐明后者之间的关系;或通过对语言的逻辑分析而解决哲学问题 。它注重分析的方法,强调语言分析的重要性,反心理主义,否 认纯理智能获得关于实在的知识。它是20世纪西方哲学中的主要 思潮之一,在英语国家长期居于主导地位,除了在哲学领域的巨 大影响之外,还对文学、社会学、政治学等学科都产生了深刻的 影响

第1节 可表示性 第2节 语法的算术化 第3节 不动点引理和递归定理 第4节 不可定义性，不完全性和不可判定性 第1节 可证性条件 第2节 第二可证性条件 (D2) 的证明 第3节 第三可证性条件 (D3) 的证明 第4节 哥德尔第二不完全性定理 第5节 自然的不可判定语句

Some Properties 1. ∆n is consistent. 2. Γ ⊆ ∆n ⊆ ∆n+1 ⊆ ∆Γ 3. ∆Γ is complete. 4. If ∆Γ ` A then there exists n ∈ N such that ∆n ` A. 5. A ∈ ∆Γ iff ∆Γ ` A 6. ∆Γ is consistent