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 !
Archived Curricula Guide 2014–2016
Curricula Guide is archieved. Please refer to current Curricula Guides
MATE5232 Mathematical Logic 5 ECTS
Organised by
Mathematics
Person in charge
Department of Mathematics and Statistics, Tero Harju and Vesa Halava
Preceding studies
Compulsory:
MATE5114 Logic

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.

Learning outcomes

The course covers first order theories that are relevant in mathematics.
The studies in the course involve seminar talks given by the teachers and the students

Contents

Introduction to mathematical logic, first order theories, topics in logic including
Gödel’s incompleteness theorem and Henkin’s completeness proof.

Teaching methods

Teaching method Contact Online
Independent work 10 h 0 h
Seminar 28 h 0 h

COurse is organized in period V (spring 2015)

Teaching language

English

Modes of study

Option 1
Available for:
  • Degree Programme Students
  • Other Students
  • Doctoral Students
  • Exchange Students
Participation in classroom work
  • In English
Seminar talk Seminar
  • In English
Option 2
Available for:
  • Degree Programme Students
  • Other Students
  • Doctoral Students
  • Exchange Students
Participation in classroom work
  • In English

Evaluation

Pass/fail.

Belongs to following study modules

Department of Mathematics and Statistics
2014–2015
Teaching
Archived Teaching Schedule. Please refer to current Teaching Shedule.
Department of Mathematics and Statistics
DP in Mathematics and Statistics
DP in Mathematics
Finnish Study Modules
DP in Statistics
Statistics