Introduction to Logic

查看课程

来源：www.coursera.org

10个序列

等级：中级

哲学

语言：英语

字幕 : 中文, 希腊语, 葡萄牙语, 德语, 土耳其语, 西班牙语, 波兰语

400分

1条评论

关键信息

免费进入

收费证书

40小时总数

关于内容

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.

收起

查看此资源

课程大纲

Week 1 - Lesson 1 - Introduction
Week 2 - Lesson 2 - Propositional Logic
Week 2 - Lesson 3 - Propositional Analysis
Week 3 - Lesson 4 - Propositional Proofs
Week 4 - Lesson 5 - Propositional Resolution
Week 5 - Lesson 6 - Relational Logic
Week 5 - Lesson 7 - Relational Analysis
Week 6 - Lesson 8 - Relational Proofs
The description goes here
Week 7 - Lesson 9 - Herbrand Logic
Week 8 - Lesson 10 - Herbrand Proofs
Week 8 - Lesson 11 - Induction
The description goes here
Week 9 - Lesson 12 - Resolution
The description goes here
Week 10 - Supplementary Material

教师

重头开始

Michael Genesereth
Associate Professor
Computer Science Department

内容设计师

重头开始

The Leland Stanford Junior University, commonly referred to as Stanford University or Stanford, is an American private research university located in Stanford, California on an 8,180-acre (3,310 ha) campus near Palo Alto, California, United States.