Course Catalog 2006-2007

MAT-59056 MATHEMATICAL LOGIC, 7 cr
Mathematical Logic

Courses persons responsible
Stephane Foldes

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 2006-2007)

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.

  • Course will not be lectured in the academic year 2006-2007.

    • Correspondence of content
    73905 Mathematical Logic

    Last modified 10.02.2007
    Modified byStephane Foldes