Pros:\n\n1.good contents\n\n2.good exercises and interesting puzzles\n\n3.good examples\n\nCons:\n\n1.No video\n\n2. need more examples
excellent teaching, detailed analysis, interesting theories, mind blowing facts, all in all it was my best experience online
創建者 Sihyung L•
Some concepts in Week 9 were not very understandable, but other weeks were good. I thank all who have contributed and prepared this course. I wish that in the next version of this course, there are some exercises using real-world logic tools, such as SAT solvers.
創建者 Ian A•
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.
創建者 David G M•
I struggled real hard with some proofs. The main problem was the lack of examples or tutorials on how to use the rules of inference. Perhaps one or two videos could help??
創建者 Yiye D•
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.
創建者 Samuel O•
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!
創建者 Chatziiosifidis A•
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
創建者 Supinder S•
Course is fine but there isn't much material for INTRODUCTION. Good Math Skills Required.
創建者 Voo T V•
Videos to explain the materials would be much more useful than how it is right now...
創建者 Krzysztof M•
The Fitch tool can be easily hacked if now premise are in the task. Please fix this!
創建者 Francisco J M M•
This has been a very interesting course, introducing the basic of logic reasoning.
創建者 Kit H M•
The course is great, but the grading system is always broken.
A little difficult to understand.
創建者 Dhruv A•
Quite engaging for a predominantly text-based course. However, what I struggled with towards the end was determining application areas for the theory that I was going through. After completing the proofs of Week 8, I lost momentum and the drive to want to imbibe more theory without any outlet for application. This is obviously not to say that there aren't application areas. However, the course can do more to communicate those to the students.
創建者 Eugenio L•
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.
創建者 Roger C•
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.
創建者 Soledad A•
As someone who learns by doing I found the lack of examples to explain certain concepts really frustrating, and whenever examples were provided they were usually really simplistic compared to the graded exercises that we were expected to solve. It was also really difficult (impossible) to get answers from mentors in the discussion forums.
創建者 Anas M•
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.
創建者 Luis J•
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.
創建者 Digby D•
A solid entry-level course about Formal Logic. May be more enticing to students intimidated by the more math-based approach of Intro to Mathematical Thinking (also by Stanford University).
the examples are far from enough! For a non-native speaker,it's quite hard to learn all these notions .please add some examples into it !
創建者 Thomas R•
Bare bones. Pros: mostly clear, Cons: it may require outside supplements to fully understand and complete the assignments.
創建者 Pamela P E•
A little bit more interative course would be more interesting. On the other hand is a very complete course.
創建者 Danylo P•
Reading and only reading! Could have at least a voice, some interaction!
And is too expensive.