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