Course Catalog 2011-2012
International

Basic Pori International Postgraduate Open University

|Degrees|     |Study blocks|     |Courses|    

Course Catalog 2011-2012

MAT-59056 Mathematical Logic, 7 cr

Additional information

Next implementation: periods 3-4, 2011-2012
Suitable for postgraduate studies

Person responsible

Stephane Foldes

Lessons

Study type P1 P2 P3 P4 Summer Implementations Lecture times and places
Lectures

 

 
 17 h/week
+18 h/week

 
MAT-59056 2011-01 Tuesday 15 - 16, TB220
Monday 17 - 19, TD308
Tuesday 15 - 16, TB214

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  

More precise information per implementation

Implementation Description Methods of instruction Implementation
MAT-59056 2011-01        

Last modified29.05.2011