Warning: WP Redis: Connection refused in /www/wwwroot/cmooc.com/wp-content/plugins/powered-cache/includes/dropins/redis-object-cache.php on line 1433

# 逻辑学导论

## Introduction to Logic

9667 次查看

Coursera
• 完成时间大约为 23 个小时
• 中级
• 英语, 其他, 中文, 葡萄牙语, 德语, 西班牙语

### 你将学到什么

Relational Algebra

Problem Solving

Propositional Calculus

Mathematical Logic

### 课程概况

This course is an introduction to Logic from a computational perspective. It shows how to encode information in the form of logical sentences; it shows how to reason with information in this form; and it provides an overview of logic technology and its applications – in mathematics, science, engineering, business, law, and so forth.

### 课程大纲

Lesson 1 - Introduction
13 个测验

Lesson 2 - Propositional Logic
1 个视频 （总计 3 分钟）, 14 个测验

Lesson 3 - Propositional Analysis
14 个测验

Lesson 4 - Propositional Proofs
20 个测验

Lesson 5 - Propositional Resolution
1 个视频 （总计 4 分钟）, 8 个测验

Lesson 6 - Relational Logic
19 个测验

Lesson 7 - Relational Analysis
13 个测验

Lesson 8 - Relational Proofs
The description goes here
15 个测验

Lesson 9 - Herbrand Logic
13 个测验

Lesson 10 - Herbrand Proofs
3 个测验

Lesson 11 - Induction
The description goes here
13 个测验

Lesson 12 - Resolution
The description goes here
19 个测验

Supplementary Material

### 预备知识

Apple 广告
##### 声明：MOOC中国十分重视知识产权问题，我们发布之课程均源自下列机构，版权均归其所有，本站仅作报道收录并尊重其著作权益。感谢他们对MOOC事业做出的贡献！
• Coursera
• edX
• OpenLearning
• FutureLearn
• iversity
• Udacity
• NovoEd
• Canvas
• Open2Study
• ewant
• FUN
• IOC-Athlete-MOOC
• World-Science-U
• CourseSites
• opencourseworld
• ShareCourse
• gacco