第四章-一阶(谓词)逻辑基本概念 发表于 2024-04-01 更新于 2024-06-27 分类于 离散数学 , 数理逻辑与集合论 Valine: 本文字数: 1.5k 阅读时长 ≈ 1 分钟 一阶逻辑命题符号化 阅读全文 »
实验二-fork、wait、exec 发表于 2024-03-31 更新于 2024-04-06 分类于 操作系统 , 实验 Valine: 本文字数: 3.7k 阅读时长 ≈ 3 分钟 fork 阅读全文 »
第三章-命题逻辑的推理理论 发表于 2024-03-25 更新于 2024-06-26 分类于 离散数学 , 数理逻辑与集合论 Valine: 本文字数: 2.4k 阅读时长 ≈ 2 分钟 推理的形式结构 阅读全文 »