Tu nájdete informačný list predmetu.
Základy teórie množín. Základné pojmy. Axióma extenzionality. Určenie množiny. Paradoxy teórie množín. Základné množinové vzťahy a operácie. Podmnožina a vlastná podmnožina. Zjednotenie a prienik množín. Doplnok množiny. Rozdiel a symetrická diferencia množín. Základné množinové identity. Zovšeobecnené množinové operácie. Potenčná množina. Usporiadané dvojice. Karteziánsky súčin množín.
Binárne relácie. Maticová a grafická reprezentácia relácie. Skladanie relácií. Množinové operácie nad reláciami. Jednoznačné relácie a všade definované relácie. Vlastnosti relácií na množine. Relácia ekvivalencie a rozklad množiny. Čiastočné a lineárne usporiadania. Hasseho diagramy.
Funkcie (zobrazenia). Definičný obor a obor hodnôt funkcie. Čiastočné a totálne funkcie. Skladanie funkcií. Injektívne, surjektívne a bijektívne zobrazenia. Monotónne zobrazenia.
Mohutnosti množín. Konečné množiny. Niektoré enumeračné úlohy na konečných množinách. Princíp zapojenia a vypojenia. Nekonečné množiny. Spočítateľné množiny. Nespočítateľné množiny. Cantorova-Bernsteinova veta.
Úvod do teórie algoritmov. Číselné sústavy: monadická, dekadická, binárna, dyadická. Základné dátové štruktúry: záznam, zoznamy, stromy. Asymptotická notácia. Riešenie rekurentných vzťahov pre metódy typu rozdeľ a panuj. Veľmi základná algoritmická komplexita.