![]() ![]() | "ЮрИнфоР®" >>> Библиотека ЮрИнфоР® >>> Система изучения категориальной абстрактной машины
д.т.н., проф. Вольфенгаген В.Э., Рословцев В.В. . Общее описаниеДанная система изучения интегрирует в единую информационную систему электронный вариант учебного пособия (автор д.т.н., проф. В.Э. Вольфенгаген) по категориальной абстрактной машине (КАМ) и вычислитель, основанный на КАМ и оснащенный визуализацией шагов вычислений. Система рассчитана как на самостоятельное изучение предмета учащимися, так и на проведение аудиторных занятий по тематике категориальной абстрактной машины:
Система изучения может применяться в учебных заведениях в рамках курсов по аппликативным вычислительным системам, а также при изучении и преподавании элементарных основ функционального программирования. Система с успехом используется рядом ведущих вузов страны. Номер государственной регистрации программы "Система изучения категориальной абстрактной машины": 0321001556. Требования к установкеДля установки и нормальной работы программы требуются:
Создатели© ЮрИнфоР, 2010. См. такжеВольфенгаген В.Э. Категориальная абстрактная машина. Конспект лекций: введение в вычисления. Изд. 2-е | ![]()
![]()
![]()
![]()
![]() ![]()
![]() | |||||||||||||||||||||||||