Halmazelmélet és matematikai logika ea. (OT közös)

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

Tematika:
Halmazok ekvivalenciája, a számosság fogalma. Megszámlálható és kontinuum-számosságú halmazok. Számosságok összehasonlítása. Műveletek számosságokkal. Halmazelméleti paradoxonok. A halmazelmélet axiomatizálása. A kiválasztási axióma. Részbenrendezett és rendezett halmazok. A Zorn-lemma. Logikai műveletek. Igazságtáblázat. Logikai következmény. Normálformák. Függvényteljesség. Természetes levezetés. A kompaktsági tétel. A teljességi tétel. Elsőrendű nyelvek. Axiómarendszerek, modellek. Gödel tételei. Logikai paradoxonok

Előfeltétel: nincs.

Helyettesítő tárgyak: nincsenek.

Előadás:
Kurzuskód: MTN542E Kredit: 4 Óraszám: 1 hetente