摘 要：数理逻辑是采用数学方法研究逻辑形式及其规律的数学分支，是“离散数学”和“人工智能”课程的重要内容。现有的数理逻辑教学以理论讲解为主，教学案例较少且较为抽象，学生难以理解。为了提升数理逻辑的（试读）...
登录
