|
|
|||||||||||||||||
Course Catalog 2011-2012
MAT-59056 Mathematical Logic, 7 cr |
Additional information
Next implementation: periods 3-4, 2011-2012
Suitable for postgraduate studies
Person responsible
Stephane Foldes
Lessons
| Study type | P1 | P2 | P3 | P4 | Summer | Implementations | Lecture times and places |
|
|
|
|
|
|
|
|
|
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 |
|
|
|
More precise information per implementation
| Implementation | Description | Methods of instruction | Implementation |