|
Course Catalog 2010-2011
MAT-59056 Mathematical Logic, 7 cr |
Person responsible
Stephane Foldes
Requirements
Final exam and activity points, particulars to be announced during the first lecture.
Principles and baselines related to teaching and learning
-
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. |
Study material
Type | Name | Author | ISBN | URL | Edition, availability, ... | Examination material | Language |
Book | Fundamental Structures of Algebra & Discrete Mathematics | S. Foldes | Wiley | English | |||
Book | Mathematical Logic and Computability | Keisler, H.J. & Robbin, J. | McGraw-Hill (1996). | English |
Prerequisite relations (Requires logging in to POP)
Correspondence of content
Course | Corresponds course | Description |
|
|
Additional information
Suitable for postgraduate studies
Will not be lectured year 2010-2011