Logic: Language and Information 2

查看课程

来源：www.coursera.org

8个序列

等级：入门

数学基础

语言：英语

384分

0条评论

关键信息

免费进入

免费证书

48小时总数

关于内容

This is an introduction to predicate logic and how it is applied in computer science, electronic engineering, linguistics, mathematics and philosophy. Building on your knowledge of propositional logic, you will learn predicate logic—its language, interpretations and proofs, and apply it to solve problems in a wide range of disciplines.

收起

查看此资源

课程大纲

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):

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.