Halmazelmélet és matematikai logika ea. (OT 2022)

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

Tematika:
Műveletek halmazokkal. Bijekciók és számosságok. Megszámlálható halmazok, kontinuum számosság. Néhány "jól ismert" halmaz számossága. Cantor tétele a hatványhalmaz számosságáról. Paradoxonok, a Russell-paradoxon. A végtelen halmazok meglepő tulajdonságai. Műveletek számosságokkal. Axiomatikus halmazelmélet. Kiválasztási axióma. Kijelentéslogika: logikai műveletek, igazságtáblázatok, ítéletkalkulus. Kvantorok. Játékos feladatok a logikai jelenségek bemutatására.

Előfeltétel: nincs.

Helyettesítő tárgyak: nincsenek.

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