550389 170336 55577 544 1283 17499 650664 1375

107115 28031 8969 9780 733 359

Литвек - электронная библиотека >> Михаил Владимирович Швецкий и др. >> Учебники и самоучители по компьютеру и др. >> Программирование. Теория типов. Учебное пособие для вузов

Книга - Программирование. Теория типов. Учебное пособие для вузов. Ирина Андреевна Кудрявцева - прочитать в Литвек

ДРУГИЕ КНИГИ:

Обложка книги - Введение в Лисп: Учебное пособие - Марк Леонидович Герасин

Введение в Лисп: Учебное пособие

Автор: Марк Леонидович Герасин

Жанр: Литература ХX века (эпоха Социальных революций) и др.

Обложка книги - Теория квантовых состояний (СИ) - Роман Фомин

Теория квантовых состояний (СИ)

Автор: Роман Фомин

Жанр: Современная проза и др.

Обложка книги - Формула менеджмента. Практическое пособие начинающего руководителя - Тимур Дергунов

Формула менеджмента. Практическое пособие начинающего руководителя

Автор: Тимур Дергунов

Жанр: Управление, подбор персонала

Программирование. Теория типов. Учебное пособие для вузов

[2-е издание, переработанное и дополненное]

Жанр: Учебники и самоучители по компьютеру, Учебники и пособия ВУЗов, Программирование: прочее

Серия:

Год издания:

Язык книги: русский

Страниц: 652

Издано в серии: Высшее образование

Издательство: Юрайт

Город печати: Москва

ISBN: 9785534110883

Книга закончена

   просмотрело человек за:

день: 1  месяц: 12   год: 68   всего: 68

QR-код
X

QR-код ссылки на скачивание книги

QR-код
Размер: 158.8 Мбайт
 Скачать книгу
Читать онлайн

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


  : 1 : 0 : 0 : 0 : 0 : 0 : 0  

Оставить комментарий:

ЛитВек: бестселлеры месяца
Бестселлер - Олег Вениаминович Дорман - Подстрочник: Жизнь Лилианны Лунгиной, рассказанная ею в фильме Олега Дормана - читать в ЛитвекБестселлер - Джон Перкинс - Исповедь экономического убийцы - читать в ЛитвекБестселлер - Людмила Евгеньевна Улицкая - Казус Кукоцкого - читать в ЛитвекБестселлер - Наринэ Юрьевна Абгарян - Манюня - читать в ЛитвекБестселлер - Мария Парр - Вафельное сердце - читать в ЛитвекБестселлер - Юрий Осипович Домбровский - Хранитель древностей - читать в ЛитвекБестселлер - Элияху Моше Голдратт - Цель-2. Дело не в везении - читать в ЛитвекБестселлер - Дэниел Гоулман - Эмоциональный интеллект - читать в Литвек