ЮрИнфоР

предлагает


	Семинары
	Компьютерные курсы Семинары по праву Электронная библиотека Видеокурсы
	Книги
	Темы, серии и годы Наши цены (.html) Заказ, покупка, доставка
	Программы
	Наши продукты Деловые игры Обучающие тесты Инструменты создания Поддержка Регистрация
	Услуги юристов
	Законодательный консалтинг Юридические консультации Ведение переговоров Составление запросов On-line консультации
	ИТ-услуги
	Разработка ПО Создание Web-сайтов Консультирование по использованию ПО
	Конференции
	Право ИТ технологии
	Поиск

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

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

2010.

Цена 1 1800.00	Цена 2 2490.00
Цены действительны до 31.03.2021
Цена 1 с учетом НДС Цена 2 с учетом почтовых расходов по РФ и НДС.

Аннотация

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

См. также

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

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

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

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

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

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