离散数学高等教育出版社屈婉玲省公开课一等奖全国示范课微课金奖PPT课件

- 主要内容一阶逻辑等值式与基本等值式置换规则、换名规则、代替规则前束范式自然推理系统NL 及其推理规则 - 第五章 一阶逻辑等值演算与推理 -

腾讯文库离散数学高等教育出版社屈婉玲省公开课一等奖全国示范课微课金奖PPT课件离散数学高等教育出版社屈婉玲省公开课一等奖全国示范课微课金奖PPT课件