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

Rambler's Top100
Rambler's Top100

ЮрИнфоР >>> Программные продукты >>>

"Система изучения комбинаторной логики и ламбда-исчисления"

(версия 1.0)


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

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

Система визуализирует процессы трансформации термов ламбда-исчисления и комбинаторной логики. Используя расширяемую библиотеку комбинаторов, следуя аппликативному (функциональному) подходу, система может служить средой прототипирования программ и языков программирования. Система визуализирует процесс редукции к нормальной форме или заголовочной нормальной форме, относительно бета-редукции или бета- и эта-редукции. Система визуализирует трансформацию термов ламбда-исчисления в термы комбинаторной логики, относительно одного из выбранных комбинаторных базисов. Система позволяет задавать и расширять библиотеку доступных комбинаторов.


Требования к установке

Для установки и нормальной работы программы требуются:

  • компьютер с Intel-совместимым процессором (Intel Pentium 3 и выше), частота не менее 500 МГц;
  • оперативная память 512 МБ или более; непосредственно программе требуется от 30 МБ и более в зависимости от масштабов применения программы;
  • свободное пространство на диске не менее 40 МБ;
  • операционная система Microsoft Windows XP(SP2)/Vista/7;
  • CD-ROM;
  • мышь;
  • монитор с разрешением VGA или лучшим.


Создатели

© ЮрИнфоР, 2010.
Научный руководитель: д.т.н., проф. Вольфенгаген В.Э.
Постановка задачи: к.т.н. Исмаилова Л.Ю.
Разработчик: Назаров В.Н.


См. также

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

Система Orphus
О нас
О нас
Деловые игры
Обучающие игры и тесты
Инструменты создания тестов
Тесты на заказ
Отдел сбыта
Прайс-лист
Как купить ПО
Cчет на оплату ПО
Ваше мнение
Подписка на новости
<-- -->
CD игр
Хит продаж
Вольфенгаген В.Э. Комбинаторная логика в программирова- нии: Вычисления с объектами в примерах и задачах.


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

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

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