^^ix Matematica; generalita'.

  1. ix Libri.
  2. Matematica.
  3. Matematici.
  4. Matematica e insegnanti di matematica.
  5. Insegnare matematica.
  6. Fatti da sapere cmq.
  7. Riduzionismo matematico.
  8. Matematica greca.
  9. Elementary Mathematics from an Advanced Standpoint.
  10. Percorso.
  11. Storia.
  13. Dimostrazione matematica.
  14. Elementary demonstration.
  15. Ambientare una figura per fare una dimostrazione.
  16. Proof assistant. La matematica in linguaggio informatico.
  17. LEAN. Proof assistant.

  18. Simboli matematici

  19. Sommatoria.
  20. Simboli matematici; html.
  21. I nomi dei numeri, e le altre parole per parlare della matematica.
  22. I linguaggi della matematica.
  23. Lettura della scrittura matematica.
  24. Linguaggio letterale matematico.
  25. Come indicare un numero generico?
  26. Notazione matematica. Formato.
  27. Proof without words. Visual proof.
  28. Matematica. Rappresentare.

  29. Teorie matematiche

  30. >ix Matematica; teorie.
  31. >ix Informatica teorica. | Lambda calculus.

  32. Altrove

  33. Il rapporto tra la matematica e la fisica; inizio.
  34. Matematica; come usarla?