Учебник "Дискретная математика для программистов" авторства Ф.А. Новикова представляет собой современное, актуальное и невероятно практичное руководство, созданное специально для будущих инженеров-программистов, IT-специалистов и системных аналитиков. Главное достоинство книги заключается в ее ярко выраженной прикладной направленности: автор не просто излагает сухие математические теории, а постоянно демонстрирует, как именно они применяются при проектировании баз данных, разработке компиляторов, оптимизации алгоритмов и создании искусственного интеллекта. В курсе предельно подробно рассматриваются теория множеств, математическая логика, теория графов и сетей, комбинаторика, а также теория конечных автоматов и формальных языков. Издание изобилует отличными примерами, структурными схемами и алгоритмами, которые легко переносятся в реальный программный код.

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