Lemma

Побудуйте доказ по одному вирівняному рядку за раз — кожен крок має випливати з того, що вже є в книзі, і будь-який логічний стрибок викидається.

Як грати

Ліва панель показує цифру, дані та мету. Центр — це двоколонкова книга звітів і обґрунтувань, яку ви створюєте. З пулу потенційних кроків додайте по одному; крок приймається лише тоді, коли його передумови вже доведені. Виведіть мету для завершення доведення.

• Натисніть крок-кандидат, щоб спробувати додати його до книги
• Кроки блокуються, доки не буде встановлено їхні попередні лінії
• Недійсні стрибки відхиляються, іноді з контрприкладом
• Досягніть мети за меншу кількість рядків, з меншою кількістю підказок, щоб отримати вищий бал

Режими гри

• Щодня: фіксований доказ, який надається щодня
• Практика: свіжі рандомізовані задачі

Елементи керування

• Робочий стіл: натисніть кроки в пулі, щоб додати їх; Скасувати, підказка та створити на панелі інструментів
• Телефон і планшет: торкніться кроку, щоб додати його, і торкніться кнопок панелі інструментів (тільки миша або торкання)

Поради та стратегія

• Працюйте вперед, виходячи з даного — шукайте крок, передумови якого ви вже маєте в книзі
• Помірно використовуйте підказки; кожен з них ставить наступний канонічний рядок, але знижує ваш остаточний бал

Що ви дізнаєтесь

Лема вчить суворому дедуктивному доведенню, доводячи, що кожен крок є виправданим.

• Навички: дедуктивне доведення, формальна логіка, математична точність
• Найкраще для: середньої школи / коледжу
• Для батьків і вчителів: суворий дедуктивний доказ.

Про Лему

Lemma — це оригінальна безкоштовна логічна гра для браузера, яка навчає суворому дедуктивному доказу, вимушуючи, щоб кожне твердження було виправдано попередніми рядками, як того вимагає справжній геометричний доказ у два стовпці.

Переглянути всі ігри → /