Université Nouveaux Horizons
Détail de l'indexation
511.22
: Mathématiques déductives et inductives, systèmes mathématiques
511 Principes généraux des mathématiques. 511.1 Mathématiques finies (mathématiques discrètes) 511.2 Mathématiques déductives et inductives, systèmes mathématiques. 511.3 Logique mathématique (axiome du choix, axiomes, calcul des prédicats, calcul propositionnel, décidabilité,
hypothèses, langages formels, logique symbolique, opérateurs logiques, théorème de complétude, théorème
de Gödel, théorie des types). 511.322 Théorie des ensembles (hypothèse du continu, nombres cardinaux, nombres transfinis, théorie axiomatique des ensembles, théorie combinatoire des ensembles) 511.326 Fonctions, relations (applications, automorphismes, équations, isomorphismes, transformations, variables) 511.33 Ordres, structures algébriques ordonnées, treillis (ensembles de points, relations et systèmes ordonnés) 511.4 Approximations, développements (développements en série, extrapolations) 511.42 Méthodes (ajustement de courbes, interpolations, moindres carrés) 511.5 Théorie des graphes (construction des graphes, nomographie) 511.6 Analyse combinatoire (combinatoire algébrique, configurations et modèles combinatoires, matroïdes) 511.7 511.8 Modèles mathématiques (algorithmes, modèles mathématiques non appliqués à des situations réelles, simulations mathématiques 511/.
|
Ouvrages de la bibliothèque en indexation 511.22 (1)