Logic: Language and Information 2

开始时间: 04/22/2022 持续时间: Unknown

所在平台: CourseraArchive

课程类别: 计算机科学

大学或机构: University of Melbourne(墨尔本大学)

授课老师: Jen Davoren Greg Restall

课程主页: https://www.coursera.org/course/logic2

课程评论:没有评论

1 2 3 4 5

第一个写评论        关注课程

课程简介

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 1The Syntax of Predicate LogicTranslations using quantifiers

Week 2Models for Predicate Logic; Classifying propositions and argumentsFinite and Infinite Domains

Week 3Tree Proofs for Predicate LogicSoundness 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

课程评论(0条)

课程详情

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.

课程标签

1人关注该课程

主题相关的课程