m

F Nous contacter

0

Fonds Quennet  | enregistrements trouvés : 91

O

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Colloques internationaux du CNRS , 0036

Localisation : Colloque 1er étage (PARI)

axiomatisabilité # calcul affirmatif # calcul déductif # calcul intuitionniste # espace de Hilbert # formalisation de théorie mathématique # interprétation sémantique de système axiomatique # intuitionisme # langue # méthode formelle en axiomatique # parallélisme logico-mathématique # système formel

03-06

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Localisation : Colloque 1er étage (BERK)

aleph indice alpha # algèbre cylindrique # algèbre de Boole # deux puissance aleph indice 0 # géométrie elliptique # théorie de quantification # théorie des modèles # théorie des nombres

03-06 ; 03Cxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 332 p.

Collection universitaire de mathématiques , 0014

Localisation : Ouvrage RdC (NOVI)

logique mathématique # prédicat # proposition # axiomatique arithmétique # théorie de la démonstration

03Bxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Localisation : Réserve

nombre algebrique

11Rxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 305 p.

Monographie de l'enseignement mathématique , 0015

Localisation : Ouvrage RdC (KURA)

algèbre de Boole # calcul propositionnel # complexe # coupure du plan # espace compact # espace métrique # homologie # opération # relation d'ordre # simplexe # théorie des ensembles # topologie

03B05 ; 03Exx ; 03F10 ; 54D30 ; 54E35

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 377 p.

Localisation : Enseignement RdC (COMM)

cinématique # dynamique d'une particule # mécanique # statistique

70-XX ; 70Bxx ; 70C20 ; 70Dxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 542 p.

Localisation : Enseignement RdC (COMM)

courbe # fonction rationnelle # forme quadratique # surface

14Hxx ; 14Jxx ; 15A63 ; 26Cxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 443 p.

Localisation : Enseignement RdC (COMM)

fonction implicite # série

26B10 ; 40-XX

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- Pp. 394-728

Localisation : Ouvrage RdC (BOUL)

calcul numérique # cone # courbe # courbe gauche # cylindre # droite # dérivée vectorielle # géométrie analytique # géométrie descriptive # machine # moment # ombre # plan # polyèdre # prisme pyramide # produit vectoriel # projection # rabattement # rotation # sphère # statistique # surface # système de vecteurs

51Nxx ; 52Bxx ; 65-XX ; 70-XX ; 73-XX

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 408 p.

Localisation : Ouvrage RdC (BOUL)

calcul numérique # cone # courbe # courbe gauche # cylindre # droite # dérivée vectorielle # géométrie analytique # géométrie descriptive # machine # moment # ombre # plan # polyèdre # prisme pyramide # produit vectoriel # projection # rabattement # rotation # sphère # statistique # surface # système de vecteurs

51Nxx ; 52Bxx ; 65-XX ; 70-XX ; 73-XX

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 333 p.

Collection universitaire de mathématiques , 0001

Localisation : Ouvrage RdC (ZAMA)

algèbre moderne # analyse moderne # espace métrique # fonction rationnelle # loi algébrique # série

15A06 ; 15A15 ; 15A69 ; 15A72 ; 26-01

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 207 p.

Localisation : Ouvrage RdC (BOUL)

analyse géométrique # combinatoire # compact # complexe # connexité # continuité # cycle # domaine continu # groupe # homologie # opération # opération formelle # opération topologique # recouvrement fini # semi- continu # simplex # suite d'ensemble

14L35 ; 20Gxx ; 51D20 ; 51Nxx ; 54-XX

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 280 p.

Localisation : Ouvrage RdC (BOUL)

application dynamique de l'analyse # application géométrique de l'analyse # dérivation géométrique # fonction de point # méthode vectorielle # théorie des courbes # théorie des moments # théorie des surfaces

14Hxx ; 14Jxx ; 15-XX

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 60 p.

Localisation : Ouvrage RdC (GERV)

contrainte cumulative # contrainte disjonctive # méthode du chemin critique # méthode du potentiel # problème d'ordonnancement # théorie des graphes

90B35 ; 90C35

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 328 p.

Monographies universitaires de mathématiques

Localisation : Ouvrage RdC (LEVY)

algèbre # catégorie # groupoïde # structure algébrique # treillis

08-01 ; 08Axx ; 08C10 ; 13A10 ; 16D90

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 196 p.

Collection programmation

Localisation : Ouvrage RdC (GROS)

automate fini # calculabilité # décidabilité # grammaire formelle # grammaire transformationnelle # langage algébrique # langage de Chomsky # langage de Kleene # machine de Turing # monoïde libre # mot # programmation # système combinatoire # système formel

03B25 ; 03D40 ; 68Q05 ; 68Q45 ; 68Q50

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 531 p.

Collection enseignement des sciences , 0013

Localisation : Ouvrage RdC (LAUR)

analyse numérique # approximation # fonction spline # fonctionnelle convexe # interpolation # optimisation # opérateur linéaire

41-XX ; 41A05 ; 41A15 ; 49-XX ; 65D05

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 326 p.

Series in decision and control

Localisation : Ouvrage RdC (LUEN)

espace d'Hilbert # espace dual # espace linéaire normé # estimation du moindre carré # méthode des espaces vectoriels # méthode itérative d'optimisation # méthode numérique # optimisation # opérateur adjoint # opérateur linéaire # théorie des opérateurs linéaires # théorie globale d'optimisation avec contrainte # théorie locale d'optimisation avec contrainte # théorème d"Han Banach

46B10 ; 46Bxx ; 46Cxx ; 47A05 ; 49R20

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 178 p.

Finance et économie appliquée , 0008

Localisation : Ouvrage RdC (FRIS)

calcul de déterminant # finance # fonction d'une variable # formule de Taylor # mathématique économique # matrice # maxima # minima # programmation linéaire # relation linéaire entre fonctions # relation linéaire entre vecteurs # relation linéaire entre équations # statistique # variable sans condition # équation linéaire

26Axx ; 90A09 ; 90Axx ; 90C05

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-0-12-059060-5

Localisation : Disparu

algebre # categories # foncteur # theorie des foncteurs

18-XX

... Lire [+]

Z