Opinto-opas 2005-2006

MAT-59056 MATEMAATTINEN LOGIIKKA, 7 cr
MATHEMATICAL LOGIC

Person responsible
Stephan Foldes

Lecturers
Stephan Foldes professor

Lecture room and time
Per II: Tuesday 17 - 19, TB222
Per II: Wednesday 16 - 18, TB216
Per III: Tuesday 17 - 18, TB216
Per III: Wednesday 14 - 17, TB216

Implementation rounds
Implementation 1
  Period 1 Period 2 Period 3 Period 4 Period 5 Summer Language of instruction
Lecture - 4 h/week+ 4 h/week - - - In English only
Exercise - 2 h/week+ 2 h/week - - - In English only
Exam   In English only
(Academic Calender 2005-2006)

Contents
Content Core content Complementary knowledge Specialist knowledge
1. Fundamentals of mathematical logic.       
2. Propositional and predicate calculus.       
3. Formal mathematical theories and computable functions.       

Requirements for completing the course
Final exam and activity points, particulars to be announced during first lecture.

Assessment criteria

  • Used assessment scale is numeric (1-5)

    • Study material
    Type Name Author ISBN URL, edition, availablitity... Exam material Language
    Book Mathematical Logic and Computability Keisler, H.J. & Robbin, J.   McGraw-Hill (1996). Yes  English 

    Prerequisites
    Number Name Credits M/R
    MAT-21160 Mathematics for Algorithms 3 Mandatory
    MAT-41156 Algebra 1 5 Recommendable

    Other comments

  • The course is suitable for postgraduate studies.

    • Correspondence of content
    73905 Mathematical Logic

    Last modified 14.04.2005
    Modified byArto Aho