Lemma
Costruisci una dimostrazione una riga giustificata alla volta: ogni passaggio deve seguire da ciò che è già presente nel registro e ogni salto logico viene eliminato.
Come giocare
Il riquadro di sinistra mostra la figura, i dati e l'obiettivo. Il centro è un registro a due colonne di dichiarazioni e giustificazioni che costruisci. Dal pool di passaggi candidati, aggiungerne uno alla volta; un passo è accettato solo quando i suoi prerequisiti sono già dimostrati. Derivare l'obiettivo per completare la dimostrazione.
- Fare clic su un passaggio candidato per provare ad aggiungerlo al registro
- I passaggi si bloccano finché non vengono stabilite le linee dei prerequisiti
- I salti non validi vengono rifiutati, a volte con un controesempio
- Raggiungi l'obiettivo in meno righe, con meno suggerimenti, per un punteggio più alto
Modalità di gioco
- Giornaliero: una prova fissa condivisa ogni giorno
- Esercizio: nuovi problemi randomizzati
Controlli
- Desktop: fare clic sui passaggi nel pool per aggiungerli; Annulla, Suggerimento e Nuovo si trovano sulla barra degli strumenti
- Telefono e tablet: tocca un passaggio per aggiungerlo e tocca i pulsanti della barra degli strumenti (solo mouse o tocco)
Suggerimenti e strategia
- Procedi partendo dai dati: cerca il passaggio di cui hai già i prerequisiti nel registro
- Usa i suggerimenti con parsimonia; ognuno posiziona la riga canonica successiva ma abbassa il punteggio finale
Cosa imparerai
Lemma insegna una rigorosa dimostrazione deduttiva, imponendo che ogni passo sia giustificato.
- Abilità: dimostrazione deduttiva, logica formale, rigore matematico
- Ideale per: scuola superiore/università avanzata
- Per genitori e insegnanti: prova deduttiva rigorosa.
A proposito di Lemma
Lemma è un originale gioco di logica per browser gratuito che insegna una rigorosa dimostrazione deduttiva, imponendo che ogni affermazione sia giustificata dalle righe precedenti proprio come richiede una vera dimostrazione geometrica a due colonne.
Sfoglia tutti i giochi → /
