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....

创建者 MO

•Sep 10, 2017

I think the course makes a great job introducing you to a different mindset, the one that can help you through any kind of inference and mathematical thinking. It makes your brain work.

创建者 JS

•Aug 21, 2018

This course was so helpful. I think I now understand the fundamentals of mathematical logic. I truly recommend this course to anyone who is interested in studying logic!

筛选依据：

98 个审阅

创建者 Andrey Bayadzhan

•Apr 22, 2019

Wonderful course! Thanks a lot!

创建者 luis juri

•Apr 20, 2019

Unfortunately there are several problems with the external tool, although the course is very complete, the presentations of the slides are very short, they would need more development, to be more friendly with the reader.

创建者 Pavel Kukushkin

•Mar 24, 2019

After the chapter 7 explanations may appear rather vague, that hampers understanding

创建者 joao dionisio

•Feb 23, 2019

While I did learn a great deal with this course, I feel like it's not well made. No videos is clearly a minus, but that's just a nitpick. The biggest problem are the graded exercises. Some of the fitch exercises are ridiculously complicated until you reach the last sessions, where you can literally just write the goal you want without even reading the exercise.

创建者 Rado

•Jan 28, 2019

Excellent introduction to logic. The exercises really help with the understanding.

创建者 Kit Ho Mak

•Jan 26, 2019

The course is great, but the grading system is always broken.

创建者 Wenchen Li

•Jan 24, 2019

no video, only external link

创建者 Andrey Koshkin

•Oct 04, 2018

since the Section 2.5 - Satisfaction and on it doesn`t score any passed lessons or assignements, there is always an error "Unfortunately due to an error, your score was not recorded."

创建者 Jaewoo Song

•Aug 21, 2018

This course was so helpful. I think I now understand the fundamentals of mathematical logic. I truly recommend this course to anyone who is interested in studying logic!

创建者 Eugenio Luciano

•Aug 20, 2018

I have found it not extremely clear in the latter part of the course, perhaps more examples would help. Most of the section 1 to 9 (from propositional logic to relational logic and Herbrand logic) are quite clear and straight-forward. An historical background of who, when and why theories and computing methodologies were elaborated would certainly increase interest.