Výstupy z výukové jednotky | Motivace | Celá čísla | Faktorizace a prvočísla | Dělitelnost | Modulární aritmetika | Racionální a reálná čísla | Číselné soustavy | Převody mezi číselnými soustavami | Aritmetické operace s binárními čísly | Dvojkový doplněk | Literatura |

Výstupy z výukové jednotky | Motivace | Základní pojmy | Základní množinové operace a zákony | Kartézský součin | Relace | Vlastnosti binárních relací na množině | Zobrazení, funkce, operace | Literatura |

Výstupy z výukové jednotky | Motivace | Úvod | Složený výrok | Jazyk výrokové logiky | Pravdivostní hodnota formule | Tautologie, kontradikce, splnitelnost | Zákony pro práci s výroky | Systémy úplných logických spojek | DNF, KNF | Úsudek, dedukce | Logické důsledky výrokových formulí | Literatura |

Výstupy z výukové jednotky | Motivace | Predikáty | Kvantifikátory | Sémantika predikátové logiky 1. řádu | Volná a vázaná proměnná | Převod z přirozeného jazyka do symbolického jazyka predikátové logiky | Sémantika jazyka predikátové logiky (interpretace formulí) | Negace predikátových formulí | Automatické dokazování v predikátové logice (obecná rezoluční metoda) | Literatura |

Výstupy z výukové jednotky | Motivace | Základní pojmy | Vlastnosti grafů | Reprezentace grafů | Optimalizační úlohy nad grafy | Literatura |