Quod Erat Demonstrandum

Quod Erat Demonstrandum — это не просто логическая игра, это путешествие разума к фундаментальным истинам. Разработанная компанией Ad Dominum Games для PC, она предлагает игрокам стать новорожденным интеллектом, которому предстоит доказывать теоремы, используя лишь силу логики и дедукции.

Вас ждет более 120 уникальных уровней, каждый из которых — тщательно спроектированная задача, требующая построения цепочки умозаключений. Игра охватывает как базовую пропозициональную логику, так и более сложные области предикатного исчисления. Забудьте о спешке — здесь нет таймера, только вы и бесконечный поиск истины.

Механика Quod Erat Demonstrandum строится на применении 23 логических правил — от классического Modus Ponens до законов Де Моргана и правил работы с кванторами. Интуитивно понятный интерфейс позволяет перетаскивать утверждения в правила, визуально оценивать результат и шаг за шагом строить свою доказательную базу. Учитесь, экспериментируйте и оттачивайте свое мастерство на 18 обучающих уровнях, прежде чем погрузиться в сложные многоступенчатые доказательства.

Но Quod Erat Demonstrandum — это не только про решение задач. Это про эффективность. Каждый уровень имеет оптимальную длину решения, и вы можете проверить свои навыки, стремясь к самому короткому и элегантному доказательству. Более 60 достижений Steam ждут тех, кто освоит все правила и секреты игры. А благодаря облачным сохранениям, вы сможете продолжить свой путь к истине на любом компьютере.

Если вы ищете интеллектуальный вызов, игру, которая заставит вас думать и рассуждать, а не просто реагировать, Quod Erat Demonstrandum может стать для вас настоящим открытием. Забудьте про многопользовательские режимы, это одиночное погружение в мир логики, философии и поиска фундаментальных истин. Доступна по модели разовой покупки.