开始时间: 04/22/2022 持续时间: Unknown
所在平台: CourseraArchive 课程类别: 计算机科学 大学或机构: University of Melbourne(墨尔本大学) 授课老师: Jen Davoren Greg Restall |
课程主页: https://www.coursera.org/course/logic2
课程评论:没有评论
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):
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.