Играть с этим приложением и построить некоторые доказательства в естественном стиле вычета. Нажатие на формулу автоматически расширяет ее возможными правилами. Предположения печатаются синим цветом. Выбранный один из них генерирует новое подтри. Прикрепление двух деревьев делается путем перетаскивания корня первого к листу второго. Если есть только одна возможность, это вложение выполняется автоматически. Доказательство делается, когда дерево окружено красным прямоугольником.
Веселитесь! Логика это весело
история версии
- Версия 1.5 размещено на 2015-05-07
Лучшее отображение
Подробная информация о программе
- Категории: Образования > Преподавание и учебные инструменты
- Издателя: Laurent Théry
- Лицензии: Бесплатный
- Цена: N/A
- Версия: 1.5
- Платформы: android