Горячая линия
16 сентября 2021 активны на платформе
35 261 0
Преподаватель
Студентов
99+
Нет новых уведомлений
Высокий уровень вовлечения представителей целевой аудитории является четким
12 декабря 2020
Высокий уровень вовлечения представителей целевой аудитории является четким
12 декабря 2020
Высокий уровень вовлечения представителей целевой аудитории является четким
12 декабря 2020
Курсы
Курсы
Книги
Войдите или зарегистрируйтесь, чтобы получить все преимущества платформы Юрайт!

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

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

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