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

Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Программирование» и содержит теоретические сведения по комбинаторной логике, элементам теории типов, элементам теории категорий, а также задачи для самостоятельного решения. В пособии размещены программы на языке Haskell: интерпретатор ?-функций, представленных ?-термами, и программа для вывода типовой схемы ?-терма в STT. Издание предназначено для студентов высших учебных заведений, обучающихся по ИТ-направлениям, аспирантов и преподавателей факультетов и институтов компьютерных наук и информационных технологий.
- Авторы:Михаил Владимирович Швецкий, Ирина Андреевна Кудрявцева
- Серия: Высшее образование
- Жанр:Учебная литература
- Страницы: 525
- Формат: fb2, epub, pdf, txt
Советуем прочитать похожую литературу

Бухгалтерская экспертиза
Учебник составлен по программе курса «Бухгалтерская экспертиза» и включает: лекции, планы...

Основы государственного и муниципального управления
В учебном пособии излагаются основные проблемы современного государственного и муниципального...

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

Счастье от Всевышнего, управляя собой: психологический практикум....
Книга посвящена величайшей и актуальной теме всех времен – счастье человека. Автор, определяя...

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

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