Lemma

Construiți o dovadă câte o linie justificată - fiecare pas trebuie să urmeze din ceea ce este deja în registru și orice salt logic este aruncat.

Cum să joci

Panoul din stânga arată cifra, date și obiectivul. Centrul este un registru cu două coloane de declarații și justificare pe care îl construiți. Din grupul de pași candidați, adăugați unul câte unul; un pas este acceptat numai atunci când premisele sale sunt deja dovedite. Deduceți obiectivul pentru a finaliza demonstrația.

• Faceți clic pe un pas candidat pentru a încerca să îl adăugați în registru
• Pașii se blochează până când sunt stabilite liniile lor prealabile
• Salturile nevalide sunt respinse, uneori cu un contraexemplu
• Atingeți obiectivul în mai puține rânduri, cu mai puține indicii, pentru un scor mai mare

Moduri de joc

• Zilnic: o dovadă fixă distribuită în fiecare zi
• Practică: probleme proaspete randomizate

Controale

• Desktop: faceți clic pe pași din pool pentru a le adăuga; Anulare, Sugestie și Nou sunt în bara de instrumente
• Telefon și tabletă: atingeți un pas pentru a-l adăuga și atingeți butoanele barei de instrumente (numai mouse-ul sau atingerea)

Sfaturi și strategie

• Continuați din date - căutați pasul ale cărui precondiții le aveți deja în registru
• Folosiți indicii cu moderație; fiecare plasează următoarea linie canonică, dar îți scade scorul final

Ce vei invata

Lema învață dovezi deductive riguroase, impunând că fiecare pas este justificat.

• Abilități: demonstrație deductivă, logică formală, rigoare matematică
• Cel mai bun pentru: liceu avansat / facultate
• Pentru părinți și profesori: dovadă deductivă riguroasă.

Despre Lema

Lema este un joc original de logică pentru browser, care învață dovezi deductive riguroase, impunând ca fiecare afirmație să fie justificată de liniile anterioare, așa cum o cere o demonstrație de geometrie reală pe două coloane.

Răsfoiți toate jocurile → /