^^ix Teoria degli insiemi

  1. > ix Classi-fic-are/azione elementi.
  2. ix Applicazione, Funzione. Spazio funzionale.
  3. ix Teoria delle categorie.
  4. ix Relazione matematica.
  5. Definire un insieme.
  6. Insiemistica intuitiva-ingenua / razionale.
  7. Insiemi. Denominazione, terminologia.
  8. Definizione intensiva o estensiva di un insieme.
  9. Subsets, sottoinsiemi, selections, selezioni.
  10. Appartenenza, inclusione (= contenenza).
  11. Assioma di selezione ≡ specificazione. Set-builder_notation.
  12. Intersezione, unione, complementare.
  13. Definizione ricorsiva di un insieme.
  14. Teoria assiomatica degli insiemi.
  15. Insiemi fondamento della matematica.
  16. Classe (matematica).
  17. Teoria dei tipi dipendenti.
  18. Costruzione dei numeri

  19. Costruzione dei numeri naturali in insiemistica.
  20. Costruzione dei numeri in insiemistica.
  21. Insieme delle parti

  22. Insieme delle parti, insieme potenza, insieme dei sottoinsiemi.
  23. Evidenziare il complementare nell'insieme delle parti.
  24. Insieme delle parti di 4 elementi, e' fatto di 16.
  25. Insieme delle parti ordinato per ordine e per complementare.
  26. Il nr di sottoinsiemi di N elementi e' 2^N.
  27. Varie

  28. Ricorsione matematica. Definizione ricorsiva. Struttura ricorsiva. Induzione matematica.
  29. Sunflower_(mathematics).
  30. Altrove

  31. Spazio insiemistico.