Resolventa: Приложение для решения задач логики и теории вычислительных систем

Resolventa - это мощное Android приложение, разработанное для решения задач из области логики и теории вычислительных систем.

Основные возможности

• Решение секвенций в натуральной дедукции: Пока что основной функционал приложения - решение секвенций в рамках натуральной дедукции. Работа над расширением функционала для поддержки резолютивного вывода, работы с машиной Тьюринга и другими возможностями уже ведется.

• Скроллинг превью: При просмотре решений вы можете легко прокручивать изображение вверх, вниз, влево и вправо, чтобы увидеть все детали.

• Поддержка различных ориентаций: Приложение поддерживает как вертикальную, так и горизонтальную ориентацию, позволяя вам выбрать наиболее удобный способ просмотра.

• Поделиться PDF-файлом решения: Если вы хотите поделиться решением с коллегами или просто сохранить его для дальнейшего использования, вы можете легко сделать это, экспортировав решение в PDF-файл и поделившись им прямо из приложения.

Примечания

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

В будущем мы планируем добавить больше функций и возможностей для расширения возможностей приложения. Наслаждайтесь использованием Resolventa и открывайте для себя новые горизонты в области логики и теории вычислительных систем!