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