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

Course´s person responsible

Stephane Foldes

Implementations

No implementations

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

Last modified	15.08.2008
Modifier	Hanna Hämäläinen