LD-003-01 — Quantificatore universale forall
LD-002-06 — Tavole di verità
LD-002-05 — Doppia implicazione
LD-002-04 — Implicazione
LD-002-03 — Congiunzione e disgiunzione
LD-002-02 — Negazione
LD-002-01 — Proposizioni
LD-001-06 — Prodotto cartesiano
LD-001-05 — Differenza e complemento
LD-001-04 — Unione e intersezione
LD-001-03 — Sottoinsiemi e inclusione
LD-001-02 — Rappresentazioni: tabulare, caratteristica, Eulero-Venn
LD-001-01 — Concetto di insieme e appartenenza
IN-004-03 — Interpretazione critica dei risultati
IN-004-02 — Simulazioni numeriche
IN-004-01 — Modelli matematici di fenomeni fisici
IN-003-03 — Derivate e integrali con CAS
IN-003-02 — Risoluzione di equazioni con CAS
IN-003-01 — Calcolo simbolico
IN-002-04 — Visualizzazione di grafici di funzioni
IN-002-03 — Esplorazione di luoghi geometrici
IN-002-02 — Verifica di teoremi
IN-002-01 — Costruzioni geometriche con GeoGebra
IN-001-04 — Grafici statistici
IN-001-03 — Indici statistici con il foglio
IN-001-02 — Distribuzioni di frequenza
IN-001-01 — Operazioni di base con un foglio
GS-011-03 — Posizioni di un piano rispetto a una sfera
GS-011-02 — Posizioni di una retta rispetto a una sfera
GS-011-01 — Equazione cartesiana della sfera