你将学到什么
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.
课程大纲
周1
完成时间为 2 小时
Lesson 1 - Introduction
13 个测验
周2
完成时间为 4 小时
Lesson 2 - Propositional Logic
1 个视频 （总计 3 分钟）, 14 个测验
完成时间为 5 小时
Lesson 3 - Propositional Analysis
14 个测验
周3
完成时间为 7 小时
Lesson 4 - Propositional Proofs
20 个测验
周4
完成时间为 2 小时
Lesson 5 - Propositional Resolution
1 个视频 （总计 4 分钟）, 8 个测验
周5
完成时间为 5 小时
Lesson 6 - Relational Logic
19 个测验
完成时间为 4 小时
Lesson 7 - Relational Analysis
13 个测验
周6
完成时间为 4 小时
Lesson 8 - Relational Proofs
The description goes here
15 个测验
周7
完成时间为 4 小时
Lesson 9 - Herbrand Logic
13 个测验
周8
完成时间为 1 小时
Lesson 10 - Herbrand Proofs
3 个测验
完成时间为 5 小时
Lesson 11 - Induction
The description goes here
13 个测验
周9
完成时间为 6 小时
Lesson 12 - Resolution
The description goes here
19 个测验
周10
完成时间为 4 小时
Supplementary Material
预备知识
除了高中数学知识以外，这门课没有任何先修知识。你需要熟悉符号运算技术，例如用于求解简单代数问题。你还需要理解集合、函数和关系。只需要这些就够了，有这些背景的学生将足够胜任这门课的学习。
