HALMAZELMÉLET ÉS MATEMATIKAI LOGIKA

• Amit a kurzusról tudni kell
• Amit a vizsgáról tudni kell
• Tematika
• Mintavizsga kérdések

Október 14.:

• Alapfogalmak, halmazműveletek
• 1. feladatsor
• 1. olvasmány
• Ekvivalencia/párbaállíthatóság, Megszámlálhatóan végtelen, kontinuum számosság
• 2. feladatsor
• Számosság fogalma, Számosságok rendezése
• 2. olvasmány

Október 27.:

• Számosság aritmetika
• Íteletkalkulus/0-ad rendű logika: szemantika, szintaxis
• Boole-függvények

November 17-18.:

• Bázisok, monoton Boole-függvények
• Formulák ekvivalenciája, tautológiák, nem kielégíthető formulák
• Logikai következmény fogalma, kompaktsági tétel kimondása
• Levezethetőség, Hilbert-séma, teljességi tétel kimonndása

December 17.:

• Rendezett halmazok típusa, jól rendezések, rendszámok
• Jólrendezési tétel
• Kiválasztási axióma ekvivalensei

December 18.:

• 60 perces kisdolgozat. Téma: Megszámlálhatóan végtelen, kontinuum számoddágú halmazok. Számosság aritmetika. Ítéletkalkulusbeli formulák Boole-függvénye, Boole-függvények megfogalmazása formulaként.
• Predikátumkalkulus/1. rendű logika: szemantika, szintaxis

    Ha az előadással, gyakorlattal kapcsolatban bármilyen kérdés, megjegyzés, vélemény stb. felmerül, akkor azokat az hajnal@math.u-szeged.hu email címen érdeklődve várom.