Université Nouveaux Horizons
Détail de l'indexation
511.1
: Mathématiques finies (mathématiques discrètes)
511 Principes généraux des mathématiques. 511.2 Mathématiques déductives et inductives, systèmes mathématiques. 511.22 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.1 (2)