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

Система изучения категориальной абстрактной машины. Лицензия для личного (домашнего) использования. Версия 1. 0

Система изучения категориальной абстрактной машины.  Лицензия для личного  (домашнего)  использования.  Версия 1. 0
Увеличить обложку

     
Автор: д.т.н., проф. Вольфенгаген В.Э., Рословцев В.В.
Издательство: ЮрИнфоР
Год издания: 2010
ISBN: 200.000.000.124
     
3560,7 руб.
Количество: 
Добавить в корзину

Лицензия для личного (домашнего) использования.
Версия 1.0.

Общее описание

Данная система изучения интегрирует в единую информационную систему электронный вариант учебного пособия (автор д.т.н., проф. В.Э. Вольфенгаген) по категориальной абстрактной машине (КАМ) и вычислитель, основанный на КАМ и оснащенный визуализацией шагов вычислений. Система рассчитана как на самостоятельное изучение предмета учащимися, так и на проведение аудиторных занятий по тематике категориальной абстрактной машины:

  • компиляция выражений аппликативного языка и кодогенерация;
  • вычисление на КАМ простейших арифметических выражений;
  • вычисление на КАМ арифметических выражений с абстракциями;
  • вычисление на КАМ рекурсивных функций;
  • вычислений на КАМ функций, основанных на применении списков.

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

Номер государственной регистрации программы "Система изучения категориальной абстрактной машины": 0321001556.





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




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