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

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

(версия 1.0)

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

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

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

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

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

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

Создатели

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

См. также

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