mathstatKurssit

Matematiikan ja tilastotieteen laitoksen kurssisivualue

Skip to end of metadata
Go to start of metadata

Matemaattinen logiikka, syksy 2008

Luennoitsija

dos. Tapani Hyttinen

Laajuus

10 op.

Tyyppi

Syventävä opinto.

Esitietovaatimukset

Varsinaisia esitietoja ei tarvita, vaatii kuitenkin jonkin verran 'matemaattista rutiinia'.

Luentoajat

Viikot 36-42 ja 44-50 ma 14-16, to 14-16 D123, lisäksi laskuharjoituksia 2 viikkotuntia.

Kokeet

  • 1. kurssikoe 20.10. 13-15 A111
  • 2. kurssikoe 15.12. 13-15 A111 (monisteen sivut 57-87)

Sisältö

Ydinaines

Gödelin täydellisyyslause
Gödelin ensimmäinen epätäydellisyyslause
Yllä mainittujen tulosten todistuksissa tarvittavat menetelmät, erityisesti:
Predikaattilogiikka ja formaalin todistuksen käsite
Primitiivirekursiivisten ja rekursiivisten funktioiden perusominaisuudet
Määriteltävien joukkojen perusominaisuudet

Täydentävä tietous (ajan salliessa)

Automorfismiryhmät
Churchin lause
Gödelin toinen epätäydellisyyslause (todistusesta vain hahmotelma)

Kurssimateriaali

J. Väänänen, Matemaattinen logiikka (verkosta ladattava luentomateriaali).
J. Väänänen, Matemaattinen logiikka, Gaudeamus, 1988

Ilmoittaudu

Laskuharjoitukset

Ryhmä

Päivä

Aika

Paikka

Pitäjä

1.

ma

16 - 18

C123

Tapani Hyttinen

Tehtävät:

harjoitus 1
harjoitus 2
harjoitus 3
harjoitus 4
harjoitus 5
harjoitus 6
harjoitus 7
harjoitus 8
harjoitus 9
harjoitus 10
harjoitus 11
harjoitus 12

  • No labels