|
|
|||||||||||||||||
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