Course Catalog 2007-2008

MAT-59056 MATHEMATICAL LOGIC, 7 cr
Mathematical Logic

Courses persons responsible
Stephane Foldes

Lecturers
Stephane Foldes

Lecturetimes and places
Per II: Monday 17 - 19, TB220
Per II,III: Tuesday 16 - 18, TB110
Per III: Monday 14 - 16, TB214

Implementations
  Period 1 Period 2 Period 3 Period 4 Period 5 Summer
Lecture - 4 h/week 4 h/week - - -
Exercise - 2 h/week 2 h/week - - -
Exam  
(Timetable for academic year 2007-2008)

Content
Content Core content Complementary knowledge Specialist knowledge
1. Logical foundations of analysis, algebra and geometry.       
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 the first lecture.

Evaluation criteria for the course

  • Used assessment scale is numeric (1-5)

    • Study material
    Type Name Auhor ISBN URL Edition, availability... Exam material Language
    Book Mathematical Logic and Computability Keisler, H.J. & Robbin, J.     McGraw-Hill (1996). Yes  English 
    Book Fundamental Structures of Algebra & Discrete Mathematics S. Foldes     Wiley Yes  English 

    Prerequisites
    Code Course Credits M/R
    MAT-21160 MAT-21160 Mathematics for Algorithms 3 Mandatory
    MAT-41156 MAT-41156 Algebra 1 5 Mandatory

    Prequisite relations (Sign up to TUT Intranet required)

    Remarks

  • The course is suitable for postgraduate studies.

    • Correspondence of content
    73905 Mathematical Logic

    Course homepage

    Last modified 21.09.2007
    Modified byJanne Kauhanen