Программирование. Теория типов. Учебное пособие для вузов [Ирина Андреевна Кудрявцева] (pdf)


Ирина Андреевна Кудрявцева   Михаил Владимирович Швецкий  

Программирование: прочее   Учебники и пособия ВУЗов   Учебники и самоучители по компьютеру  

 Программирование. Теория типов. Учебное пособие для вузов  [2-е издание, переработанное и дополненное] 159.28 Мб, 652с.
скачать: (pdf) - (pdf+fbd)  читать: (полностью) - (постранично)
издано в 2022 г.   в серии Высшее образование (post) (иллюстрации)

Программирование. Теория типов. Учебное пособие для вузов (pdf)Добавлена: 19.06.2023 Версия: 1.009.
PDF Версия: 1.6
ISBN: 9785534110883 ББК: 32.973я73 УДК: 004.42(075.8)
Издательство: Юрайт
Город: Москва
Поделиться:
  (ссылка для форума)
  (ссылка для блога)     (QR-код книги)  

Аннотация

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


Рекомендации:

эту книгу рекомендовали 0 пользователей.
Прежде чем рекомендовать книгу, хорошо подумайте. Рекомендация - это высшая оценка, которую вы можете выставить книге. 10 по 5-балльной шкале.