Logic: Language and Information 1

Archived
课程
en
英语
30 时
此内容评级为 4.6667/5

你无法访问存档的 讲座

来源
  • 来自www.coursera.org
状况
  • 自定进度
  • 免费获取
  • 收费证书
更多信息
  • 5 序列
  • 等级 介绍

你无法访问存档的 讲座

Their employees are learning daily with Edflex

  • Safran
  • Air France
  • TotalEnergies
  • Generali
Learn more

课程详情

教学大纲

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

先决条件

没有。

讲师

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

编辑

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.

平台

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

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

此内容评级为 4.6667/5
(没有评论)
此内容评级为 4.6667/5
(没有评论)
完成这个资源,写一篇评论