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

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

(версия 1.0)

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

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

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

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

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

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