|
|
|||||||||||||||||
Course Catalog 2013-2014
MAT-60556 Mathematical Logic, 5 cr |
Additional information
Suitable for postgraduate studies
Person responsible
Henri Hansen, Antti Valmari
Lessons
| Study type | P1 | P2 | P3 | P4 | Summer | Implementations | Lecture times and places |
|
|
|
|
|
|
|
|
|
Requirements
Examination.
Completion parts must belong to the same implementation
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 | Mathematical Logic For Computer Science (3rd edition) | Ben-ari, M. | Yes | English |
Prerequisites
| Course | Mandatory/Advisable | Description |
| MAT-02650 Algoritmimatematiikka | Mandatory |
Prerequisite relations (Requires logging in to POP)
Correspondence of content
There is no equivalence with any other courses
More precise information per implementation
| Implementation | Description | Methods of instruction | Implementation |