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

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

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

Статистика


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

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


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

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

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

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

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

Вход на сайт

Поиск

ТОП сайта

Год свиньи (2018) WEB-DLRip
Категория: Видео
Дата: 28.12.2018

Adobe Illustrator CC 2019 23.0.2 Portable
Категория: Софт
Дата: 07.02.2019

Woodcarving №161 (март-апрель / 2018)
Категория: Книги
Дата: 27.12.2018

Microsoft Office 2010 Pro Plus SP2 14.0.7229.5000 VL RePack by SPecialiST v.19.2
Категория: Софт
Дата: 14.02.2019

ACDSee Photo Studio Ultimate 2019 12.1.1656 RePack by KpoJIuK
Категория: Софт
Дата: 03.02.2019

System software for Windows 3.2.4 РС / Русский
Категория: Софт
Дата: 30.10.2018

Simlab Composer 9.1.9
Категория: Софт
Дата: 19.02.2019

Presonus Notion 6.5.470
Категория: Софт
Дата: 18.01.2019

Wink - Android TV v1.4.0.1
Категория: ИНТЕРЕСТНОЕ
Дата: 23.11.2018

Windows 7 SP1 x86/x64 5in1 WPI & USB 3.0 + M.2 NVMe by AG 01.2019 (RUS/ENG)
Категория: Софт
Дата: 11.01.2019

Друзья сайта

Turbbobit.ru