cashbery.ucoz.org Понедельник, 07.07.2025, 10:27
Приветствую Вас Гость | RSS
Меню сайта

Категории раздела
Софт [2519]
Игры [16]
Видео [855]
Книги-Журналы [10736]
Музыка [22783]
ИНТЕРЕСТНОЕ [136]

Статистика
Seo анализ сайта
Онлайн всего: 4
Гостей: 4
Пользователей: 0
Кто сегодня был?


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

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

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

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

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

Поиск

ИНТЕРЕСТНОЕ
BELOFF 2018.10 Lite PC / Русский | ISO
Категория: Софт
Дата: 21.10.2018

[02.11.2018]
[Музыка]
Cosinus - Science Fiction Addiction (2018)

[04.11.2018]
[Музыка]
Maissouille - Hardcore Dream (2018)

[09.11.2018]
[Музыка]
Armin van Buuren & Solarstone - A State Of Trance 889 (2018-11-08)

[31.10.2018]
[Книги-Журналы]
Большой роман. 40 книг

[02.11.2018]
[Музыка]
Dj Regard - Pink House Girl (2018)

[04.11.2018]
[Музыка]
Gods Of War (2018)

[28.10.2018]
[Музыка]
Louden Swain - Splitting The Seams (2018)

[04.11.2018]
[Музыка]
Backbone - Crisis (2018)

[29.10.2018]
[Музыка]
Paul Oakenfold - Planet Perfecto 417 (2018-10-29)


Друзья сайта

Turbbobit.ru
Copyright MyCorp © 2025uCoz

top