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

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

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

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

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

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

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

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