逻辑学导论经典课程

Introduction to Logic

This course is an introduction to Logic from a computational perspective.

斯坦福大学

Coursera

数学与统计

普通(中级)

19 小时

Sponsored\Ad:本课程链接由Coursera和Linkshare共同提供
  • 中文, 英语, 西班牙语, 德语, 葡萄牙语, 其他
  • 4741

课程概况

逻辑学是人类历史上最古老的智慧学科之一,可以追溯到亚里士多德所处的时期。经过数个世纪的探索,它现在仍然是一大重要的活跃研究领域。

这门课是对逻辑学的基本介绍,课上将展示如何通过逻辑句式使信息正式化,展示如何通过这些信息进行系统性的推理,得出各种符合逻辑的结论。这门课还探索了逻辑技术及其在数学、科学、工程、商业、法律等方面的应用。

这门课同其它逻辑学导论课程相比,有两大独特之处:一、它讲授了一个新的逻辑理论,一方面让知识通俗易懂,一方面又不失严格性;二、课程材料中点缀有很多互动演示和练习,指出了很多实践中的应用。

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.

你将学到什么

Relational Algebra

Problem Solving

Propositional Calculus

Mathematical Logic

课程大纲

周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

预备知识

除了高中数学知识以外,这门课没有任何先修知识。你需要熟悉符号运算技术,例如用于求解简单代数问题。你还需要理解集合、函数和关系。只需要这些就够了,有这些背景的学生将足够胜任这门课的学习。

Magoosh
声明:MOOC中国发布之课程均源自下列机构,版权均归他们所有。本站仅作报道收录并尊重其著作权益,感谢他们对MOOC事业做出的贡献!(排名不分先后)
  • Coursera
  • edX
  • OpenLearning
  • FutureLearn
  • iversity
  • Udacity
  • NovoEd
  • Canvas
  • Open2Study
  • Google
  • ewant
  • FUN
  • IOC-Athlete-MOOC
  • World-Science-U
  • Codecademy
  • CourseSites
  • opencourseworld
  • ShareCourse
  • gacco
  • MiriadaX
  • JANUX
  • openhpi
  • Stanford-Open-Edx
  • 网易云课堂
  • 中国大学MOOC
  • 学堂在线
  • 顶你学堂
  • 华文慕课
  • 好大学在线CnMooc
  • 以及更多...

© 2008-2018 MOOC.CN 慕课改变你,你改变世界