04 2022 档案

离散数学集合代数思维导图
摘要： 阅读全文
posted @ 2022-04-29 00:55 马保坤 阅读(135) 评论(0) 推荐(1)
一阶逻辑基本概念的思维导图
摘要： 阅读全文
posted @ 2022-04-29 00:54 马保坤 阅读(187) 评论(0) 推荐(0)
谓词逻辑的历史
摘要：谓词逻辑发展的历史进程相关人物有：康托尔，波尔查诺，哥德尔，皮亚诺。第一个完整的谓词逻辑系统是G.弗雷格在1879年建立的。K.哥德尔等人系统地研究了谓词逻辑的元逻辑问题，证明了重要的定理。谓词，在谓词逻辑中，原子命题分解成个体词和谓词。个体词是可以独立存在的事或物，包括现实物、精神物和精神事三种。 阅读全文
posted @ 2022-04-07 23:40 马保坤 阅读(253) 评论(0) 推荐(0)