I do the second half of this course, from Monday 29th October. Lectures will be mondays and thursdays, and the friday slot will continue to be a tutorial slot, going through exercises from the book with Daniel and Vincent.
You will recall that the syllabus is here; Professor Kamareddine covered Propositional Calculus; I will cover the rest.
The examinable sections in the book (Nederpelt & Kamarredine) for my part of the course are: 8.2, 8.3, 8.4 , 9.1, 9.2, 9.3, 9.4, 9.5, 9.6, 9.7, 9.8, 11.4, 11.5, 11.6. In addition, I will provide notes here for sets and relations (simplified from the book), and the topics of clausal form and resolution. These notes will also be examinable.
Naturally, it will be good, even necessary, to read the parts of chapters 8, 9 and 10 that are missing from the above list, however you will do fine to concentrate on those listed for the purposes of the examination.
Material, and what will happen week by week:
Here are some sample class test and answers:
Here are answers to most of the relevant exercises in the book, and some others:
DWC answers for Chapter 8: here
FHK answers for some of chaps 8 and 9: here (it is a special bonus to get two lots of answers for some of chapter 8)
FHK answers for some of chaps 10 and 11: here -- since we have not done chapter 10, you can ignore the answers -- what we need to know about sets and relations is simple and can be absorbed quickly (many of you will know this already); however, it woul dbe a good exercise for you to try 10.1 for yourself and then check the answer. Meanwhile it will be very good for you to try chapter 11 exercises and then check the answers. But at the least please do 11.1 and 11.3. Feel free to email me with any questions about the answers.
Here are some example questions, with example answers, of the form "translate this bit of logic into English": log2eng.doc
Week 8 Test: Thursday 22nd November
There was a class test on Thursday 22nd November, worth 20% of your marks for the module.
Here is the test along with answers and general feedback: here.doc