课程概述
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.
热门审阅
JV
Jan 23, 2017
Videos to explain the materials would be much more useful than how it is right now...
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!
筛选依据：
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