Полное описание

Кудрявцева, Ирина Андреевна. Программирование: комбинаторная логика : учебник для спо / И. А. Кудрявцева. - 2-е изд., пер. и доп. - Москва : Юрайт, 2026. - 524 с. - (Профессиональное образование). - URL: https://urait.ru/bcode/587253 (дата обращения: 03.04.2026) . - Режим доступа: Электронно-библиотечная система «Юрайт» , требуется авторизация. - ISBN 978-5-534-15128-2 : 2659.00 р.

	УДК
	004.4(075.32)

	ББК
	32.973я723

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

https://urait.ru/bcode/587253
https://urait.ru/book/cover/39A3E15B-D96B-4CAE-8E17-33976E9E643E

Просмотр издания Электронно-библиотечная система «Юрайт» , требуется авторизация