Matematikai logika

Tanszék: Halmazelmélet és Matematikai Logika Tanszék

Tematika:
Nyelvek és struktúrák, formulák és kielégíthetőség. Ítéletkalkulus, Boole függvények, teljes függvényrendszerek, normálformák, logikai áramkörök, digitális hálózatok. Az ítéletkalkulus teljességi tétele. Henkin bővítés, kompaktsági tétel, Löwenheim-Skolom tételek. Hilbert típusú axióma-séma; teljességi tétel. A modellelmélet elemei. Ultraszorzat és kompaktsági tétel. Axiomatizálhatóság. Nemstandard analízis. Rekurzív függvények, Gödel függvény. Turing gépek és kiszámíthatóság. A megállási probléma eldönthetetlensége. Nyelvek Gödel kódolása. Peano axiómák és reprezentálhatóság. Nemteljességi tétel.

Előfeltétel: nincs.

Helyettesítő tárgyak: nincsenek.

Előadás:
Kurzuskód: Mk1405 Kredit: 4 Óraszám: 3 hetente