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