Горячая линия
Вход / Регистрация
Войдите или зарегистрируйтесь, чтобы получить все преимущества платформы Юрайт!

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

  • Скопировать в буфер библиографическое описание
    Кудрявцева, И. А.  Программирование: комбинаторная логика : учебное пособие для вузов / И. А. Кудрявцева, М. В. Швецкий. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2021. — 524 с. — (Высшее образование). — ISBN 978-5-534-10620-6. — Текст : электронный // ЭБС Юрайт [сайт]. — URL: https://www.urait.ru/bcode/430924 (дата обращения: 14.05.2021).
  • Добавить в избранное
2-е изд., пер. и доп. Учебное пособие для вузов
2021
Страниц 524
Обложка Твердая
Гриф Гриф УМО ВО
ISBN 978-5-534-10620-6
Библиографическое описание
Кудрявцева, И. А.  Программирование: комбинаторная логика : учебное пособие для вузов / И. А. Кудрявцева, М. В. Швецкий. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2021. — 524 с. — (Высшее образование). — ISBN 978-5-534-10620-6. — Текст : электронный // ЭБС Юрайт [сайт]. — URL: https://www.urait.ru/bcode/430924 (дата обращения: 14.05.2021).
Показать все

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