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

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

	УДК
	004.4(075.8)

	ББК
	32.973я73

Кл.слова (ненормированные): Программирование -- Компьютерные и информационные науки -- Программирование -- Теория и технология программирования -- Методы программирования -- Основы программирования -- Программирование для ЭВМ -- Введение в программирование -- Теория языков программирования -- Программирование на ЭВМ -- Основы алгоритмизации и языки программирования
Аннотация: Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Программирование» и содержит теоретические сведения по комбинаторной логике, элементам теории типов, элементам теории категорий, а также задачи для самостоятельного решения. В пособии размещены программы на языке Haskell: интерпретатор ?-функций, представленных ?-термами, и программа для вывода типовой схемы ?-терма в STT. Издание предназначено для студентов высших учебных заведений, обучающихся по ИТ-направлениям, аспирантов и преподавателей факультетов и институтов компьютерных наук и информационных технологий.
https://urait.ru/bcode/587151
https://urait.ru/book/cover/0463425D-ED93-479C-988F-05C429DB013D

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