目录
-app下载-
首页
课程栏目
大学课程
讲座系列
小学课程
初中教学
高中课程
考研课程
外语课程
资格考试
计算机课程
职业培训
医学视频
文化艺术
军事天地
农业技术
历史地理
其它系列
体育课程
精品网站
APP下载
观看记录
首页
»
大学课程
»
名校公开课
» 公开课:逻辑
公开课:逻辑
名称:
公开课:逻辑
分类:
名校公开课
观看人数:
加载中
人
时间:
2016/11/27 14:46:21
课程列表
课程详情
导论:什么是逻辑1
导论:什么是逻辑2
命题与论证
命题逻辑语言
语句连接词
真值表法
真值树系统
自然演绎法系统
对象 外延 量化词2
一阶逻辑语言
日常语言的翻译
真值树系统
自然演绎法系统
课程介绍
本课程是以学习初阶逻辑 (First-order Logic) 为目标。初阶逻辑包括语句逻辑 (propositional logic) 和述词逻辑 (predicate logic),语句逻辑是以语句为单位所建构的逻辑,而述词逻辑是更深入地分析语句的结构而建构的逻辑。由于处理的对象的差异,述词逻辑显然需要更多的考虑,然而也因此会有更强大的解释力。在本课程中,教师将让学生认识到初阶逻辑的语言、各种处理语言的系统及如何演算。
课程评论
最新课程
思维的改变决定人生的高度【耶..
【耶鲁大学】思维的改变决定人..
【中国人民大学】传播理论教学..
哈佛大学公开课:计算机科学导..
香港中文大学:《昆曲之美》公..
中国传媒大学《视听语言》74..
【公开课】加州大学:学习如何..
麻省理工:金融学【公开课】
金融:我们到底如何做投资-耶..
伯克利-光学工程概论公开课
热门课程
1
密歇根大学:模型思维精品课程
2
斯坦福《计算机网络导论》课程
3
辩论修养课程—南开大学
4
斯坦福大学-《概率图模型》全套..
5
西交大艺术思维与方法课程
6
清华大学追寻幸福东方哲学史
7
武汉大学-新闻采访学教学视频
8
神经生物学英文字幕
9
古代智慧与当代爱情
10
爱荷华州立大学《微积分进阶》(..
×
课程搜索框
课程搜索: