Курс предназначен для бакалавров, обучающихся в ИИТУ. Рассматриваются вопросы логики и теории алгоритмов