TTKK Opinto-opas
73905 Mathematical Logic, 5,0 ov
Professor STEPHAN FOLDES
Lectures 56 h. Exercises 28 h.
| Viikottainen Opetus / Periodi |
S1 | S2 | K1 | K2 | Kesä |
|---|
| Luennot (h) | 4+ | 4 |
- | - | - |
|---|
| Harjoitukset (h) | 2+ | 2 |
- | - | - |
|---|
Luentoaika ja -paikka
Tuesdays at 14-16 in TB111 and Wednesdays at 13-15 in TB222.
Sisältö
Fundamentals of mathematical logic. Propositional and predicate calculus.
Formal mathematical theories and computable functions.
Tutkintovaatimukset
Final exam.
Kirjallisuus
Keisler, H.J. & Robbin, J.: Mathematical Logic and Computability,
McGraw-Hill (1996)
Suositeltavat esitiedot
73116 Mathematics for Algorithms.
Huomautuksia
This course is primarily intended as a post-graduate course for
participants in
the doctoral programme of Tampere Graduate School in Information Science
and Engineering. It is also recommended as an advanced course of
mathematics for other students. The course is given biannually. It is
given in the academic year 2001-2002. Lectures in English.
Students wishing to explore possible research or teaching involvement in
the
area of discrete mathematics / theoretical computer science are invited to
communicate their interest.
stephan.foldes@tut.fi