ЮрИнфоР >>> Библиотека ЮрИнфоР >>> Среды для изучения аппликативного компьютинга >>>
Система изучения категориальной абстрактной машины
|
|
||||||||
Общее описание
Данная система изучения интегрирует в единую информационную систему электронный вариант учебного пособия (автор д.т.н., проф. В.Э. Вольфенгаген) по категориальной абстрактной машине (КАМ) и вычислитель, основанный на КАМ и оснащенный визуализацией шагов вычислений. Система рассчитана как на самостоятельное изучение предмета учащимися, так и на проведение аудиторных занятий по тематике категориальной абстрактной машины:
- компиляция выражений аппликативного языка и кодогенерация;
- вычисление на КАМ простейших арифметических выражений;
- вычисление на КАМ арифметических выражений с абстракциями;
- вычисление на КАМ рекурсивных функций;
- вычислений на КАМ функций, основанных на применении списков.
Система изучения может применяться в учебных заведениях в рамках курсов по аппликативным вычислительным системам, а также при изучении и преподавании элементарных основ функционального программирования. Система с успехом используется рядом ведущих вузов страны.
Номер государственной регистрации программы "Система изучения категориальной абстрактной машины": 0321001556.
Требования к установке
Для установки и нормальной работы программы требуются:
- компьютер с Intel-совместимым процессором, частота не менее 1500 МГц;
- оперативная память 512 МБ или более;
- свободное пространство на диске не менее 10 МБ;
- операционная система Microsoft Windows XP/Vista/7;
- Microsoft dotNET Framework версии 2.0 или выше;
- Adobe Reader или Adobe Acrobat 5-ой версии или более поздней;
- CD-ROM;
- мышь;
- монитор с разрешением VGA или лучшим.
Создатели
© ЮрИнфоР, 2010.
Авторы: д.т.н., проф. Вольфенгаген В.Э., Рословцев В.В.
См. также
Вольфенгаген В.Э. Категориальная абстрактная машина. Конспект лекций: введение в вычисления. Изд. 2-е
