- Tautologie, konsekwencje logiczne, systemy dowodzenia.
- Algebra zbiorów, prawa algebry zbiorów, indeksowane rodziny zbiorów.
- Operatory w języku C.
- Instrukcje w języku C.
- Struktury danych w Pythonie - Listy i krotki.
- Funkcje w Pythonie oraz sposoby przekazywania parametrów do funkcji.
- Drzewa poszukiwań binarnych (BST).
- Stosy i kolejki.
- Systemy funkcjonalnie pełne w algebrze Boole`a.
- Reprezentacja liczb w standardzie zmiennopozycyjnym IEEE 754
- Pokrycia wierzchołkowe lub krawędziowe, zbiory niezależne wierzchołków lub krawędzi, zbiory dominujące wierzchołków - zastosowanie algebry Boole'a do wyznaczania specjalnych podzbiorów wierzchołków lub podzbiorów krawędzi grafu nieskierowanego.
- Kombinatoryczne wyznaczanie liczby dróg w prostokątnej kracie z wyróżnionymi odcinkami.
- Algorytm węgierski
- Metody całkowania numerycznego.
- Cechy programowania obiektowego.
- Elementy wchodzące w skład klasy w języku C++
- Cykl zmian stanów procesu w systemie operacyjnym.
- Wzajemne wykluczanie w wielozadaniowych systemach operacyjnych.
- Adresacja IPv4 oraz IPv6.
- Topologie sieci komputerowych: Pojęcie topologii. Podstawowe parametry topologii sieci komputerowych. Przykładowe topologie sieci i ich zastosowanie.
- Operatory logiczne stosowane w logikach wielowartościowych.
- Ocena klasyfikatorów danych.