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