Tartalom
Feladatok
I. Az ítéletkalkulus elemei 3
II. Halmazok, leképezések 7
III. Relációk, gráfok 12
IV. Összeszámlálási alapfeladatok 15
V. Műveletek, műveleti tulajdonságok 18
VI. Komplex számok 19
VII. Euklideszi gyűrűk, egyértelmű irreducibilis felbontás 21
VIII. Számelméleti kongruenciák 24
IX. Polinomok 26
X. Absztrakt algebrai konstrukciók 29
XI. Félcsoportok 31
XII. Csoportok 32
XIII. Gyűrűk, testek 34
XIV. A predikátumkalkulus elemei; levezetés 35
XV. Gráfok 41
XVI. Halmazok számossága 45
Útmutatások 47
Eredmények 77
Kidolgozott feladatok 119
Függelék 213
Tautológiagyűjtemény 215