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