CS_346/CS_M56 Logic, Foundations and Computation

news   timetable   further reading   general remarks   script   coursework  

Lecturer

Dr. Arnold Beckmann

email:	a.beckmann@swansea.ac.uk
room:	Faraday Tower, Room 511
phone:	2370

News

• Sun May 2 13:37:15 BST 2010
  Wednesday, 5 May 2010, Revision Lecture
• Sat May 1 15:35:26 BST 2010
  Deadline for coursework 3 changed to Wednesday, 5 May 2010, directly before the lecture

timetable

some general remarks

• In this course I will follow a script, which I will hand out during classes. Spare copies can be obtained in the students office.
• If you miss a lecture you are responsible to catch up. It would be unfair to those who attended if I repeat too much. (Of course I will always give a short recapitulation at beginning of lectures.)

further reading

• The Sequent Calculus introduced in the course is discussed in much more detail in Samuel R. Buss (ed.): Handbook of Proof Theory, Chapter I (LIS: QA 9 54 Han).
  reference link: Handbook of Proof Theory, Chapters I and II by Sam Buss
• A detailed account to logic is given in Dirk van Dalen: Logic and Structure, (LIS: QA 9 Dal3). The exposition uses the calculus of Natural Deductions which are related to the Sequent Calculus (see remarks in the course notes).

script

(The following material is restricted to computers on campus only)

• Part0: Introduction
• Part1: Propositional Logic
• Part2: History
• Part3: Predicate Logic
• Part4: Peano Arithmetic
• Part5: Ordinal Recursive Functions
• Part6: Gödel's Incompleteness Theorems
• Part7: Consistency and Total Computation

coursework

Coursework sheets:

• Solutions for Coursework 3.
• Solutions for Coursework 2.
• Coursework 3, due Wednesday, 5 May 2010, before the lecture !!!! Change !!!!
• Coursework M, due Friday, 23 April 2010, MSc and MRes students only.
• Coursework 2, due Friday, 19 March 2010.
• Solutions for Coursework 1.
• Coursework 1, due Friday, 22 February 2008.