| Главная » Файлы » Книги » Программирование. Теория типов |
Программирование. Теория типов
 Опубликовал: Kitovras |  Дата публикации: 18.04.2024 Раздел: Книги
 Программирование. Теория типов — Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Теоретические основы программирования», содержащих теоретические сведения по элементам теории типов, теории категорий и интуиционистской логике. Особое внимание уделено методам решения основных задач теории типов (TCP,TSP,TIP). Соответствует актуальным требованиям федерального государственного образовательного стандарта высшего образования. Пособие предназначено для преподавателей, аспирантов и студентов факультетов институтов компьютерных наук и информационных технологий. Название: Программирование. Теория типов Автор: Кудрявцева И. А., Швецкий М. В. Издательство: Юрайт Год: 2022 Страниц: 652 Формат: PDF Размер: 164,04 МБ Качество: отличное Язык: русский Скачать Программирование. Теория типов
Скачать с katfile.com Скачать с file-upload.com Скачать с turb.cc На нашем сайте вы можете бесплатно скачать Книги без лишних регистраций и отправки платной смс, а именно скачать Программирование. Теория типов бесплатно. | |
|
Просмотров: 77 | Комментарии:
Другие новости по теме:Ключевые теги: | |
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь. Мы рекомендуем Вам зарегистрироваться либо войти на сайт под своим именем.
