课程概述
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.
热门审阅
SO
Apr 23, 2019
I feel like some things could have been explained better, maybe a better description of how the fitch tool worked. Other than that, it was a great course!
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 的 152 个评论（共 152 个）
创建者 Gavin K
•Dec 31, 2019
Very disappointing format.
创建者 Deleted A
•Apr 1, 2021
Too glitches