Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 341 p.
ISBN 978-0-8218-0887-0
Proceedings of symposia in pure mathematics , 0064
Localisation : Collection 1er étage
théorie du contrôle # géométrie différentielle # calcul de variation # système et contrôle # commande optimale # Gardner # géométrie analytique réelle # structure de Dirac # problème à horizon infini # feedback
49-XX ; 53-XX ; 93-XX
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 136 p.
Mathematics in science and engineering , 0056
Localisation : Ouvrage RdC (HERM)
Calcul des variations et de la commande optimale # optimisation
46N05 ; 49-02 ; 49AXX ; 49BXX ; 93Bxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 288 p.
ISBN 978-0-387-12666-1
Grundwissen mathematik , 0001
Localisation : Ouvrage RdC (Zahl)
algèbre de divisions # analyse nonstandard # jeu # nombre naturel ou complexe # pi # théorie des ensembles
01A05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 214 p.
ISBN 978-0-226-26197-3
Localisation : Oeuvres complètes RdC (FREG)
19 ème 20 ème siècle # Anton Marty # Bertrand Russell # Carl Strumpf # David Hilbert # Edmund Husseil # Edward V.Huntington # Giovanni Vailati # Giuseppe Peano # Heinrich Lieblmann # Hergo Dingler # Karl Zsigmondy # L. Eugène Ballue # Louis Couturat # Moritz Pasch # Paul F. Linke # Philip Reinhold Kosselt # Richard Honigswald # correspondance philosophique ou mathématique # Frege # oeuvres complètes
01-XX ; 01A55 ; 01A60 ; 01A70
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-387-97202-2
Graduate texts in mathematics , 0123
Localisation : Collection 1er étage
theorie des nombres
00A05 ; 11-02
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 209 p.
Grundlehren der mathematischen wissenschaften , 0073
Localisation : Collection 1er étage
ordre # structure # structure algébrique # structure logique # théorie des structures
03Cxx ; 03Gxx ; 06Bxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 245 p.
Grundlehren der mathematischen wissenschaften , 0127
Localisation : Collection 1er étage
calcul # fonction recursive # machine de Turing # prédicat d'indécidabilité # variété
03D10 ; 03Dxx ; 68Q05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Lecture notes in mathematics , 0006
Localisation : Collection 1er étage
complétude du calcul de terme restreint # déducibilité # logique de terme du premier ordre # logique du prédicat du premier odre # opérateur de choix # plongement # preuve de complétude # satisfiabilité # substitution
03Bxx ; 03E25 ; 03Fxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 433 p.
ISBN 978-2-7117-8901-6
Localisation : Ouvrage RdC (Nomb)
histoire des mathématiques # nombre # théorie des nombres # nombre entier naturel # nombre complexe # algèbre # analyse non-standard # jeu # théorie des ensembles
11-XX ; 11-01 ; 16AXX
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 164 p.
Grundlehren der mathematischen wissenschaften , 0073
Localisation : Collection 1er étage
ordre # structure # structure algébrique # structure logique # théorie des structures
03Cxx ; 03Gxx ; 06Bxx
... Lire [+]
