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