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

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

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

Статистика


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

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


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

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

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

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

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

Вход на сайт

Поиск

ТОП сайта

Тысяча v6.027 AdFree
Категория: ИНТЕРЕСТНОЕ
Дата: 18.11.2018

Бехтерев В.М. - Гипноз. Внушение. Телепатия (5 книг) (1918, 1991, 1994, 2001)
Категория: Книги
Дата: 07.03.2019

Ну, погоди! (выпуск 15) (1986) DVDRip
Категория: Видео
Дата: 06.12.2018

Антон Петряков - FreshLife28. Как начать новую жизнь в понедельник и не бросить во вторник (2019)
Категория: Книги
Дата: 05.03.2019

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

Дженнифер МакМахон - Собрание сочинений (9 книг) (2010-2018)
Категория: Книги
Дата: 26.03.2019

Foxit PhantomPDF Business 9.4.1.16828
Категория: Софт
Дата: 22.01.2019

Алекс Орлов - Испытание огнём (2018) аудиокнига
Категория: Книги
Дата: 01.11.2018

Марина Ефиминюк - Любовь к драконам обязательна (2018)
Категория: Книги
Дата: 08.03.2019

Возвращение в Простоквашино - часть 2 (2018) WEB-DLRip
Категория: Видео
Дата: 17.02.2019

Друзья сайта

Turbbobit.ru