Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03130588n
Noun Concept
Categories: Méthode formelle, Théorie des ensembles, Théorie de la démonstration, Théorie des types
FR
théorie des types  Theorie des types
FR
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. Wikipedia
Definitions
Relations
Sources
FR
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. Wikipedia
Théorie mathématique Wikidata
IS A
système formel
HAS PART
EN
container
HAS KIND
théorie des types homotopiques
théorie des types de martin-löf
type vide
FACET OF
informatique
logique mathématique
logique
mathématiques
Wikipedia
FR
théorie des types
Wikidata
FR
théorie des types
Wikipedia Redirections
FR
Theorie des types
Wikipedia Translations
FR
théorie des types

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License