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:

**w/b 29th October**: Chapters 8 and 9 of Nederpelt & Kamareddine; lecture slides**w/b 6th November**: Chapter 11 of Nederpelt & Kamareddine; lecture slides**w/b 13th November**: clausal form and resolution; lecture slides**w/b 20th November**: Monday: revision; Thursday:**class test**on material from past three weeks**w/b 27th November**: Monday: sets and relations; Thursday: revision

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

This page last updated: just now.