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

нет комментариев

Кудрявцева, И. А.  Программирование: комбинаторная логика : учеб. пособие для вузов / И. А. Кудрявцева, М. В. Швецкий. – 2-е изд., перераб. и доп. – Москва : Юрайт, 2021. – 524 с. – URL: https://urait.ru/bcode/430924 (дата обращения: 21.04.2021). – Режим доступа: по подписке ШГПУ. – Текст : электронный.

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

Если вы нашли ошибку, пожалуйста, выделите фрагмент текста и нажмите Ctrl+Enter.

Добавить комментарий

Ваш адрес email не будет опубликован. Обязательные поля помечены *