数理逻辑
那就随便一点
脚踏实地,仰望星空。
展开
-
集合论基础
集合论基础原创 2022-10-05 23:01:26 · 204 阅读 · 0 评论 -
1.1 命题及其表示法
1.1 命题及其表示法原创 2022-10-05 23:36:13 · 115 阅读 · 0 评论 -
1.2 联结词
1.2 联结词原创 2022-10-06 23:36:05 · 67 阅读 · 0 评论 -
1.3.命题公式与翻译
1.3.命题公式与翻译原创 2022-10-06 23:14:13 · 174 阅读 · 0 评论 -
1.4真值表与等价公式
1.4真值表与等价公式原创 2022-10-06 23:29:06 · 202 阅读 · 0 评论 -
1.5 重言式与蕴含式
1.5.重言式与蕴含式原创 2022-10-06 23:26:01 · 352 阅读 · 0 评论 -
1.6 其他联接词
1.6 其他联接词原创 2022-10-07 21:12:30 · 78 阅读 · 0 评论 -
1.7 对偶与范式
1.7 对偶与范式原创 2022-10-07 21:46:23 · 83 阅读 · 0 评论 -
1.8 推理理论
1.8 推理理论原创 2022-10-07 21:56:15 · 124 阅读 · 0 评论 -
命题逻辑综合应用及总结
命题逻辑综合应用及总结原创 2022-10-07 22:17:01 · 267 阅读 · 0 评论 -
2.1 谓词逻辑
2.1 谓词逻辑原创 2022-10-09 07:55:36 · 70 阅读 · 0 评论 -
2.2 命题函数与量词
2.2 命题函数与量词原创 2022-10-09 08:54:52 · 112 阅读 · 0 评论 -
2.3 谓词公式与翻译
2.3 谓词公式与翻译原创 2022-10-09 10:01:24 · 199 阅读 · 0 评论 -
2.4 变元的约束
2.4 变元的约束原创 2022-10-09 10:14:07 · 95 阅读 · 0 评论 -
2.5 谓词演算的等价式与蕴含式
2.5 谓词演算的等价式与蕴含式原创 2022-10-09 10:24:19 · 608 阅读 · 0 评论 -
2.6 前束范式
2.6 前束范式原创 2022-10-09 09:56:01 · 367 阅读 · 0 评论 -
2.7 谓词演算的推理理论
2.7 谓词演算的推理理论原创 2022-10-09 09:57:51 · 310 阅读 · 0 评论 -
2.7 谓词逻辑的推理(补充)
2.7 谓词逻辑的推理(补充)原创 2022-10-09 10:37:56 · 140 阅读 · 0 评论 -
命题逻辑形式系统
命题逻辑形式系统原创 2022-10-17 22:21:10 · 205 阅读 · 0 评论 -
数理逻辑前两章复习
数理逻辑前两章复习第一章 命题逻辑第二章 谓词逻辑原创 2022-10-20 08:34:12 · 78 阅读 · 0 评论