ЮрИнфоР
Логотип ЮрИнфоР
предлагает

Rambler's Top100
Rambler's Top100

"ЮрИнфоР®" >>> Библиотека ЮрИнфоР® >>>

Система изучения категориальной абстрактной машины

Новинка
Обложка. Крупно.
2010.
 
Цена 1
1800.00
Цена 2
2490.00
Цены действительны до
31.05.2015
Цена 1 с учетом НДС
Цена 2 с учетом почтовых расходов по РФ и НДС.


Аннотация


Как приобрести


См. также

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


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

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

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

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


Номер государственной регистрации программы "Система изучения категориальной абстрактной машины": 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-е

Дополнительные учебно-методические материалы и компьютерные обучающие средства (практикумы, активные книги)

Система Orphus
Рекомендовать

Ru | En | Ch

<-- -->
Обложки книг
Книгоиздание
Новинки
Подписные книги
Рецензии
Предложения
Наши координаты
Книготорговля
Книги по годам
Скидки
Цены (.html)
Где и как купить
Подписка на новости
Новинка
д.т.н., проф. Вольфенгаген В.Э., Рословцев В.В. Система изучения категориаль- ной абстрактной машины. Лицензия для личного (домашнего) использования
Хит продаж
Вольфенгаген В.Э. Комбинаторная логика в программирова- нии: Вычисления с объектами в примерах и задачах.
Новинка
Аппликативные вычислительны- е системы: Труды 2-й международной- конференции по аппликативны- м вычислительным системам (АВС'2010), Москва, 29-31 октября 2010 г. / Под ред. Л.Ю.Исмаиловой


Курсы : : Семинары по праву : : Книги : : Программы : : Юридическое сопровождение : : ИТ-услуги : : Конференции :

Выделите орфографическую ошибку мышью и нажмите Ctrl+Enter

Copyright (C) Институт "ЮрИнфоР-МГУ", 1994-2017