list 5个序列
assignment 等级:入门
chat_bubble_outline 语言 : 英语
card_giftcard 240点
评论
5
starstarstarstarstar
阅读评论

关键信息

credit_card 免费进入
verified_user 免费证书
timer 总共30个小时

关于内容

This is an introduction to formal logic and how it is applied in computer science, electronic engineering, linguistics and philosophy. You will learn propositional logic—its language, interpretations and proofs, and apply it to solve problems in a wide range of disciplines.

more_horiz 查看更多
more_horiz 收起
dns

课程大纲

Week 1The Syntax of Propositional Logic; Truth Tables; Classifying Propositions

Week 2. Relationships between Propositions; Tree Proofs; Soundness and Completeness

Weeks 3–5. Applications to different reasoning domains (take at least two):
  • Electronic Engineering — simplifying digital circuits
  • Philosophy — vagueness and borderline cases
  • Computer Science — databases, resolution and propositional Prolog
  • Linguistics — meaning: implication vs implicature
record_voice_over

教师

  • - Historical and Philosophical Studies
  • Jen Davoren - Department of Electrical & Electronic Engineering
store

内容设计师

The University of Melbourne
The University of Melbourne is an internationally recognised research intensive University with a strong tradition of excellence in teaching, research, and community engagement. Established in 1853, it is Australia's second oldest University.
assistant

平台

Coursera

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

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

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

I found it very useful

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

I found it very useful