首页  »  大学课程  »  名校公开课  »  公开课:逻辑
公开课:逻辑
名称:公开课:逻辑
分类:名校公开课  
观看人数:加载中
TAG:
时间:2016/11/27 14:46:21
收藏:
更多
公开课:逻辑介绍

   课程介绍

本课程是以学习初阶逻辑 (First-order Logic) 为目标。初阶逻辑包括语句逻辑 (propositional logic) 和述词逻辑 (predicate logic),语句逻辑是以语句为单位所建构的逻辑,而述词逻辑是更深入地分析语句的结构而建构的逻辑。由于处理的对象的差异,述词逻辑显然需要更多的考虑,然而也因此会有更强大的解释力。在本课程中,教师将让学生认识到初阶逻辑的语言、各种处理语言的系统及如何演算。

免责声明:本站所有视频均来自互联网收集而来,版权归原创者所有,如果侵犯了你的权益,请通知我们,我们会及时删除侵权内容QQ506613858,谢谢合作!Copyright @2003-大学资源网 版权所有