Course Catalog 2012-2013
International

Basic Pori International Postgraduate Open University

|Degrees|     |Study blocks|     |Courses|    

Course Catalog 2012-2013

MAT-59056 Mathematical Logic, 7 cr

Additional information

course not given in 2012/13
Suitable for postgraduate studies
Will not be lectured year 2012-2013

Person responsible

Stephane Foldes

Requirements

Final exam and activity points, particulars to be announced during the first lecture. Substantial amount of material is expected to be read by the participants as the lectures progress.

Principles and baselines related to teaching and learning

-

Content

Content Core content Complementary knowledge Specialist knowledge
1. Logical foundations of classical mathematical theories.     
2. Equational, propositional and predicate calculus.      
3. Connections to meta-mathematics and computation.     

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  
Journal   Discrete Mathematics   several authors, incl. Couceiro, Foldes, Lehtonen, Pogosyan       selected articles      English  

Prerequisite relations (Requires logging in to POP)



Correspondence of content

Course Corresponds course  Description 
MAT-59056 Mathematical Logic, 7 cr 73905 Mathematical Logic, 5 cu  

Last modified21.06.2012