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

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

2021. 524 с. ISBN 978-5-534-10620-6.
  • Твердый переплет

Аннотация

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

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