Учебное пособие "Математическая логика и теория алгоритмов", написанное профессором В.И. Игошиным, является одним из самых качественных, доступных и востребованных курсов для студентов, обучающихся по направлениям информатики, прикладной математики и программирования. В условиях стремительного развития информационных технологий эта дисциплина становится абсолютно фундаментальной. Учебник отличается кристально ясным изложением сложнейших тем: студенты подробно изучают алгебру высказываний, булевы функции, исчисление высказываний и предикатов. Вторая часть книги совершает глубокое погружение в теорию вычислимости: рассматриваются машины Тьюринга, нормальные алгоритмы Маркова и рекурсивные функции. Книга блестяще развивает строгое, формализованное аналитическое мышление, необходимое каждому профессиональному разработчику программного обеспечения.