Математика - GNU Aris

0
Ваша оценка: Нет

Приложение для выполнения логических доказательств.

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

Сайт разработчика: https://www.gnu.org/software/aris/


Разместил: vikos 7 Сентябрь 2015 в 18:31