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ă.

Originile

Construirea unui registru pe două coloane, cu afirmație și justificare, dintr-un set de pași candidați înseamnă demonstrația matematică așa cum este predată la geometrie.

Furnizarea pașilor candidați este schela originală.

Oferirea pașilor elimină partea care este în mare măsură invenție și lasă partea care este în mare măsură logică: a decide ce decurge din ce și în ce ordine. Un pas adevărat, dar încă nejustificat, este greșeala caracteristică și este vizibil doar în forma pe două coloane.

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 →