Множина як деякий набір об’єктів, які не повторюються і називаються елементами, існуючі теорії та концепції. Графи та головні дії над ними. Рекурентні булеві функції, теорія кінцевих автоматів. Задача аналізу кінцевого автомата з пам’яттю, її рішення.
