• Dominion, the January 2010 template release from RocketTheme.
  • 6 stunning preset styles, in a mix of light and dark, each with 3 visual intensity levels.
  • RTL support from module structure, to the Fusion menu to the template elements.
Главная » Статьи » Библиотека » Книги

Программирование. Теория типов

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

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

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

Скачать с katfile.com
Скачать с file-upload.com
Скачать с turb.cc



Категория: Книги | Добавил: pmojka (05.03.2022)
Просмотров: 116 | Теги: 2022, типов, программирование, теория | Рейтинг: 0.0/0


Похожие новости:

Всего комментариев: 0
Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]

Меню сайта

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

Форма входа

Наш опрос

Как вы попали на сайт?

Hosting

Это интересно

Статистика


Онлайн всего: 3
Гостей: 3
Пользователей: 0

Новости

Tak.ru

LiveInternet

Яндекс.Метрика Яндекс цитирования

Рекламный блок

Рекламный блок

Рекламный блок