m

Documents  Critères de recherche : "Model theory" | enregistrements trouvés : 117

O

-A +A

P Q

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


ISBN 978-90-5699-101-2

Algebra, logic and applications series , 0009

Localisation : Colloque 1er étage (DRES)

algèbre # algèbre booléen # domaine de valuation # groupe abélien # groupe d'automorphisme # groupe de permutation infinie # groupe p-adique abélien # module # structure de catégorie # théorie de modèle # théorie des groupes

20Bxx ; 20C05 ; 20C07 ; 20K01 ; 20Kxx

... Lire [+]

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

- 277 p.
ISBN 978-0-7923-4666-1

NATO ASI series , 0496

Localisation : Colloque 1er étage (TORO)

fonction analytique # groupe de permutation # logique mathématique # stabilité géométrique # structure d'algèbre fini # théorie additive dénombrable # théorie des modèles algébriques

... Lire [+]

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

- 307 p.

Localisation : Ouvrage RdC (Appl)

modèle # algèbre # analyse # probabilité # nombre non standard # analyse non standard # probabilité non standard # nombre réel non standard # topologie algébrique non standard # intégration non standard # modèle booléen

03Cxx

... Lire [+]

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


ISBN 978-3-540-18674-8

Lecture notes in mathematics , 1292

Localisation : Collection 1er étage

classification # logique # systeme logique formel non classique # theorie des modeles

03Cxx

... Lire [+]

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

- 426 p.
ISBN 978-0-12-385340-0

Advanced studies in pure mathematics , 0016

Localisation : Collection 1er étage

algèbre conforme # groupe de Tresse # théorie des corps

12-02 ; 12-06

... Lire [+]

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

- 191 p.
ISBN

Proceedings of the Steklov institute of mathematics , 0229

Localisation : Collection 1er étage

opérateur aux dérivées partielles # opérateur différentiel ordinaire # équation différentielle ordinaire linéaire en espace abstrait # EDO # méthode de transformation d'EDP # EDP d'ordre supérieur # théorie spectrale # théorie des opérateurs appliquées aux équations différentielles et intégrales # équation à coefficient discontinu # petit paramètre # caractéristique spectrale # problème aux limites

47F05 ; 47E05 ; 34G10 ; 34-02 ; 35A22 ; 35G05 ; 35G20 ; 35P05 ; 47N20

... Lire [+]

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

- xi; 341 p.
ISBN 978-0-521-71820-2

London mathematical society lecture note series , 0379

Localisation : Collection 1er étage

logique # modèle fini # modèle algorithmique # théorie des modèles

03-06 ; 03C07 ; 03C13 ; 00B25

... Lire [+]

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


ISBN 978-3-540-61883-6

Focus and computer graphics

Localisation : Colloque 1er étage (BLAU)

algorithme # analyse numérique # automate # conception de logiciel # géométrie de l'informatique # géométrie discrète # informatique graphique # mathématique discrète # modélisation d'objet # modélisation géométrique # outil mathématique # représentation # système # traitement des données

68Pxx ; 68Qxx ; 68Rxx

... Lire [+]

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


ISBN 978-3-540-61883-6

Localisation : Colloque 1er étage (BLAU)

68CXX ; 68N05 ; 68Pxx ; 68U05 ; 90Cxx

... Lire [+]

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

- xvii-316 p.
ISBN 978-0-8218-6923-9

Contemporary mathematics , 0576

Localisation : Collection 1er étage

théorie des groupes # théorie des modèles # Rüdiger Gödel

20-06 ; 03-06 ; 20Kxx ; 20A15 ; 03C60 ; 20K10 ; 20K20 ; 20K40 ; 03C98 ; 00B25

... Lire [+]

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


ISBN 978-3-7643-5185-4

DMV Seminar , 0024

Localisation : Séminaire 1er étage

catégorie d'homotopie rationnelle # catégorie de cofibration # cellule en topologie et en algèbre # complexe CW fini non-elliptique # décomposition d'homotopie # espace elliptique # espaces connectés simplement # homologie # modèle algébrique intégral de type d'homotopie # théorie d'homotopie

18Gxx ; 51Mxx ; 55Pxx ; 55Uxx

... Lire [+]

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

- vii; 212 p.
ISBN 978-3-03719-184-2

Münster lectures in mathematics

Localisation : Colloque 1er étage (MÜNS)

logique # théorie du modèle # théorie de la stabilité # théorie NIP # théorie de l'évaluation # géométrie diophantienne # théorie algébrique des nombres # théorie des groupes # combinatoire

03C45 ; 03C60 ; 03C98 ; 05E15 ; 12J20 ; 12L12 ; 14E18 ; 20E18

... Lire [+]

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


ISBN 978-0-387-90913-4

Lecture notes in statistics , 0020

Localisation : Colloque 1er étage (BAD)

chaine de Markov # controle optimal adaptif # modèle d'apprentissage mathématique # problème d'optimisation # problème du bandit # processus de Wiener # processus de décision séquentielle # procédure d'approximation stochastique # tests cliniques séquentiels # théorie et algorithme # théorème de Kersting #

62-06 ; 62L20 ; 62L99

... Lire [+]

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


ISBN 978-0-521-58424-1

Publications of the newton institute , 0015

Localisation : Colloque 1er étage

analsye numérique # application # coût # finance # marché # mathématique économique # modèle de Black-Scholes # probabilité # processus stochastique # protection # statistique # sécurité dérivée

60G35 ; 90-06 ; 90A09

... Lire [+]

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

- xi; 471 p.
ISBN 978-3-540-78840-9

Mathematics in industry , 0013

Localisation : Colloque 1er étage (LEID)

mathématiques de l'ingénieur # théorie de la commande # analyse numérique # algèbre linéaire # système et contrôle

65-06 ; 93-06 ; 00B25

... Lire [+]

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

Localisation : Colloque 1er étage (BRES)

algèbre # application # construction # exponentielle généralisée # formule SH # groupe # théorie des modèles topologiques

03Cxx

... Lire [+]

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

- xx; 466 p.
ISBN 978-88-7999-411-8

Quaderni di matematica , 0011

Localisation : Colloque 1er étage (RAVE)

théorie des modèles # logique # théorie des nombres # théorie des groupes # théorie des corps

20E08 ; 05C25 ; 03C64 ; 03C60 ; 03C10 ; 20F60 ; 20E32 ; 20D05 ; 03C45 ; 20A15 ; 03C07 ; 03C98 ; 32B05 ; 12F10 ; 03C20 ; 11G25 ; 11G10 ; 11U09 ; 14G15 ; 20G15 ; 22E30 ; 12H05 ; 12L12 ; 30D60 ; 58A17 ; 20E42 ; 14K15 ; 03-06 ; 00B25 ; 11-06 ; 12-06 ; 20-06

... Lire [+]

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

- 150 p.
ISBN 978-3-642-11119-8

CIME summer schools , 0069

Localisation : Colloque 1er étage (BRES)

logique # théorie des modèles

03-06 ; 03Cxx ; 00B25

... Lire [+]

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

- 306 p.
ISBN 978-3-540-11159-7

Lecture notes in mathematics , 0890

Localisation : Collection 1er étage

arithmétique de premier ordre # fondement de la logique mathématique # logique mathématique # modèle d'arithmétique # théorie de la preuve # théorie des ensembles # théorie des modèles

03-06 ; 03C55 ; 03C65 ; 03H15

... Lire [+]

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

- 410 p.
ISBN 978-0-387-10269-6

Lecture notes in mathematics , 0834

Localisation : Collection 1er étage

03Cxx

... Lire [+]

Z