Claas Röver's Teaching Pages - CS3304 Logic, Sem I 2016/17

This page is for CS3304 Logic. Here is an outline of the course.

Lectures are Tuedays at 12pm in AM150 and Fridays at 10am in ADB1020.

Tutorial: Fridays 11am in ADB1020.

Assessment: Exam (75%) and homework (3 assignments 25%)

Books
John Kelly, The Essence of Logic, Prantice Hall, 1997
Mordechai Ben-Ari, Mathematical Logic for Computer Science, 3rd edition, Springer
Ian Chiswell & Wilfrid Hodges, Mathematical Logic, Oxford University Press, 2006
Stefan Waner and Steven R. Costenoble, Introduction to Logic (on-line)

Transparencies/Handouts
Natural Deduction Rules in ps or pdf format
Sequent Rules in ps or pdf format
Axiomatic Propositional Logic in ps or pdf format
Predicate Logic in ps or pdf format
Semantic Tableaux in ps or pdf format

Problem Sheets
Sheet 1 in ps or pdf format
Sheet 2 in ps or pdf format
Assignment 1 in ps or pdf format, which is due at the beginning of the lecture on Friday, 7 Oct 2016.
Sheet 4 in ps or pdf format
Sheet 5 in ps or pdf format
Assignment 2 in ps or pdf format, which is due at the beginning of the lecture on Friday, 4 Nov 2016.
Sheet 7 in ps or pdf format
Assignment 3 in ps or pdf format, which is due at the beginning of the lecture on Friday, 18 Nov 2016.