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

Person responsible

Stephane Foldes

Implementations

	Lecture times and places	Target group recommended to
Implementation 1	Periods 4 4 - 5

Requirements

Final exam and activity points, particulars to be announced during the first lecture.

Principles and baselines related to teaching and learning

-

Content

Content	Core content	Complementary knowledge	Specialist knowledge
1.	Logical foundations of analysis, algebra and geometry.
2.	Propositional and predicate calculus.
3.	Formal mathematical theories and computable functions.

Study material

Type	Name	Author	ISBN	URL	Edition, availability, ...	Examination material	Language
Book	Fundamental Structures of Algebra & Discrete Mathematics	S. Foldes			Wiley		English
Book	Mathematical Logic and Computability	Keisler, H.J. & Robbin, J.			McGraw-Hill (1996).		English

Prerequisites

Correspondence of content

More precise information per implementation

	Description	Methods of instruction	Implementation
Implementation 1	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.

Last modified	09.03.2009
Modifier	Stephane Foldes