This is an introduction to formal logic and how it is applied in computer science, electronic engineering, linguistics and philosophy. You will learn propositional logic—its language, interpretations and proofs, and apply it to solve problems in a wide range of disciplines.
Anonymous from Singapore's comment about peer grading is incorrect, and it seems to based on a misunderstanding.
Yes, there is peer grading for some of the assessment of the subject, but it's only for a small component—the 20% final exam, and two optional 10% components. Most of the students who passed the subject did little or none of the peer assignments. (And those who did them found them helpful.)
Having quite a lot of software development experience, I'm quite used to using logic. The material is well presented and fairly easy for my taste. The course notes act like an accompanying textbook and are well written with a few (not too many) exercises.
I did the first run of this course and there were a few hiccups in grading of the quizzes and the size of the images, but they sorted it out nicely.
I'm rather impressed by the quality of their first run, especially since they did not follow the usual MOOC way of doing things. They had the students explain about logic in the final exam and the peer assessment part of the course.
I didn't like the topic of proof trees which. Since it is an intermediate between truth tables and using a programming language or other tool, I found some of it very tedious and not informing.
I really liked the fact that I could choose one or more topics for the peer assessment part of the course. Philosophy (called vagueness) was interesting, but language was too vague for me. Digital circuits was easy and Prolog quite hard to get my head around.
I was surprised to learn that most of the assignments are essays that are to be graded by peers. I have had bad experiences before with peer-grading (both giving and receiving) so I dropped the class as soon as I realized that. I can't really comment on the quality of the courseware.