ЮрИнфоР >>> Программные продукты >>> Цены >>>
"Система изучения комбинаторной логики и ламбда-исчисления"
(версия 1.0)
Общее описание
Система предназначена для изучения разделов теории вычислений и функционального программирования. Система может применятся студентами и преподавателями, как учебное пособие для соответствующих курсов.
Система визуализирует процессы трансформации термов ламбда-исчисления и комбинаторной логики. Используя расширяемую библиотеку комбинаторов, следуя аппликативному (функциональному) подходу, система может служить средой прототипирования программ и языков программирования. Система визуализирует процесс редукции к нормальной форме или заголовочной нормальной форме, относительно бета-редукции или бета- и эта-редукции. Система визуализирует трансформацию термов ламбда-исчисления в термы комбинаторной логики, относительно одного из выбранных комбинаторных базисов. Система позволяет задавать и расширять библиотеку доступных комбинаторов.
Требования к установке
Для установки и нормальной работы программы требуются:
- компьютер с Intel-совместимым процессором (Intel Pentium 3 и выше), частота не менее 500 МГц;
- оперативная память 512 МБ или более; непосредственно программе требуется от 30 МБ и более в зависимости от масштабов применения программы;
- свободное пространство на диске не менее 40 МБ;
- операционная система Microsoft Windows XP(SP2)/Vista/7;
- CD-ROM;
- мышь;
- монитор с разрешением VGA или лучшим.
Создатели
© ЮрИнфоР, 2010.
Научный руководитель: д.т.н., проф. Вольфенгаген В.Э.
Постановка задачи: к.т.н. Исмаилова Л.Ю.
Разработчик: Назаров В.Н.
