![Михаил Владимирович Швецкий - Программирование: комбинаторная логика 2-е изд., пер. и доп. Учебное пособие для вузов](/media/books/po/200x298/poster_200x298.png)
Михаил Владимирович Швецкий - Программирование: комбинаторная логика 2-е изд., пер. и доп. Учебное пособие для вузов
Жанры: | Жанр к этой книге еще не добавлен |
---|
Случайная цитата из книги
К этой книге еще не добавлены цитаты Добавить цитатуРекомендуемый контент
Описание книги «Программирование: комбинаторная логика 2-е изд., пер. и доп. Учебное пособие для вузов»
Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Программирование» и содержит теоретические сведения по комбинаторной логике, элементам теории типов, элементам теории категорий, а также задачи для самостоятельного решения. В пособии размещены программы на языке Haskell: интерпретатор ?-функций, представленных ?-термами, и программа для вывода типовой схемы ?-терма в STT. Издание предназначено для студентов высших учебных заведений, обучающихся по ИТ-направлениям, аспирантов и преподавателей факультетов и институтов компьютерных наук и информационных технологий.
С книгой «Программирование: комбинаторная логика 2-е изд., пер. и доп. Учебное пособие для вузов» читают
Рецензии на книгу «Программирование: комбинаторная логика 2-е изд., пер. и доп. Учебное пособие для вузов»
Рецензий еще нет. Вы можете стать первым, кто напишет рецензию на книгу «Программирование: комбинаторная логика 2-е изд., пер. и доп. Учебное пособие для вузов»!
Пожалуйста, зарегистрируйтесь или войдите, чтобы оставить рецензию. Регистрация займет не более 15 секунд.
Популярные списки книг
Эти книги могут быть интересны:
Отзывы на книгу «Программирование: комбинаторная логика 2-е изд., пер. и доп. Учебное пособие для вузов»
Отзывов еще нет. Станьте первым, кто напишет отзыв на книгу «Программирование: комбинаторная логика 2-е изд., пер. и доп. Учебное пособие для вузов»!
Пожалуйста, зарегистрируйтесь или войдите, чтобы написать отзыв. Регистрация займет не более 15 секунд.