КаталогКниг.РФ Книга Программирование: теория типов (Кудрявцева Ирина Андреевна; Швецкий Михаил Владимирович) ; ЮРАЙТ, 2022
от 1591 р. до 3061 р.
Автор(ы): Кудрявцева Ирина Андреевна; Швецкий Михаил Владимирович;
Издатель: Юрайт
ISBN: 9785534110883
ID: SKU1348653
Добавлено: 03.12.2023
Сравнить цены
Цена от 1591 р. до 3061 р. в 3 магазинах
| Магазин | Цена | Наличие |
|---|---|---|
| Мегамаркет 5/5 | 3061 р. 3401 р. | |
| Яндекс.Маркет 5/5 | 3061 р. 3401 р. | |
| ЛитРес 5/5 | 1591 р. 1989 р. электронная книга | скачать фрагмент | |
| Лабиринт 5/5 | ||
| МАЙШОП 5/5 | Один из первых книжных интернет-магазинов, работающий с 2002 года | |
Описание
Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу "Теоретические основы программирования", содержащих теоретические сведения по элементам теории типов, теории категорий и интуиционистской логике. Особое внимание уделено методам решения основных задач теории типов (TCP, TSP, TIP). Соответствует актуальным требованиям федерального государственного образовательного стандарта высшего образования. Пособие предназначено для преподавателей, аспирантов и студентов факультетов институтов компьютерных наук и информационных технологий.
Смотри также Характеристики.
Яндекс.Маркет
О книге
| Год издания | 2022 |
| Назначение | для технических ВУЗов |
| Количество книг | 1000 |
| Количество страниц | 653 |
| Формат | 70*100/16 |
| Вес, в граммах | 801 |
| Автор | Кудрявцева Ирина Андреевна; Швецкий Михаил Владимирович |
| Издательство | Юрайт |
| Тип обложки | мягкая |
| Автор(ы) | Кудрявцева Ирина Андреевна, Швецкий Михаил Владимирович |
| ISBN | 978-5-534-11088-3 |
| Размеры | 70x100/16 |
| Издатель | ЮРАЙТ |
| Язык издания | Русский |
| Кол-во страниц | 653 |
| Серия | Высшее образование |
Книги с похожим названием
Книги где авторы: Кудрявцева Ирина Андреевна; Швецкий Михаил Владимирович
Базы данных - издательство "Юрайт"
Категория 1272 р. - 1909 р.
Компьютеры, интернет, информатика - издательство "Юрайт" »
Базы данных
Категория 1272 р. - 1909 р.
