Great!!!

Awesome!

perfect

Great!

great

Interesting course to get introduced to propositional, relational and functional logic. Beware that depending on your existing knowledge, the time needed to complete this course is a multiple of the estimated time in Coursera! I think in my case it was a factor of about 5 to 6 because some concepts require rereading and require trying to reapply the concepts on exercises in order to get a good grasp of the content. Some concepts or solutions in some exercises are described very briefly and often you need to spend time yourself to reason through an exercise to get to the same conclusion. Concrete example is exercise 8.3 that even with the additional clarifications in a separate page took me some time to write out to try to understand what the instructor very, very briefly explained in the solution section. I also lost some time in the final exam quizes that use the Fitch editor because you have to use [c] for placeholders in the exam quizes (instead of c in the exercises). It might be helpful for learners of this course to also study "Introduction to Mathematical Thinking" from Stanford University (free course available on Coursera) where a part of the course is dedicated as well to logic but where the focus is more on using simple reasoning to interpret logical statements. With the "Introduction to Logic" course I mainly had issues with the Fitch-based exercises and quizes where I often got stuck in a kind of snow blindness where I only saw a bunch of symbols like snow flakes but not the logical meaning behind them :-/.

I enjoyed the structure of the course content. Some of this content does appear to be outdated (or at least fairly orthogonal in development) compared to more recent logic study sources (e.g. Hurley). It also quickly descends into difficult material in the last week that needed an especially acute level of research and attention to follow. It turned out, though, that the last sets of questions could be completed without actually comprehending and filling out the work for them, due to a bug in the software perhaps. Nonetheless, I respect and appreciate Stanford's publishing this for those of us who enjoy logic and wish to be challenged to take up the next level. Thank you!

The course gives a decent base in formal logic, and it is good from the scientific point of view. It failed to keep me engaged, though. It's pretty dry and it contains (almost) no videos, everything is in the text form. Chances are, at some point you will start feeling overwhelmed, and it requires either a ton of motivation or a good background in math or similar science which makes the material simpler to understand.

It's also a little frustrating that the certificate costs $100 instead of usual $50 and it's not a part of Coursera Plus subscription. For me a hundred is too much.

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

Very interesting course... But please make sure that the material is updated to inform the students about the changes in the way the Fitch Proof System operates, especially when it comes to the later part of the module. The same applies for unsatisfiability problems. Overall, I really enjoyed this course and I thank you for making it available.

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.

The course is well structured and I've learned some valuable concepts of logic. That said there're two thing I thought could be made better.

In some chapters, it's short of examples as explanation.

No introduction of how to use Fitch tool that could cause frustration for some who are new to it.

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.

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.

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

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.

Good hi level intro to logic. It seems A.I. text generation is getting better