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

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

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

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

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

Подробнее

2024

Страниц 524

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

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

ISBN 978-5-534-15128-2

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

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

ПОП СПО:

09.02.01 Компьютерные системы и комплексы, 09.02.01.П Компьютерные системы и комплексы (профессионалитет), 09.02.06.П Сетевое и системное администрирование (профессионалитет)

Серия

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

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

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

Дисциплины

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

Показать все

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