2026年1月4日
程序的形式语义和验证概念
摘要： 研究生课程《程序的形式语义和验证》复习过程中，根据ppt整理的一些概念。使用了AI，仅供参考。 基础数学知识和集合论 一、命题逻辑相关新概念 命题（Proposition） ：具有真假值的陈述句，是命题逻辑的基本研究对象（区别于祈使句、疑问句、含自由变量的表达式等非命题）。 命题逻辑公式（PLF, 阅读全文
posted @ 2026-01-04 17:46 飞絮匆匆 阅读(12) 评论(0) 推荐(0)