Горячая линия
06 июля 2022 активны на платформе
38 371 -53
Преподаватель
322 194 -216
Студента
99+
Нет новых уведомлений
Высокий уровень вовлечения представителей целевой аудитории является четким
12 декабря 2020
Высокий уровень вовлечения представителей целевой аудитории является четким
12 декабря 2020
Высокий уровень вовлечения представителей целевой аудитории является четким
12 декабря 2020

Корзина

Позиций
Стоимость 0
Перейти в корзину
Войдите или зарегистрируйтесь, чтобы получить все преимущества платформы Юрайт!

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

  • Скопировать в буфер библиографическое описание
    Кудрявцева, И. А.  Программирование: теория типов : учебное пособие для вузов / И. А. Кудрявцева, М. В. Швецкий. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2022. — 652 с. — (Высшее образование). — ISBN 978-5-534-11088-3. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/444496 (дата обращения: 06.07.2022).
  • Добавить в избранное
2-е изд., пер. и доп. Учебное пособие для вузов
Обложка книги ПРОГРАММИРОВАНИЕ: ТЕОРИЯ ТИПОВ Кудрявцева И. А., Швецкий М. В. Учебное пособие Ознакомиться
2022
Страниц 652
Обложка Мягкая
Гриф Гриф УМО ВО
ISBN 978-5-534-11088-3
Библиографическое описание
Кудрявцева, И. А.  Программирование: теория типов : учебное пособие для вузов / И. А. Кудрявцева, М. В. Швецкий. — 2-е изд., перераб. и доп. — Москва : Издательство Юрайт, 2022. — 652 с. — (Высшее образование). — ISBN 978-5-534-11088-3. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/444496 (дата обращения: 06.07.2022).
Показать все

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