Михаил Владимирович Швецкий — Программирование: комбинаторная логика 2-е изд., пер. и доп. Учебное пособие для вузов, краткое содержание
Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Программирование» и содержит теоретические сведения по комбинаторной логике, элементам теории типов, элементам теории категорий, а также задачи для самостоятельного решения. В пособии размещены программы на языке Haskell: интерпретатор ?-функций, представленных ?-термами, и программа для вывода типовой схемы ?-терма в STT. Издание предназначено для студентов высших учебных заведений, обучающихся по ИТ-направлениям, аспирантов и преподавателей факультетов и институтов компьютерных наук и информационных технологий.
Чтобы оставить свою оценку, войдите или зарегистрируйтесь
📖 О книге «Программирование: комбинаторная логика 2-е изд., пер. и доп. Учебное пособие для вузов»
Михаил Владимирович Швецкий написал произведение «Программирование: комбинаторная логика 2-е изд., пер. и доп. Учебное пособие для вузов» , входящее в раздел «Учебная литература» на Книгизм. Полный текст доступен для онлайн-чтения и скачивания в fb2 без регистрации.
🏷️ Жанры книги
Произведение «Программирование: комбинаторная логика 2-е изд., пер. и доп. Учебное пособие для вузов» относится к следующим жанровым направлениям каталога Книгизм:
📚 Серия книги
«Программирование: комбинаторная логика 2-е изд., пер. и доп. Учебное пособие для вузов» входит в серию «Высшее образование» — цикл из 1677 книг. Рекомендуется читать серию по порядку: события и герои связаны между книгами.
👥 Похожие авторы в жанре
Если вам понравилась эта книга, обратите внимание на других популярных авторов в жанре «Учебная литература»:
❓ Часто задаваемые вопросы
Можно ли скачать книгу «Программирование: комбинаторная логика 2-е изд., пер. и доп. Учебное пособие для вузов» бесплатно?
Да, книга доступна для скачивания в формате fb2 без регистрации и без оплаты на сайте Книгизм. Файл сохраняет структуру глав, иллюстрации и метаданные — подходит для FBReader, Cool Reader, AlReader и других читалок на смартфоне или электронной книге.
Можно ли читать книгу «Программирование: комбинаторная логика 2-е изд., пер. и доп. Учебное пособие для вузов» онлайн без скачивания?
Да, полная версия произведения автора Михаил Владимирович Швецкий доступна для онлайн-чтения прямо в браузере. Откройте страницу книги, нажмите кнопку «Читать» — текст загрузится с пагинацией, настройкой шрифта, темой оформления и закладкой текущей позиции.
К какому жанру относится «Программирование: комбинаторная логика 2-е изд., пер. и доп. Учебное пособие для вузов»?
Книга относится к жанру «Учебная литература».
📲 Как читать книгу на Книгизм
Книга «Программирование: комбинаторная логика 2-е изд., пер. и доп. Учебное пособие для вузов» автора Михаил Владимирович Швецкий доступна на Книгизм бесплатно. Вы можете скачать файл fb2 для дальнейшего чтения в любой читалке (FBReader, Cool Reader, AlReader и других) на смартфоне, планшете или электронной книге. Формат fb2 сохраняет структуру глав, иллюстрации, оглавление и метаданные. Альтернатива — онлайн-чтение полной версии в браузере сразу без скачивания и без регистрации.