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