Алгебра логики
Кодирование
Автоматы