Спеціальність: 123 Комп’ютерна інженерія; 125 Кібербезпека. ОС: Бакалавр. Семестр: 2 (2-3). ЄКТС: 4 (8).
Викладачі: Гусєв Борис Семенович - доцент кафедри  комп’ютерних систем, мереж та кібербезпеки; Нікітенко Євгеній Васильович, доцент кафедри комп’ютерних систем, мереж та кібербезпеки; Матус Юрій Володимирович - старший викладач кафедри  комп’ютерних систем, мереж та кібербезпеки.
Анотація: Основні положення та означення комп’ютерної логіки. Інформаційні основи комп’ютерної техніки. Алгебри перемикальних функцій. Методи мінімізації перемикальних функцій. Синтез комбінаційних схем у різних елементних базисах. Основи теорії цифрових автоматів з пам’яттю. Методи синтезу цифрових автоматів з пам'яттю. Аналіз логічних схем та динамічних процесів в цифрових автоматах. Типові цифрові схеми комп’ютерів. Введення в теорію систем числення. Форми подання та кодування чисел в комп’ютерах. Операції з фіксованою комою. Операції з плаваючою комою. Синтез операційних автоматів. Цифрові автомати як основа побудови комп’ютерів.