高等数理逻辑大作业
摘要:
高等数理逻辑大作业 这明明就是一个披着数理逻辑外衣的编译器 以 C 或 javascript 实现命题逻辑公式语法检查及公式求值. 一、要求 名词声明 1. 命题变元 字母及数字构成的字符串且首字符是字母 字符串长度不超过 10 1. 第一类逻辑联结词 : 0,1,¬,∧,∨,→,⊕,↔ 1. 第二 阅读全文
posted @ 2018-11-08 01:40 ChildishChange 阅读(735) 评论(0) 推荐(0) 编辑