Course Catalog 2009-2010 Basic Basic Pori International Postgraduate Open University |Degrees|     |Study blocks|     |Courses|

Implementation 1

Lecture times and places:

Periods 4 4 - 5

Description:

Axiomatic foundations of mathematics. Non-euclidean models of geometry. Set-theoretical foundations. Propositional and predicate calculi. Models and provability. Completeness and incompleteness. Recursive functions and computability. Axiomatizability and decidability.

Person responsible:

Stephane Foldes

Assessment scale:

Numerical evaluation scale (1-5) will be used on the course

Additional information of course implementation:

first class meeting Monday 22 Feb 2010 2pm schedule of lectures period 4 monday 14-16 tuesday 17-19 period 5 monday 17-19 tuesday 16-18