ebatudou的博客

定义3-1 对事物作出确定判断的陈述句称为命题。命题常元：当符号P表示一个确定命题时，该符号称为命题常元。命题变元：当符号P表示任意一个命题时，该符号称为命题变元。原子命题：原子命题是不能再细分的命题复合命题：原子命题通过命题联结词构造的命题。（命题联结词：非 合取 析取 蕴含 等价）定义3-7命题公式也称为合式公式、公式，递归方式定义如下：（1）单个命题变元和命题常元是一个命题公式；（2）P和Q是命题公式， ¬P、P∧Q、P∨Q、P→Q、P↔Q也是命题公式；

作业一：命题逻辑推理 作业二：谓词逻辑推理 作业三：Floyd归纳断言法 作业四：Floyd前后断言法 作业五：Hoare公理化方法 作业六：Dijstra最弱前置法 作业七：有限状态机----基本概念及扩展 作业八：有限状态机--应用 作业九： Petri网基础知识 作业十：Petri网应用

对Petri网PN =（P,T,F,M0） （在特定M0下讨论）（1）可达性（2）有界性和安全性（3）活性（以最低级的活性作为整张图的活性）（4）可逆性。