|
|
|||||||||||||||||
Course Catalog 2014-2015
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
Learning Outcomes
After completing the course, the student knows what the fundamental results of mathematical logic are: Completeness of propostional and first order logc, Gödel's incompleteness theorems, Tarskis theorem, Löwenheim-Skolem theorem, Herbrand theorem. A rudimentary understanding of model theory is formed, and the student is able to apply some basic results and knows some details of basic techniques such as truth tables, tableaux, resolution, and unification.
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 |