А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Э Ю Я Ё
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
0 1 2 3 4 5 6 7 8 9
Выберите необходимое действие:
Меню
Свернуть

Программирование: комбинаторная логика 2-е изд., пер. и доп. Учебное пособие для вузов

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

Полная версия:

Читать онлайн «Программирование: комбинаторная логика 2-е изд., пер. и доп. Учебное пособие для вузов»

Добавить свой комментарий
Проверочный код: *
Обновить
Чтобы оставить комментарий, пожалуйста, войдите или зарегистрируйтесь
Новинки
Свернуть
Популярные книги
Свернуть