斯坦福 CS 157 计算逻辑

课程名称： Computational Logic
课程官网地址：斯坦福CS146课程官网
先修课程： 无
重要程度： ※※※※※
课程评点：

课程说明

从计算的角度严格介绍符号逻辑。以逻辑语句的形式编码信息。用这种形式的信息推理。逻辑技术及其在数学、科学、工程、商业、法律等领域的应用概述。主题包括命题逻辑、关系逻辑和 Herbrand 逻辑的句法和语义、有效性、偶然性、不可满足性、逻辑等价性、蕴含性、一致性、自然演绎 (Fitch)、数学归纳法、分辨率、紧凑性、稳健性、完整性。