Fte263 / 582418 Proof Theory and Proof Search (3 cu)

General information

Course description

The course gives a concise introduction to the central methods and results of structural proof theory. Special emphasis is given to the design of logical calculi supporting proof-search. The course includes exercise and demo sessions with the use of an interactive proof-editor for sequent calculus.

Prerequisites

Expected background is an introductory course in logic.

Course literature

"Structural Proof Theory", Sara Negri and Jan von Plato, Cambridge U.P. 2001.

Exercises

Additional material and solutions to the exercises

Additional material and solutions to the exercises can be found in the course folders in the Philosophica library at the Department of Philosophy (location: 3rd floor of Siltavuorenpenger 20 A) and room A412 at the Department of Computer Science (location: 4th floor of Teollisuuskatu 23). Some of the solutions are available in electronic form here: Solutions 1, 2, 3, 4 (Corrected March 30), 5, 6, 7, 8. Please let us know if you find any errors in the solutions.

Exam

The course results are available on the bulletin boards now. There will be another exam on Tuesday, May 25, 10-12 in Hall 15.

The course exam was held on Tuesday April 6, 10-12 in Hall 15 of the Main Building. The exam covers the following parts of the course book:

Links


raul.hakli@helsinki.fi

Last updated May 17, 2004