Logic: Language and Information 1 (CourseraArchive) 0 个评论 关注

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

主页: https://www.coursera.org/course/logic1

简介: This is an introduction to formal logic and how it is applied in computer science, electronic engineering, linguistics and philosophy. You will learn propositional logic—its language, interpretations and proofs, and apply it to solve problems in a wide range of disciplines.

Logic: Language and Information 2 (CourseraArchive) 0 个评论 关注

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

主页: 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.