Course Catalog 2013-2014
International

Basic Pori International Postgraduate Open University

|Degrees|     |Study blocks|     |Courses|    

Course Catalog 2013-2014

MAT-60556 Mathematical Logic, 5 cr

Additional information

Suitable for postgraduate studies

Person responsible

Henri Hansen, Antti Valmari

Lessons

Study type P1 P2 P3 P4 Summer Implementations Lecture times and places
Lectures
Excercises
 4 h/week
 2 h/week
+4 h/week
+2 h/week


 


 


 
MAT-60556 2013-01 Tuesday 14 - 16, TB220
Thursday 14 - 16, TB220

Requirements

Examination.
Completion parts must belong to the same implementation

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   Mathematical Logic For Computer Science (3rd edition)   Ben-ari, M.         Yes    English  

Prerequisites

Course Mandatory/Advisable Description
MAT-02650 Mathematics for Algorithms Mandatory    

Prerequisite relations (Requires logging in to POP)

Correspondence of content

There is no equivalence with any other courses

More precise information per implementation

Implementation Description Methods of instruction Implementation
MAT-60556 2013-01        

Last modified16.05.2013