Программирование. Математическая логика — Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Математическая логика и теория алгоритмов», содержащих теоретические сведения по общей теории исчислений, исчислениям математической логики, элементам интуиционистской логики, аксиоматической семантике языков императивного программирования.
... Читать дальше »
Абстрактная и компьютерная алгебра — Издание представляет собой систематическое изложение основ классической алгебры с краткими, но полными доказательствами и с обсуждением особенностей методики компьютерного изучения алгебраических объектов.
... Читать дальше »
Высшая математика для гуманитарных направлений. Учебник и практикум — Учебник написан на основе курсов лекций, читаемых авторами на различных факультетах Финансового университета при Правительстве Российской Федерации. Книга охватывает основные разделы высшей математики, которые изучаются студентами, специализирующимися в области гуманитарных наук.
... Читать дальше »
Теоретические основы информатики — Получение хороших практических результатов при решении задач информационного характера невозможно без понимания теоретических основ информатики. Они являются фундаментом, на котором строятся знания и умения профессионалов в таких областях информационной сферы, как аналитика, моделирование и проектирование, программирование.
... Читать дальше »