课程概述
This course is an introduction to Logic from a computational perspective. It shows how to encode information in the form of logical sentences; it shows how to reason with information in this form; and it provides an overview of logic technology and its applications - in mathematics, science, engineering, business, law, and so forth.
热门审阅
GL
Jun 8, 2018
Good structure. Helped a lot with my university unit. It would be great if we can get sample solutions for our exercises.
IZ
Jan 16, 2025
The material is interesting and well covered. However, expect many rough edges: broken links, missing images, typos, etc. It also stops dramatically; did they not finish it?
筛选依据：
151 - Introduction to Logic 的 153 个评论（共 153 个）
创建者 Richard L
•Jan 23, 2019
no video, only external link
创建者 Gavin K
•Dec 31, 2019
Very disappointing format.
创建者 Deleted A
•Apr 1, 2021
Too glitches