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!
May 01, 2018
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
创建者 Rhea B•
Jun 19, 2017
创建者 Ze M•
May 31, 2017
创建者 Everton d c s•
Apr 07, 2017
创建者 María A A Z•
Apr 29, 2019
创建者 Deleted A•
Aug 07, 2017
创建者 Mubarak I•
Jan 03, 2017
创建者 Dino P•
Dec 09, 2016
Nov 23, 2016
创建者 Antonio C•
Mar 30, 2017
Apr 15, 2018
创建者 Marcin B•
May 06, 2020
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?
创建者 Gustavo S d S•
Dec 03, 2016
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.
创建者 Kaushal M•
Sep 03, 2017
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!
创建者 Alex W•
Aug 18, 2018
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
创建者 Tage M•
Jan 15, 2017
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.
创建者 Sihyung L•
May 20, 2020
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•
Mar 03, 2017
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•
Apr 23, 2020
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•
Jun 16, 2017
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•
Apr 24, 2019
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•
Sep 11, 2017
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•
May 05, 2019
Course is fine but there isn't much material for INTRODUCTION. Good Math Skills Required.
创建者 Voo T V•
Jan 24, 2017
Videos to explain the materials would be much more useful than how it is right now...
创建者 Krzysztof M•
Mar 05, 2018
The Fitch tool can be easily hacked if now premise are in the task. Please fix this!
创建者 Francisco J M M•
Nov 17, 2016
This has been a very interesting course, introducing the basic of logic reasoning.