- Руководства по пользованию программами
- Программирование
- Операционные системы и утилиты для ПК
- Интернет
- Графика. Дизайн. Проектирование
- Программы и утилиты для цифровых устройств
- Железо ПК
- Информатика
- Сети и коммуникации
- Бухгалтерия
- Анализ данных
- Электронная бухгалтерия
- Машинное обучение. Анализ данных
- Менеджмент в IT
О книге: Книга Программирование: теория типов; ЮРАЙТ, 2022
2409 р.
- Издатель: Юрайт
- ISBN: 9785534110883
- Книги: Компьютеры, интернет, информатика
- ID:13943945
О книге
| Параметр | Значение |
|---|---|
| Год издания | 2022 |
| Назначение | для технических ВУЗов |
| Количество книг | 1000 |
| Количество страниц | 653 |
| Формат | 70*100/16 |
| Вес, в граммах | 801 |
| Автор | Кудрявцева Ирина Андреевна; Швецкий Михаил Владимирович |
| Издательство | Юрайт |
| Тип обложки | мягкая |
| Автор(ы) | Кудрявцева Ирина Андреевна; Швецкий Михаил Владимирович |
| ISBN | 978-5-534-11088-3 |
| Серия | Высшее образование |
| Размеры | 70x100/16 |
| Издатель | ЮРАЙТ |
| Язык издания | Русский |
| Кол-во страниц | 653 |
| Возрастное ограничение | 16+ |
Где купить (1)
Цена от 2409 р. до 2409 р. в 1 магазинах
| Магазин | Цена | Наличие |
|---|---|---|
| Магазин | Последняя известная цена | Обновлено |
|---|---|---|
| Мегамаркет | 3212 р. | 14.11.2024 |
| Яндекс.Маркет | 3061 р. | 23.06.2024 |
| OZON | 2617 р. | 24.06.2024 |
Предложения банков
| Компания | Предложение |
|---|
Описание
Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу "Теоретические основы программирования", содержащих теоретические сведения по элементам теории типов, теории категорий и интуиционистской логике. Особое внимание уделено методам решения основных задач теории типов (TCP, TSP, TIP). Соответствует актуальным требованиям федерального государственного образовательного стандарта высшего образования. Пособие предназначено для преподавателей, аспирантов и студентов факультетов институтов компьютерных наук и информационных технологий.
Смотри также о книге.
Отзывы (0)
Добавить отзыв
Зарегистрируйтесь и получайте бонусы за покупки!
Книги: Программирование, Базы данных - издательство "Юрайт"
Категория 1927 р. - 2890 р.
Книги: Программирование, Базы данных
Категория 1927 р. - 2890 р.
Blockchain For Dummies
2408 р.
Data Mining For Dummies
2810 р.
Access 2013 For Dummies
2007 р.
Data Warehousing For Dummies
2810 р.
Oracle 12c For Dummies
2810 р.
Access 2003 For Dummies
2119 р.
Crystal Reports 10 For Dummies
2601 р.
Crystal Reports 2008 For Dummies
2890 р.
Blockchain For Dummies
2508 р.
Data Lakes For Dummies
2756 р.
Data Science For Dummies
2756 р.
Оконные функции в T-SQL
от 2027 р.