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

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

2-е изд., пер. и доп. Учебное пособие для вузов

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

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

Подробнее

2023

Страниц 524

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

Гриф Гриф УМО ВО

ISBN 978-5-534-10620-6

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

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

Серия

Высшее образование

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

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

Дисциплины

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

Показать все

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