Подробное описание документа

Кудрявцева И. А., Швецкий М. В.
   Программирование: комбинаторная логика : учебное пособие для вузов / Кудрявцева И. А., Швецкий М. В. - 2-е изд., перераб. и доп. - М. : Юрайт, 2024. - 524 с. - (Высшее образование). - Библиогр.: с. 519-522. - ISBN 978-5-534-10620-6.

Читать онлайн

Юрайт

Войти и читать

https://urait.ru/bcode/541888

Аннотация

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

УДК

004.4 Программные средства

Предметные рубрики

• Программирование для ЭВМ - Учебники и пособия

Общее кол-во в фондах

1 экз.

Заказать в читальный зал

1. Преподавательский абонемент ауд.305л, УЛК, ауд. 305л
2. Читальный зал ауд.305л, УЛК, ауд. 305л