Uusi opinto-opas (sisältäen myös opetusohjelmat) lukuvuodelle 2018-2019 sijaitsee osoitteessa https://opas.peppi.utu.fi . Tältä sivustolta löytyvät enää vanhat opinto-oppaat ja opetusohjelmat.

The new study guide (incl. teaching schedules) for academic year 2018-2019 can be found at https://studyguide.utu.fi. This site contains only previous years' guides.

x !
Arkistoitu opetusohjelma 2014–2015
Selaat vanhentunutta opetusohjelmaa. Voimassa olevan opetusohjelman löydät täältä.
MATE5232 Mathematical Logic 5 ECTS
Periods
Period I Period II Period III Period IV
Language of instruction
English
Type or level of studies
Advanced studies
Course unit descriptions in the curriculum
Matematiikan tutkinto-ohjelma (FM)
Matematiikka
Department of Mathematics and Statistics

General description

Mathematical logic studies fundamental formal reasoning in mathematics, especially the deductive power in mathematical systems. It has overlaps with recursion theory and is in this sense related to computability and theoretical computer science.

The schedule of the rest of the course will be decided on the first and second meetings.

Teachers responsible

Vesa Halava
vesa.halava[ät]utu.fi
Tero Harju
tero.harju[ät]utu.fi

Homepage URL

Teaching

28-Apr-2015 – 18-Jun-2015
Seminar 28 h
First meetings
Tue 28-Apr-2015 at 11-14, Seminar room 299, Publicum
Wed 29-Apr-2015 at 11-14, Seminar room 299, Publicum
Independent work 10 h