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

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

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

Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Теоретические основы программирования», содержащих теоретические сведения по элементам теории типов, теории категорий и интуиционистской логике. Особое внимание уделено методам решения основных задач теории типов (TCP, TSP, TIP). Соответствует актуальным требованиям федерального государственного образовательного стандарта высшего образования. Пособие предназначено для преподавателей, аспирантов и студентов факультетов институтов компьютерных наук и информационных технологий.

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

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

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

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

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

Математика

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

Биология

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