F17LP1

"What is truth; said jesting Pilate; and would not stay for an answer." Of truth, by Francis Bacon

Lecturer Dr Mark V Lawson
Room CMS21
Telephone ext 3210
Email markl[at]ma.hw.ac.uk
Lecture venue LT2
Lecture times Monday 9.15, Tuesday 5.15 and Thursday 9.15
Tutorial venue SR 112
Tutorial times Monday 10.15 (CS), 1.15 (Maths)
Drop-in time my office Monday 2.15
Private study For each hour of lecture time, figure on 2 to 3 hours of private study

Course information

Recommended books
Like the porridge in the story, finding the book that is just right for this course has proved difficult. Logic lies at the intersection of mathematics, computer science and philosophy and as a result most books tend to emphasize one of these three topics at the expense of the other two. My goal was to find a book that took a balanced approach. I recommend

Mark Zegarelli, Logic for dummies, Wiley Publishing, 2007.

Don't be put off by the for dummies tag. The publishers used it because in the Anglo-Saxon world it is regarded as uncool to appear to be serious about studying. The book itself is a very good introduction to the subject and you will learn a lot by reading it. You can omit Chapters 9, 10, 11 and 12 some of which we shall handle in a different way.

Lecture notes

Week 1	Week 2	Week 3	Week 4	Week 5	Week 6	Week 7	Week 8	Week 9	Week 10	Week11
week1.pdf	week 2.pdf	week 3.pdf	week 4(a).pdf week 4(b).pdf	week 5(a).pdf week 5(b).pdf Test 1	Only one lecture this week --- working in York	week 7(a).pdf week 7(b).pdf week 7(c).pdf	week 8.pdf Test 2	week 9.pdf	week10(a).pdf week10(b).pdf week10(c).pdf	T e s t 3

Exercises and solutions

E1	E2	E3	E4	E5	E6	E7	E8
S1	S2	S3	S4	S5	S6	S7	S8

2011 exam paper and solutions

Tests and solutions
Test 1
Test 2
Test 3

Useful links

An online version of Book 1 of Euclid's Elements

The MacTutor history of mathematics

Logic is the calculus of computer science

G"odel, Escher, Bach Check out the link to the lecture course at MIT

Alan Turing

1.X1.2011