list 10个序列
assignment 等级:中级
label 哲学
chat_bubble_outline 语言 : 英语
language 字幕 : 中文, 希腊语, 葡萄牙语, 德语, 土耳其语, 西班牙语, 波兰语
card_giftcard 400点
评论
5
starstarstarstarstar
阅读评论

关键信息

credit_card 免费进入
verified_user 收费证书
timer 总共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.

more_horiz 查看更多
more_horiz 收起
dns

课程大纲

  • 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
     
record_voice_over

教师

Michael Genesereth
Associate Professor
Computer Science Department

store

内容设计师

Stanford University
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.
assistant

平台

Coursera

Coursera是一家数字公司,提供由位于加利福尼亚州山景城的计算机教师Andrew Ng和达芙妮科勒斯坦福大学创建的大型开放式在线课程。

Coursera与顶尖大学和组织合作,在线提供一些课程,并提供许多科目的课程,包括:物理,工程,人文,医学,生物学,社会科学,数学,商业,计算机科学,数字营销,数据科学 和其他科目。

评论
5 /5 平均值
starstarstarstarstar
1
starstarstarstarstar
0
starstarstarstarstar
0
starstarstarstarstar
0
starstarstarstarstar
0
内容
5/5
平台
5/5
动画
5/5
最佳评论

Great course!

发布于 2016年3月8日
你是这个MOOC的设计者?
您对这门课的评价是 ?
内容
0/5
平台
0/5
动画
0/5
发表于 2016年3月8日
starstarstarstarstar

Great course!