Théorie des typesThéorie des types
Peu commune
Rareté : Peu commune
Un sujet un peu plus connu que la moyenne, lu et traduit au-delà de son pays.
La rareté suit la notoriété de l’article : ses lectures sur Wikipédia en français et en anglais sur un an, et le nombre de langues dans lesquelles il existe.
Ce qu’il faut savoir
- Classe
- Notion
- Domaine
- Sciences et techniques
- Dans les collections
- Personne ne l’a encore tirée.
Ce qu’en dit Wikipédia
En mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques. Ils ont été historiquement introduits pour résoudre le paradoxe d'un axiome de compréhension non restreint.
Extrait de l’article « Théorie des types » de Wikipédia, sous licence CC BY-SA 4.0. Lire l’article sur Wikipédia
Image : Dario Ferrai, CC BY-SA 3.0, via Wikimedia Commons.
Ouvre des boosters gratuits et ajoute Théorie des types à ta collection.
Jouer gratuitement
