- Руководства по пользованию программами
- Программирование
- Операционные системы и утилиты для ПК
- Интернет
- Графика. Дизайн. Проектирование
- Программы и утилиты для цифровых устройств
- Железо ПК
- Информатика
- Сети и коммуникации
- Бухгалтерия
- Анализ данных
- Электронная бухгалтерия
- Машинное обучение. Анализ данных
- Менеджмент в IT
Программирование: комбинаторная логика 2-е изд., пер. и доп. Учебное пособие для СПО; ЮРАЙТ, 2022
94 р.
- Издатель: Юрайт
- ISBN: 9785534151282
EAN: 9785534151282
- Книги: Учебная литература
- ID:8299565
Сравнить цены (1)
Цена от 94 р. до 94 р. в 1 магазинах
Магазин | Цена | Наличие |
---|---|---|
Описание
Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Программирование» и содержит теоретические сведения по комбинаторной логике, элементам теории типов, элементам теории категорий, а также задачи для самостоятельного решения. В пособии размещены программы на языке Haskell: интерпретатор ?-функций, представленных ?-термами, и программа для вывода типовой схемы ?-терма в STT. Издание предназначено для студентов образовательных учреждений среднего профессионального образования, обучающихся по ИТ-направлениям, аспирантов и преподавателей.
Смотри также о книге.
О книге
Параметр | Значение |
---|---|
Автор(ы) | Кудрявцева Ирина Андреевна, Швецкий Михаил Владимирович |
Издатель | ЮРАЙТ |
Год издания | 2022 |
Серия | Профессиональное образование |
Вес, в граммах | 755 |
Издательство | Юрайт |
Назначение | для технических ВУЗов |
Тип обложки | твердая |
Количество страниц | 525 |
Формат | 70*100/16 |
Автор | Кудрявцева Ирина Андреевна; Швецкий Михаил Владимирович |
Количество книг | 1000 |
ISBN | 978-5-534-15128-2 |
Размеры | 70x100/16 |
Язык издания | Русский |
Кол-во страниц | 525 |
Отзывы (0)
Добавить отзыв
Книги: Базы данных Юрайт
Категория 76 р. - 113 р.
Книги: Базы данных
Категория 76 р. - 113 р.
Книги: Базы данных: другие издатели
- BHV
- Bhv-cпб
- Ingram
- John Wiley & Sons Limited
- Альпина Диджитал
- Астрель
- Бином
- БХВ
- БХВ-Петербург
- Вышэйшая школа
- Диалектика
- Директмедиа Паблишинг
- ДМК Пресс
- ДМК Пресс, ДМК Пресс
- ДМК-Пресс
- Издательская фирма "Физико-математическая литература"
- ИНФРА-М
- Лань
- Литрес
- Литрес Паблишинг
- Лори
- МГТУ им. Н. Э. Баумана (национальный исследовательский университет)
- Наука и Техника
- НИУ МГСУ
- НИЦ ИНФРА-М
- Новосибирский государственный технический университет
- ПИТЕР
- Прометей
- Русская редакция
- Символ-Плюс
- СПбГУ
- Флинта
- Форум
- Южный Федеральный Университет
- Юрайт