UniversityBooks.ru
 
Поиск:   
 Расширенный поиск | Как искать
Корзина   Выслать пароль   Войти  
Сегодня в продаже книги
Помощь
Главная / Каталог книг / Прикладные науки. Техника / Информатика. Вычислительная техника

Категориальная абстрактная машина. Конспект лекций: введение в вычисления. - 2 - е изд.

Категориальная абстрактная машина.  Конспект лекций:  введение в вычисления.   -  2 - е изд.
Увеличить обложку

     
Автор: Вольфенгаген В.Э.
Издательство: ЮрИнфоР
Год издания: 2002
ISBN: 5-89158-102-7
Количество страниц: 96
     
411,4 руб.
Количество: 
Добавить в корзину

Работа содержит изложение базовых моделей вычислений, применяемых в компьютерных науках. Изложены основы лямбда-исчисления и комбинаторные исчисления. Основное внимание уделено подробному рассмотрению техники вычисления значения конструкций языков программирования, включая компилирование кода, его оптимизацию и исполнение на примере категориальной абстрактной машины. Изложение построено на примерах возрастающей сложности.

Книга может быть рекомендована студентам и аспирантам, изучающим основы компьютерных наук, теорию и языки программирования, информационные технологии, информатику и дискретную математику.





Информатика. Вычислительная техника :
смотреть также...




  ©2005-2021 UniversityBooks.ru.
  Создание и поддержка сайта: студия Ocean Lab.