Bevezetés a matematikai logikába
Tanszék: Halmazelmélet és Matematikai Logika Tanszék
Tematika:
Í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. Nyelvek és struktúrák. Formulák és kielégíthetőség,
következmény fogalma. Teljességi és nemteljességi tétel (megemlítve).
Előfeltétel: nincs.
Helyettesítő tárgyak: nincsenek.
Előadás:
Kurzuskód: Mt1401 Kredit: 2 Óraszám: 1 hetente