Дискретная математика. Формально-логические системы и языки

Книга представляет собой фундаментальный учебник по дискретной математике, сфокусированный на формально-логических системах. В ней подробно рассматриваются функции алгебры логики (булевы функции), включая их свойства, нормальные формы и методы минимизации. Особое внимание уделяется теореме Поста о функциональной полноте, которая является ключевой для понимания замкнутых классов булевых функций.

Второй важный блок посвящён k-значным логикам, расширяя классическую булеву алгебру. Авторы также исследуют производные булевых функций и различные аксиоматические исчисления: высказываний, предикатов, секвенций и резолюций. Практическая связь с программированием демонстрируется на примере языка Пролог.

В заключительных разделах рассматриваются более специализированные темы: монадическая логика, теория конечных автоматов и представляемые ими языки, темпоральная логика, а также аксиоматический язык программирования OBJ3. Материал основан на многолетнем опыте преподавания авторов в ведущих технических вузах и предназначен для формирования строгого математического фундамента у будущих IT-специалистов.