Jape [1] представляет собой настраиваемый графический доказательство помощник , первоначально разработанный Ричард Борнат в Queen Mary Лондонского университета и Бернарда Sufrin университета Оксфорда . Он позволяет пользователю определять логику , решать, как просматривать доказательства, и многое другое. Он работает с вариантами последовательного исчисления и естественной дедукции .
Утверждается [2], что Jape - самая популярная программа для «компьютерного обучения логике», которая включает упражнения по разработке доказательств в математической логике .
Программа доступна для операционных систем Mac , Unix и Windows . Он написан на языке программирования Java и выпущен под лицензией GNU GPL .
Ссылки [ править ]
- ^ Ричард Борнат , « Доказательство и опровержение в формальной логике: введение для программистов ».
- ^ С. Kaliszyk, Ф. Wiedijk, М. Хендрикс и Ф. ван Raamsdonk, « Обучение с использованием логики состояния из самых современных помощников доказательства .» В: Х. Гёверс и П. Куртье (ред.), PATE'07, Международный семинар по доказательству помощников и типов в образовании, 37–50, 2007.
Внешние ссылки [ править ]
- Официальный сайт распространения Jape Online
- Портал Jape Sourceforge
 | Эта статья о программном обеспечении - незавершенная . Вы можете помочь Википедии, расширив ее . |
