Algebra układów cyfrowych. Minimalizacja wyrażeń logicznych. Podstawowe elementy układów cyfrowych (elementy stykowe i bezstykowe). Klasyfikacja układów cyfrowych. Synteza układów kombinacyjnych. Dynamika układów kombinacyjnych. Układy iteracyjne. Kombinacyjne bloki funkcjonalne (multipleksery, demultipleksery, kodery, dekodery, translatory, pamięci stałe, bloki arytmetyczne). Metody syntezy układów sekwencyjnych (asynchronicznych i synchronicznych). Dynamika układów sekwencyjnych. Sekwencyjne funkcjonalne bloki (rejestry, liczniki, bloki arytmetyczne). Synteza układów z zależnościami czasowymi. Synteza układów mikroprogramowanych. Układy programowalne.