Программирование: комбинаторная логика

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

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

Особенностью издания является наличие программ на языке Haskell, таких как интерпретатор λ-функций, представленных λ-термами, и программа для вывода типовой схемы λ-терма в STT. Это позволяет студентам не только освоить теоретические основы, но и получить практические навыки работы с формальными системами.

Книга рекомендована Учебно-методическим отделом высшего образования и доступна на образовательной платформе «Юрайт». Издание предназначено для студентов, аспирантов и преподавателей факультетов компьютерных наук и информационных технологий, а также всех, кто интересуется математическими основами программирования.