Great!!!

Awesome!

perfect

Great!

great

Covers a broad content of Logic: Resolutional Logic, Propositional Logic, Herband Logic.

Good analogies and examples from daily life, explaining where logic can be applied.

You will be able to see the things more logically and (depending on you) improve your programming skills.

However some topics should be fixed, there are technical problems in some weeks of the course. The lack of videos and lectures might be an issue, the written sections are not very engaging. There should be more resources and interactive tools. The exercises are challenging and demands time.

Really good course on logic. It explains everything without dumbing it down, however, that also means that the course gets really hard at times and I wish there were more examples as I felt a bit unprepared for the assignments, which were really hard. Also, there are no video lectures so be prepared to do a lot of reading. But if you are truly interested in basic logic, you will learn a lot from this course!

A pain if completing this course when the session not started yet. Without forum talking about solutions to exercise, usually in some exercises you could only stare at the screen for several hours, fell in deep despair, and eventually came up an answer by luck. Not a good experience, but the material is good though, if not considering the difficutly of understanding the text in the later lessons

Great introduction to logic.

One thing I'd have appreciated to see is a set of accompanying recorded video lectures. My experience is that I find it easier in term of efforts and faster in term of time to absorb taught concepts when I engage both my hearing and sight senses while watching a lecture than reading only.

This is a really good course. My only issue was I found some of the weeks quite a bit harder than others. It was helpful to look at the notes for each week in advance to figure out which ones would be tougher and allow for that.

Somehow difficult in the last several weeks. As almost all the materials are all in words, students may sometimes feel bored seeing all lines and complex tables.

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!

Very interesting course

But some parts are not just to technical but rather for technicians and not for persons looking more into the theoretical aspects

Course is fine but there isn't much material for INTRODUCTION. Good Math Skills Required.

Videos to explain the materials would be much more useful than how it is right now...

The Fitch tool can be easily hacked if now premise are in the task. Please fix this!

This has been a very interesting course, introducing the basic of logic reasoning.

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

虽然不容易，但还是做到了。生活中逻辑很重要，希望大家来学。论坛中大家都很好，给了我很大帮助。

A little difficult to understand.

great

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.

I love the content overall. However, I'm very disappointed that there are no video lectures at all. Ironically, I could find some old video lectures of this course on YouTube. The difficulty of this course warrants video lectures to convey many concepts and techniques, such as the Fitch system.

Hopefully you can add video lectures back to this course.

Video demonstrations would have been more helpful. I like to feel engaged, lectured to and encouraged to communicate with fellow students. I feel that this class really helped me a lot, but then I began to lose interest very quickly because of its format.

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.