欢迎来到在线教学平台
问题答疑
精品课程
全部课程
公开课
云课直播
新闻公告
数图资源
智汇大讲堂
更多
精品课程
全部课程
公开课
云课直播
新闻公告
数图资源
智汇大讲堂
教师登录
学生登录
精品课程
全部课程
公开课
云课直播
新闻公告
数图资源
智汇大讲堂
首页 - 课程列表 - 课程详情
返回
逻辑学
课程类型：
选修课
主讲教师：
课程来源：
建议学分：
3.00分
课程编码：
mkyxy000270
课程介绍
课程目录
教师团队
第一章 词项逻辑
s
课程介绍
（7分钟）
s
1.1 导言(上)：论说形式简介
（26分钟）
s
1.2 导言(下)：莱布尼茨之梦
（14分钟）
s
1.3 词项逻辑：直言命题与文恩图
（17分钟）
s
1.4 词项逻辑：布尔视角下的直言命题
（15分钟）
s
1.5 词项逻辑：直言命题直接推理(上)
（16分钟）
s
1.6 词项逻辑：直言命题直接推理(下)
（23分钟）
s
1.7 词项逻辑：直言三段论(上)
（16分钟）
s
1.8 词项逻辑：直言三段论(下)
（19分钟）
s
1.9 词项逻辑:论说形式与反例方法
（11分钟）
第二章 命题逻辑
s
2.1 命题逻辑基本概念 五个语句联结词(上)
（19分钟）
s
2.2 命题逻辑基本概念 五个语句联结词(下)
（17分钟）
s
2.3 命题逻辑 语义学(上)
（14分钟）
s
2.4 命题逻辑 语义学(下)
（15分钟）
s
2.5 命题逻辑 自然演绎
（18分钟）
s
2.6 命题逻辑 自然演绎
（14分钟）
s
2.7 命题逻辑 自然演绎
（11分钟）
s
2.8 命题逻辑 自然演绎
（11分钟）
s
2.9 命题逻辑 自然演绎
（13分钟）
s
2.10 命题逻辑 自然演绎
（12分钟）
第三章 谓词逻辑
s
3.1 谓词逻辑 语言
（19分钟）
s
3.2 谓词逻辑 符号化(上)
（9分钟）
s
3.3 谓词逻辑 符号化(下)
（12分钟）
s
3.4 谓词逻辑 字典模型
（17分钟）
s
3.5 谓词逻辑 论说形式
（13分钟）
s
3.6 谓词逻辑 有穷模型方法
（13分钟）
s
3.7 谓词逻辑 塔斯基语义学(上)
（28分钟）
s
3.8 谓词逻辑 塔斯基语义学(下)
（14分钟）
s
3.9 谓词逻辑逻辑 代入自由
（15分钟）
s
3.10 谓词逻辑逻辑 -Fitch 自然演绎(上)
（19分钟）
s
3.11 谓词逻辑逻辑 -Fitch 自然演绎(中)
（13分钟）
s
3.12 谓词逻辑逻辑 -Fitch 自然演绎(下)
（13分钟）
作业，试卷
s
作业
s
试卷
测试题
s
测试题
京公网安备 11011502004263