Opinto-opas 2004-2005

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

A1

A2

S1

S2

Summer

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

OV

P/S

73116

Mathematics for Algorithms

3

Obl.

73115

Algebra 1

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 2004-2005. 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