- Руководства по пользованию программами
- Программирование
- Операционные системы и утилиты для ПК
- Интернет
- Графика. Дизайн. Проектирование
- Программы и утилиты для цифровых устройств
- Железо ПК
- Информатика
- Сети и коммуникации
- Бухгалтерия
- Анализ данных
- Электронная бухгалтерия
- Машинное обучение. Анализ данных
- Менеджмент в IT
О книге: Книга Программирование: теория типов; ЮРАЙТ, 2022
О книге
| Параметр | Значение |
|---|---|
| Год издания | 2022 |
| Назначение | для технических ВУЗов |
| Количество книг | 1000 |
| Количество страниц | 653 |
| Формат | 70*100/16 |
| Вес, в граммах | 801 |
| Автор | Кудрявцева Ирина Андреевна; Швецкий Михаил Владимирович |
| Издательство | Юрайт |
| Тип обложки | мягкая |
| Автор(ы) | Кудрявцева Ирина Андреевна; Швецкий Михаил Владимирович |
| ISBN | 978-5-534-11088-3 |
| Серия | Высшее образование |
| Размеры | 70x100/16 |
| Издатель | ЮРАЙТ |
| Язык издания | Русский |
| Кол-во страниц | 653 |
| Возрастное ограничение | 16+ |
Где купить
Последняя известная цена от 1671 р. до 3212 р. в 4 магазинах
В данный момент у нас нет информации о наличии данного товара в магазинах.
Вы можете поискать его на других площадках:
Вы можете поискать его на других площадках:
| Магазин | Цена | Наличие |
|---|---|---|
| Магазин | Последняя известная цена | Обновлено |
|---|---|---|
| Мегамаркет | 3212 р. | 14.11.2024 |
| Яндекс.Маркет | 3061 р. | 23.06.2024 |
| ЛитРес | 1671 р. | 15.08.2024 |
| OZON | 2617 р. | 24.06.2024 |
Описание
Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу "Теоретические основы программирования", содержащих теоретические сведения по элементам теории типов, теории категорий и интуиционистской логике. Особое внимание уделено методам решения основных задач теории типов (TCP, TSP, TIP). Соответствует актуальным требованиям федерального государственного образовательного стандарта высшего образования. Пособие предназначено для преподавателей, аспирантов и студентов факультетов институтов компьютерных наук и информационных технологий.
Смотри также о книге.
Отзывы (0)
Добавить отзыв
Зарегистрируйтесь и получайте бонусы за покупки!
Книги: Программирование, Базы данных - издательство "Юрайт"
Категория 1336 р. - 2005 р.
Книги: Программирование, Базы данных
Категория 1336 р. - 2005 р.
Проектирование информационных систем
от 1843 р.
Данные: хранение и обработка
1398 р.
ИнновацииSQL SERVER 2019
от 1422 р.
Основы робототехники. Учебное пособие
от 1439 р.
MySQL. Практические рецепты
от 1509 р.