- 来自www.coursera.org
Logic: Language and Information 2
课程
en
英语
48 时
此内容评级为 0/5
- 自定进度
- 免费获取
- 免费证书
- 8 序列
- 等级 介绍
课程详情
教学大纲
Week 1. The Syntax of Predicate Logic; Translations using quantifiers
Week 2. Models for Predicate Logic; Classifying propositions and arguments; Finite and Infinite Domains
Week 3. Tree Proofs for Predicate Logic; Soundness and Completeness
Week 4. Identity; Functions; Counting
Weeks 5–8. Applications to different reasoning domains (take at least three):
Week 2. Models for Predicate Logic; Classifying propositions and arguments; Finite and Infinite Domains
Week 3. Tree Proofs for Predicate Logic; Soundness and Completeness
Week 4. Identity; Functions; Counting
Weeks 5–8. Applications to different reasoning domains (take at least three):
- Electronic Engineering — simplifying digital circuits with timing
- Philosophy — definite descriptions and existence
- Computer Science — databases, resolution and Prolog
- Linguistics — quantificational scope
- Mathematics — limits, continuity and quantifier alternation
先决条件
没有。
讲师
- - 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.5/5
(没有评论)此内容评级为 4.5/5
(没有评论)完成这个资源，写一篇评论