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

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

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