Szerkesztő:LinguisticMystic/math/ILA

Halmazok, halmazműveletek (metszet, unió, komplementer, különbség, szimmetrikus különbség, részhalmaz definíciója, tulajdonságai). Rendezett számpár, két halmaz Descartes-szorzata.
Megfeleltetés, reláció, parciális leképezés, leképezés fogalma (indulási halmaz, érkezési halmaz, értelmezési tartomány, értékkészlet, kép, ős). Megfeleltetések szorzata, inverze, tulajdonságaik. Identikus megfeleltetés. Megfeleltetések ábrázolása nyíldiagramon. Szürjektív, injektív, bijektív leképezések, tulajdonságaik. Kiválasztási függvények, tetszőleges sok halmaz Descartes-szorzata.
Permutációk, ciklusok, transzpozíciók. Szorzattá alakításra vonatkozó tételek. Megfeleltetések megadása leképezésekkel.
Relációk és irányított gráfok. Zárt séta, nyitott séta, irányított út, irányított kör. Reflexív, szimmetrikus, antiszimmetrikus, dichotom, tranzitív relációk és irányított gráfjuk. Tranzitív relációk jellemzése, egy reláció tranzitív lezártja.
Részbenrendezés, részbenrendezett halmaz Hasse-diagramja. Minimális/maximális elem, legkisebb/legnagyobb elem, kapcsolódó állítások. Részbenrendezett halmazok direkt szorzata, lexikografikus rendezés. Részbenrendezés és rendezés kiterjesztése.
Ekvivalenciarelációk, ekvivalenciaosztályok, osztályozás. Alapvető állítások.
Megszámlálhatóan végtelen halmazok definíciója és tulajdonságaik.
Számosságok összehasonlítása. Egy halmaz összes részhalmaza halmazának számosságára vonatkozó állítás. Kontinuum-számosság.
Logikai ítéletek és műveletek (negáció, konjunkció, diszjunkció, implikáció, ekvivalencia). Formulák, részformulák, logikai változók. Formulák logikai ekvivalenciája, legfontosabb azonosságok és állítások. Logikai formulák teljes diszjunktív normálformája.
Tautológia fogalma, legfontosabb azonosságok és állítások. Logikai következmény, premissza, konklúzió, állítások. Néhány következtetési szabály.
Komplex számok bevezetése. Kanonikus alak, valós rész, képzetes rész, konjugált, abszolút érték, trigonometrikus és exponenciális alak, azonosságok. Gyökvonás komplex számokból, komplex egységgyökök.
n-változós művelet, algebra. Asszociatív, kommutatív művelet, egységelem, zéruselem, elem inverze, kapcsolódó állítások. Hatványozás és kapcsolódó azonosságok. Gyűrű, test fogalma.
Izomorfizmus, homomorfizmus fogalma, tulajdonságok. Részcsoport, részhalmaz által generált legszűkebb részcsoport előállítása. Ciklikus csoportok fogalma, kapcsolódó állítás. Elem és csoport rendje, kapcsolódó állítások.