|
Course Catalog 2012-2013
MAT-59056 Mathematical Logic, 7 cr |
Additional information
course not given in 2012/13
Suitable for postgraduate studies
Will not be lectured year 2012-2013
Person responsible
Stephane Foldes
Requirements
Final exam and activity points, particulars to be announced during the first lecture. Substantial amount of material is expected to be read by the participants as the lectures progress.
Principles and baselines related to teaching and learning
-
Content
Content | Core content | Complementary knowledge | Specialist knowledge |
1. | Logical foundations of classical mathematical theories. | ||
2. | Equational, propositional and predicate calculus. | ||
3. | Connections to meta-mathematics and computation. |
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 | |||
Journal | Discrete Mathematics | several authors, incl. Couceiro, Foldes, Lehtonen, Pogosyan | selected articles | English |
Prerequisite relations (Requires logging in to POP)
Correspondence of content
Course | Corresponds course | Description |
|
|