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

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

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

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

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

Советуем прочитать похожую литературу

Обложка книги  «Исламский менеджмент»

Исламский менеджмент

Настоящее учебное пособие «Исламский менеджмент» впервые представляет собой изложение курса...
Обложка книги  «Математика»

Математика

Серия предназначена для студентов высших учебных заведений, а также абитуриентов. Книги этой...
Обложка книги  «Биология»

Биология

Серия предназначена для студентов высших учебных заведений, а также абитуриентов. Книги этой...
Отзывы (0)
Вам понравилось читать онлайн книгу «Программирование: комбинаторная логика 2-е изд., пер. и доп. Учебное пособие для вузов»? Уделите пару минут, что бы оставить полезный отзыв другому читателю.
Добавить