link
来源：www.coursera.org
list
5个序列
assignment
等级：入门
label
数学基础
chat_bubble_outline
语言：英语
card_giftcard
240分
评论
关键信息
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 1. The 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):
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 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是一家数字公司，提供由位于加利福尼亚州山景城的计算机教师Andrew Ng和达芙妮科勒斯坦福大学创建的大型开放式在线课程。
Coursera与顶尖大学和组织合作，在线提供一些课程，并提供许多科目的课程，包括：物理，工程，人文，医学，生物学，社会科学，数学，商业，计算机科学，数字营销，数据科学 和其他科目。
评论
4.7
/5
平均值
starstarstarstarstar
2
starstarstarstarstar
0
starstarstarstarstar
0
starstarstarstarstar
0
starstarstarstarstar
0
内容
5/5
平台
4.3/5
动画
4.8/5
您是 MOOC 的设计者？
keyboard_arrow_left
grade
keyboard_arrow_right
整合评论系统
1条评论
440个积分
3条评论
0个积分
