m

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

O

-A +A

P Q

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.

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

Lecture notes in mathematics , 0834

Localisation : Collection 1er étage

03Cxx

... Lire [+]

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

- 494 p.
ISBN 978-0-7204-2233-7

Studies in logic and the foundations of mathematics

Localisation : Colloque 1er étage (BERK)

algèbre cylindrique # algèbre de Boole # catégorie algébrique # foncteur algbrique # forcing # géométrie elliptique # insolvabilité # mathématique non-archimédienne # mesure de Haar # système de Lewis # théorie algébrique # théorie de la définition # théorie des ensembles de Godel-Bernays # théorie des modèles # théorie quantique

03-06 ; 03Cxx

... Lire [+]

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

Studies in logic and the foundations of mathematics

Localisation : Colloque 1er étage (LEIC)

03Cxx ; 03Dxx ; 03Exx

... 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.

- 136 p.

Seminaire de mathematiques superieures , 0006

Localisation : Salle de manutention

logique mathematiques # theorie des modeles

03Cxx

... Lire [+]

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


ISBN 978-2-7178-1549-8

Association pour la statistique et ses utilisations

Localisation : Colloque 1er étage (MARS)

serie chronologique # statistique

60G10 ; 62-01 ; 62Fxx ; 62M10 ; 62Mxx

... Lire [+]

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

- 1174 p.
ISBN 978-3-540-10849-8

Lecture notes in mathematics , 0872

Localisation : Collection 1er étage

algèbre booléenne # fondement de la logique mathématique # logique mathématique # théorie des ensembles # théorie des modèles

03-06 ; 03-XX ; 03Cxx ; 03Exx

... 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.

- 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.

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.

- 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.

- 593 p.
ISBN 978-0-8176-3469-8

Progress in systems and control theory , 0003

Localisation : Colloque 1er étage (AMST)

algèbre linéaire # analyse des systèmes # circuit # contrôle # fonction # géométrie algébrique et système linéaire # hydrolique # hydrologie # identification de système # localisation d'approximation # modèle # modèle non standard en théorie des systèmes # physique statistique # système bilinéaire # système dynamique stochastique # système singulier # théorie des matrices # théorie des opérateurs # théorie du contrôle # topologie et système linéaire # traitement du signal # transformation et représentation des systèmes algèbre linéaire # analyse des systèmes # circuit # contrôle # fonction # géométrie algébrique et système linéaire # hydrolique # hydrologie # identification de système # localisation d'approximation # modèle # modèle non standard en théorie des systèmes # physique statistique # système bilinéaire # système dynamique stochastique # système singulier # théorie des matrices # théorie des opérateurs # théorie du contrôle # topologie et système ...

08-06 ; 15A30 ; 22Axx ; 34A30 ; 34C35

... Lire [+]

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


ISBN 978-0-8405-0083-0

SMS , 0025

Localisation : Salle de manutention

axiome du choix # ensemble constructible # ensemble générique de Cohen # hypothèse du continu # modèle transitif # réduction d'un modèle à un autre # théorie des ensembles de Zermelo-Fraenkel

03E45 ; 03Exx ; 04-XX ; 04A25 ; 04A30

... 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.

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.


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.

- 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.


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.


ISBN 978-3-540-61883-6

Localisation : Colloque 1er étage (BLAU)

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

... Lire [+]

Z