Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь. Мы рекомендуем Вам зарегистрироваться либо войти на сайт под своим именем.





Главная » Файлы » Книги » Программирование. Теория типов

Программирование. Теория типов

Опубликовал: Kitovras | Дата публикации: 05.07.2022
Раздел: Книги


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

Название: Программирование. Теория типов
Автор: Кудрявцева И. А., Швецкий М. В.
Издательство: Юрайт
Год: 2022
Страниц: 652
Формат: PDF
Размер: 164,04 МБ
Качество: отличное
Язык: русский

Скачать Программирование. Теория типов

Скачать с katfile.com
Скачать с file-upload.com
Скачать с turb.cc




На нашем сайте вы можете бесплатно скачать Книги без лишних регистраций и отправки платной смс, а именно скачать Программирование. Теория типов бесплатно.

Просмотров: 24 | Комментарии:

Другие новости по теме:

Ключевые теги: теория, типов, программирование, 2022


Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь. Мы рекомендуем Вам зарегистрироваться либо войти на сайт под своим именем.

Наш опрос
Вы счастливы?
Всего ответов: 5
Статистика
Реклама