Программирование. Математическая логика — Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Математическая логика и теория алгоритмов», содержащих теоретические сведения по общей теории исчислений, исчислениям математической логики, элементам интуиционистской логики, аксиоматической семантике языков императивного

Абстрактная и компьютерная алгебра — Издание представляет собой систематическое изложение основ классической алгебры с краткими, но полными доказательствами и с обсуждением особенностей методики компьютерного изучения алгебраических объектов.

Высшая математика для гуманитарных направлений. Учебник и практикум — Учебник написан на основе курсов лекций, читаемых авторами на различных факультетах Финансового университета при Правительстве Российской Федерации. Книга охватывает основные разделы высшей математики, которые изучаются студентами, специализирующимися в области гуманитарных наук.

Теоретические основы информатики — Получение хороших практических результатов при решении задач информационного характера невозможно без понимания теоретических основ информатики.