везде Расширенный поиск
книги Компьютеры и Интернет Программирование

Кудрявцева И. А., Швецкий М. В.

ПРОГРАММИРОВАНИЕ: ТЕОРИЯ ТИПОВ 2-е изд., пер. и доп. Учебное пособие для вузов

Код 5313712

  • ISBN: 9785534110883
  • 652 страницы
  • декабрь 2021
  • Юрайт
  • 801 г
Бумажная книга

Наличие на складе

Склад в Москве

Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 24.09.2024; планируемая отправка: 25.09.2024

Склад в С.-Петербурге

Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 27.09.2024; планируемая отправка: 28.09.2024

Аннотация к книге "ПРОГРАММИРОВАНИЕ: ТЕОРИЯ ТИПОВ 2-е изд., пер. и доп. Учебное пособие для вузов"

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

Оставить замечание о найденной опечатке Версия для печати

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

Оцените книгу:

Издательство: Юрайт
Дата выхода: декабрь 2021
ISBN: 9785534110883
Объём: 652 страниц
Масса: 801 г

Вместе с этой книгой покупают

Компромисс между жизнью и смертью. Сергей Довлатов в Таллине и другие встречи
Компромисс между жизнью и смертью. Сергей... бумажная книга
Елена Скульская
Нет в продаже
Идеальный программист. Как стать профессионалом разработки ПО
Идеальный программист. Как стать профессионалом... бумажная книга
Роберт С. Мартин
12.36 USD
В корзину
Тренируй свой мозг. Тренажер для развития способностей
Тренируй свой мозг. Тренажер для развития... бумажная книга
Андрей Владимирович...
Нет в продаже
Скорость доверия. То, что меняет все
Скорость доверия. То, что меняет все бумажная книга
Стивен Кови
11.26 USD
В корзину
МСФО: вопросы применения. Практическое руководство в двух частях
МСФО: вопросы применения. Практическое... бумажная книга
Коллектив PwC
Нет в продаже
Юные годы медбрата Паровозова
Юные годы медбрата Паровозова бумажная книга
Алексей Моторов
Нет в продаже

Просмотренные товары

Как жить, когда "все на тебе". Делим груз ответственности между мужчиной и женщиной
Как жить, когда "все на тебе". Делим груз... бумажная книга
14.13 USD
В корзину
Последний союзник. Сербия и Россия до и после СВО (16+)
Последний союзник. Сербия и Россия до и после... бумажная книга
10.12 USD
В корзину
Легенда о Чжаояо. Книга 2
Легенда о Чжаояо. Книга 2 бумажная книга
10.46 USD
В корзину