-
- 智慧树在线客服
- 服务时间:8:30-24:00
-
- 400-829-3579
- 服务时间:8:30-24:00
-
- 帮助
《实验逻辑学》，主要是将LPL逻辑学习软件引入的教学中。LPL是由美国斯坦福大学的多位编程人员研究开发并经不断改进而成的一套专门用于数理逻辑（或者一阶逻辑）学习的计算机程序软件。它主要包括：Boole，Fitch，Tarski¢s World 三个子程序文件。借助这些文件和常用的计算机命令，能使学生轻松地理解各个逻辑联结词和量词的意义、熟悉它们的用法。还能使学生快速的判断重言式、重言等值和重言后承。特别地，能使学生熟练地掌握自然推理系统中形式定理的证明方法。本课程适用于逻辑学、哲学和法学以及计算机专业的学生学习。
累计选课
人
选课学校
所
公众学习者所属学校
所
累计互动
次
了解更多
老师您好！感谢您对本课的认可，请准确填写您的个人信息，
我们的运行服务专员会跟您联系，沟通选课事宜。
提交成功
我们的运行服务专员会在1-3个工作日内同您进行电话沟通，请保持手机畅通
请选择您的使用目的
该门课程当前学期未运行哦～
如您是为了自我提升请选择下方【去学习】按钮；如无【去学习】按钮则说明老师并未发布该课程的公开课，请选择其他课程
您当前身份为学生，仅老师可提交共享课选课申请。
该门课程未发布公开课，请选择其他课程～
该门课程为资源库课程，请去学堂选择【资源库课程】～
您当前选中的课程
