👋欢迎来到黄铜扳手的图书馆

26 个页面

元数学

朴素数理逻辑(1)：数理逻辑的发展简史

朴素数理逻辑(2)：数学基础的哲学观点

朴素数理逻辑(3)：形式化公理系统

朴素数理逻辑(4)：数理逻辑与计算机科学

朴素数理逻辑(5)：命题与联结词

朴素数理逻辑(6)：联结词的扩充与归约

朴素数理逻辑(7)：命题逻辑演算形式系统的组成

朴素数理逻辑(8)：命题逻辑演算形式系统的定理(基本)

朴素数理逻辑(9)：命题逻辑演算形式系统的定理(蕴涵)

朴素数理逻辑(10)：命题逻辑演算形式系统的定理(否定)

朴素数理逻辑(11)：命题逻辑演算形式系统的定理(合取与析取)

朴素数理逻辑(12)：命题逻辑演算形式系统的定理(等价)

朴素数理逻辑(13)：命题逻辑演算形式系统的定理(Boole代数)

朴素数理逻辑(14)：命题的范式

朴素数理逻辑(15)：命题的对偶式

朴素数理逻辑(16)：归结证明法

朴素数理逻辑(17)：命题逻辑演算形式系统的性质定理

朴素数理逻辑(18)：一阶谓词逻辑基本概念

朴素数理逻辑(19)：自然语句的形式化

朴素数理逻辑(20)：一阶谓词逻辑的语义

朴素数理逻辑(21)：一阶谓词演算形式系统组成

朴素数理逻辑(22)：一阶谓词逻辑演算形式系统的定理(量词第一部分)

朴素数理逻辑(23)：一阶谓词逻辑演算形式系统的定理(量词第二部分)

集合论(1)：集合论发展简史

集合论(2)：公理集合论系统的逻辑定理

集合论(3)：公理集合论系统的形式化定义