Sonic.ucoz.net:)Windows,Софт, игры, фильмы, антивирусы и ключи к ним!!!

Категории раздела

Софт [2684]
Видео [119]
Игры [3]
Книги [7445]
ИНТЕРЕСТНОЕ [69749]

Статистика


Онлайн всего: 1
Гостей: 1
Пользователей: 0
Кто сегодня был?

Каталог файлов


Программирование. Теория типов
05.03.2022, 19:03

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

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

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

Скачать с katfile.com
Скачать с file-upload.com
Скачать с turb.cc
Категория: Книги | Добавил: pmojka | Теги: 2022, Программирование, типов, теория
Просмотров: 136 | Загрузок: 0 | Рейтинг: 0.0/0
Всего комментариев: 0

Вход на сайт

Поиск

ТОП сайта

Воронкова Л. - Сын Зевса (1997)
Категория: Книги
Дата: 16.03.2019

SketchUp Pro 2019 19.0.685 Portable
Категория: Софт
Дата: 11.02.2019

Развлечёба (8-я серия (Про погоду)) (2018) WEB-DLRip
Категория: Видео
Дата: 25.11.2018

MathWorks MATLAB R2019a 9.6.0.1072779
Категория: Софт
Дата: 23.03.2019

Australian Wood Review №101 (2018)
Категория: Книги
Дата: 28.11.2018

Luminar 3.0.2.2105
Категория: Софт
Дата: 11.02.2019

DriverPack Solution 17.7.129
Категория: Софт
Дата: 30.12.2018

Maxon CINEMA 4D Studio R20.057
Категория: Софт
Дата: 20.02.2019

Windows 10 Enterprise LTSC x86/x64 OptimaMod February 2019 by m0nkrus (RUS/ENG/2019)
Категория: Софт
Дата: 25.02.2019

Arobas Guitar Pro 7.5.2 Build 1592 + Soundbanks
Категория: Софт
Дата: 09.03.2019

Друзья сайта

Turbbobit.ru