Обложка Кудрявцева И.А., Швецкий М.В. Программирование: комбинаторная логика. Учебное пособие для спо
Id: 280538

Программирование:
комбинаторная логика. Учебное пособие для спо Изд. 2, пер. и доп.

2021. 524 с. ISBN 978-5-534-15128-2.

Аннотация

Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Программирование» и содержит теоретические сведения по комбинаторной логике, элементам теории типов, элементам теории категорий, а также задачи для самостоятельного решения. В пособии размещены программы на языке Haskell: интерпретатор ?-функций, представленных ?-термами, и программа для вывода типовой схемы ?-терма в STT.

Издание предназначено для студентов ...(Подробнее)образовательных учреждений среднего профессионального образования, обучающихся по ИТ-направлениям, аспирантов и преподавателей.