![Михаил Владимирович Швецкий - Программирование: комбинаторная логика 2-е изд., пер. и доп. Учебное пособие для СПО](/media/books/po/200x298/poster_200x298.png)
Михаил Владимирович Швецкий - Программирование: комбинаторная логика 2-е изд., пер. и доп. Учебное пособие для СПО
Жанры: | Жанр к этой книге еще не добавлен |
---|
Случайная цитата из книги
К этой книге еще не добавлены цитаты Добавить цитатуРекомендуемый контент
Описание книги «Программирование: комбинаторная логика 2-е изд., пер. и доп. Учебное пособие для СПО»
Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Программирование» и содержит теоретические сведения по комбинаторной логике, элементам теории типов, элементам теории категорий, а также задачи для самостоятельного решения. В пособии размещены программы на языке Haskell: интерпретатор ?-функций, представленных ?-термами, и программа для вывода типовой схемы ?-терма в STT. Издание предназначено для студентов образовательных учреждений среднего профессионального образования, обучающихся по ИТ-направлениям, аспирантов и преподавателей.
С книгой «Программирование: комбинаторная логика 2-е изд., пер. и доп. Учебное пособие для СПО» читают
Рецензии на книгу «Программирование: комбинаторная логика 2-е изд., пер. и доп. Учебное пособие для СПО»
Рецензий еще нет. Вы можете стать первым, кто напишет рецензию на книгу «Программирование: комбинаторная логика 2-е изд., пер. и доп. Учебное пособие для СПО»!
Пожалуйста, зарегистрируйтесь или войдите, чтобы оставить рецензию. Регистрация займет не более 15 секунд.
Популярные списки книг
Эти книги могут быть интересны:
- Боевая авиация Гитлера. Первая цветная энциклопедия Люфтваффе
- Adobe Acrobat 6 PDF For Dummies
- Волчье дело
- Gods and Heroes
- Как леопард стал пятнистым
- A Bride for Jericho Bravo
- Администрирование информационных ресурсов. (СПО). Учебное пособие.
- Санкт-Петербург. Календарь путешествий
- Путешествие в пространство событий
- Ellie Pride
Отзывы на книгу «Программирование: комбинаторная логика 2-е изд., пер. и доп. Учебное пособие для СПО»
Отзывов еще нет. Станьте первым, кто напишет отзыв на книгу «Программирование: комбинаторная логика 2-е изд., пер. и доп. Учебное пособие для СПО»!
Пожалуйста, зарегистрируйтесь или войдите, чтобы написать отзыв. Регистрация займет не более 15 секунд.