Главная Каталог
на главную » Каталог » Образование, учебная литература » ВУЗовская литература » Информатика. Электроника. Связь » Учебники: доп. пособия

Каталог товаров:



вернуться

Программирование: комбинаторная логика. Учебное пособие для вузов. Кудрявцева И.А., Швецкий М.В.
Программирование: комбинаторная логика. Учебное пособие для вузов. Кудрявцева И.А., Швецкий М.В.

Программирование: комбинаторная логика. Учебное пособие для вузов. Кудрявцева И.А., Швецкий М.В.

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

2021
© 2011 - 2024 - MagBooks.ru - Интернет Магазин книг, товаров для дома