Горячая линия
06 октября 2022 активны на платформе
41 943 -158
Преподавателя
367 030 -1441
Студентов
99+
Нет новых уведомлений
Высокий уровень вовлечения представителей целевой аудитории является четким
12 декабря 2020
Высокий уровень вовлечения представителей целевой аудитории является четким
12 декабря 2020
Высокий уровень вовлечения представителей целевой аудитории является четким
12 декабря 2020

Корзина

Позиций
Стоимость 0
Перейти в корзину
Войдите или зарегистрируйтесь, чтобы получить все преимущества платформы Юрайт!

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

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

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