- 来自www.coursera.org
Introduction to Logic
- 自定进度
- 免费获取
- 收费证书
- 10 序列
- 等级 中级
- 字幕在 Chinese, Greek, Portuguese, German, Turkish, Spanish, Polish
课程详情
教学大纲
- 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
编辑
利兰-斯坦福大学(Leland Stanford Junior University),简称斯坦福大学,是一所美国私立大学,位于旧金山南部的硅谷。
其校训是 "Die Luft der Freiheit weht",意为 "自由之风拂面"。
在大多数国际排名中,斯坦福大学都名列世界顶尖大学之列,享有极高的声誉。
平台
Coursera是一家数字公司,提供由位于加利福尼亚州山景城的计算机教师Andrew Ng和达芙妮科勒斯坦福大学创建的大型开放式在线课程。
Coursera与顶尖大学和组织合作,在线提供一些课程,并提供许多科目的课程,包括:物理,工程,人文,医学,生物学,社会科学,数学,商业,计算机科学,数字营销,数据科学 和其他科目。
完成这个资源,写一篇评论