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 opetussuunnitelma 2016–2018
Selaamasi opetussuunnitelma ei ole enää voimassa. Tarkista tiedot voimassa olevasta opetussuunnitelmasta.
MATE5232 Mathematical Logic 5 op
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

Matematiikan ja tilastotieteen laitos
2016–2017
Teaching
Archived Teaching Schedule. Please refer to current Teaching Shedule.
Implementation details are unavailable.
Matematiikan ja tilastotieteen laitos
MDP in Information Security and Cryptography
Opintokokonaisuudet