ёр»нфо– >>> ѕрограммные продукты >>>

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

(верси€ 1.0)


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

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

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


“ребовани€ к установке

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

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


—оздатели

© ёр»нфо–, 2010.
Ќаучный руководитель: д.т.н., проф. ¬ольфенгаген ¬.Ё.
ѕостановка задачи: к.т.н. »смаилова Ћ.ё.
–азработчик: Ќазаров ¬.Ќ.


—м. также

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