👋
欢迎
来到
黄铜
扳手
的
图书馆
标签
>
数学
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):公理集合论系统的形式化定义