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.
MATE5096 Logiikan jatkokurssi 5 op
Vastuutaho
Matematiikka
Vastuuhenkilö
Matematiikan ja tilastotieteen laitos, Vesa Halava
Suunnitellut järjestämisajankohdat
Periodi I II III IV
2017–2018 X
Edeltävät opinnot
Pakolliset:
MATE5114 Logiikka

Osaamistavoitteet

Oppia ensimmäisen kertaluvun logiikan keskeisten lauseiden sisällöt, todistukset ja merkitykset.

Sisältö

Kurssilla käsitellään ensimmäisen kertaluvun logiikan kolmen keskeisen tuloksen - täydellisyyslauseen, kompaktisuuslauseen ja Löwenheim-Skolemin lauseen - todistuksia ja lauseiden välistä yhteyttä. Lisäksi perehdytään Gödelin epätäydellisyyslauseiden todistuksiin laskettavuuden teorian kautta.

Toteutustavat

Opetustapa Paikalla Verkossa
Luento-opetus 28 t 0 t
Harjoitukset 12 t 0 t

Opetuskieli

suomi

Vaadittavat opintosuoritukset

Suoritusvaihtoehto 1
Kohderyhmät:
  • Tutkinto-ohjelman omat opiskelijat
  • Muut opiskelijat
  • Tohtoriopiskelijat
  • Vaihto-opiskelijat
Osallistuminen opetukseen
  • suomeksi
Harjoitustyö(t)
  • suomeksi
Kirjallinen tentti
  • suomeksi

Arviointi

Numerolla 0-5.

Kirjallisuus/Oppimateriaali

Luentomoniste

Kokonaisuudet, joihin opintojakso kuuluu

Matematiikan ja tilastotieteen laitos
2016–2017
Opintojakso opetusohjelmassa
Opetusohjelma ei ole enää voimassa. Tarkista tiedot voimassa olevasta opetusohjelmasta.
Toteutustietoja ei ole taltioitu.
Matematiikan ja tilastotieteen laitos
MDP in Information Security and Cryptography
Opintokokonaisuudet