73905
MATHEMATICAL LOGIC,
MATHEMATICAL LOGIC, 5 ov
Lecturer info
Professor STEPHAN FOLDES
Lectures and exercises:
Lecture hours total 56 h.
Exercise hours total 28 h.
Weekly teaching / period |
|
|
|
|
|
Lectures (h): |
4+ |
4 |
- |
- |
- |
Exercises (h): |
2+ |
2 |
- |
- |
- |
Content of the course
Fundamentals of mathematical logic. Propositional and predicate calculus. Formal mathematical theories and computable functions.
Requirements
Final exam and activity points, particulars to be announced during first lecture.
Literature
Keisler, H.J. & Robbin, J.: Mathematical Logic and Computability, McGraw-Hill (1996), or corresponding material.
Prerequisites
Number |
Name |
|
|
73116 |
3 |
Obl. |
|
73115 |
3 |
Recomm. |
Notes
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 not given in the academic year 2002-2003. 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