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

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

2-е изд., пер. и доп. Учебное пособие для СПО

Обложка книги ПРОГРАММИРОВАНИЕ: КОМБИНАТОРНАЯ ЛОГИКА Кудрявцева И. А., Швецкий М. В. Учебное пособие

Ознакомиться

Подробнее

2023

Страниц 524

Обложка Твердая

Гриф Гриф УМО СПО

ISBN 978-5-534-15128-2

Библиографическое описание

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

Серия

Профессиональное образование

Тематика/подтематика

Технические науки и информационные технологии / Программирование

Дисциплины

Программирование , Программирование и основы алгоритмизации , Теория и технология программирования , Методы программирования , Основы программирования , Программирование для ЭВМ , Основы алгоритмизации и программирования , Введение в программирование , Алгоритмизация и программирование , Теория языков программирования , Основы программирования и алгоритмизации , Программирование и алгоритмизация , Информатика (программирование и алгоритмы) , Основы алгоритмизации и программирование , Программирование на ЭВМ

Показать все

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