Excelent!!!

ótimo curso

Excelente

Excelente

Great!!!

Awesome!

perfect

Great!

great

First of all, I would like to sincerely thank the people who prepared and placed this course on coursera. Not too many logic courses out there.

As for the course itself, it is basically a read only course. There are numerous graded assignments that exploit web-based tools and it all works fine. The lack of video lectures may be a little intimidating, but the reading material's quality makes up for this. What bothered me slightly though, is not enough formality in definitions and stated claims. I had tendency to get lost in the meaning of numerous abstract objects such as constants, literals, constant functions, terms, relations, sentences, free and non-free variables, contingency, validity, satisfiability, soundness, completeness, compactness....

What I learned from the course:

- Lookin at logic systems as systems of manipulating strings of literals according to pre-defined semantics. We started with proposition logic, went on to relational logic and Herbrand logic.

- Formal proof system such as the Fitch system and resolution.

Some things I have hoped to learn but did not:

- How did logic evolve throughout history and how did we arrive at the picture that is seen today?

- What are the main branches of modern logic and what are - in general - logic researchers preoccupied with?

- Since logic, as it was presented, boils down to performing semantical operations on a predefined scheme of literals, isn't there a general way to formalize this? It seems there should be a general notion of language consisting of an alphabet, syntax, semantics and a set of inference rules.

- Does mathematics boil down to manipulating strings of literals according to some rules? If so, can we have many valid mathematics based on different axioms and different semantical rules? For instance, what would be the consequence of dropping the axiom of choice?

- What are the implications of Gödel incompleteness theorems for math and for science in general? Do the imply that the Riemann hypothesis could be undecidable?

To summarize, this course was an entertaining adventure, but I completed it with seemingly more questions regarding logic the prior to starting the course. But maybe that is not so bad?

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.

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.

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