Показать виджеты
Скрыть виджеты
16 ноября 2024 активны на платформе
52 583 -72
Преподавателя
645 757 -320
Студентов
Версия для слабовидящих

Корзина

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

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

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

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

Оплаченный доступ к контенту предоставляется только на платформе, а также онлайн и офлайн в мобильном приложении
Скачивание контента в PDF недоступно
3 учебных заведения выбрали эту книгу
Подписка от 349 ₽/мес.
Эта книга и более
11 127 других учебников и
курсов будут доступны при покупке личной подписки