Course Catalog 2014-2015
Basic

Basic Pori International Postgraduate Open University

|Degrees|     |Study blocks|     |Courses|    

Course Catalog 2014-2015

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 2014-01 Tuesday 14 - 16 , TB220
Thursday 14 - 16 , TB220

Requirements

Examination.
Completion parts must belong to the same implementation

Learning Outcomes

After completing the course, the student knows what the fundamental results of mathematical logic are: Completeness of propostional and first order logc, Gödel's incompleteness theorems, Tarskis theorem, Löwenheim-Skolem theorem, Herbrand theorem. A rudimentary understanding of model theory is formed, and the student is able to apply some basic results and knows some details of basic techniques such as truth tables, tableaux, resolution, and unification.

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 Algoritmimatematiikka 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 2014-01        

Last modified14.03.2014