En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents 03C07 10 résultats

Filtrer
Sélectionner : Tous / Aucun
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Model theory and applications:
based on the Euro-conference in model theory and applications
Ravello # may 27 - june 1, 2002 Bélair, L. ; Chatzidakis, Z. ; D'Aquino, P. ; Marker, D. ; Otero, M. ; Point, F. ; Wilkie, A. | ARACNE 2002

Congrès

- xx; 466 p.
Cote : 00036715
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

Localisation : Colloque 1er étage (RAVE)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

An introduction to stability theory Pillay, Anand | Clarendon Press 1983

Ouvrage

- 146 p.
Cote : 00007629
catégoricité # logique # théorie de la classification # théorie de la stabilité # théorie des catégories # théorie des modèles # théorie mathématique, logique # théorème de Baldwin-Lachlan # théorème de Morley

03C07 ; 03C35 ; 03C45 ; 03C60 ; 03Cxx

Localisation : Ouvrage RdC (PILL)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y

Logic and structure Van Dalen, Dirk | Springer 2013

Ouvrage

- x; 263 p.
Cote : 00038606
logique propositionnelle # logique des prédicats # exhaustibilité # logique de second ordre # logique intuitionniste # normalisation # théorème d'incomplétude de Gödel # ultraproduit

03-01 ; 03-02 ; 03B05 ; 03B10 ; 03B15 ; 03B20 ; 03C07 ; 03C20

Localisation : Ouvrage RdC (VAND)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y

Induction, bounding, weak combinatorial principles, and the homogeneous model theorem Hirschfeldt, Denis R. ; Lange, Karen ; Shore, Richard A. | American Mathematical Society 2017

Ouvrage

- v; 101 p.
Cote : 00040012
mathématiques inversées # théorie du modèle calculable # modèle atomique # modèle homogène

03B30 ; 03C07 ; 03C15 ; 03C50 ; 03C57 ; 03D45 ; 03F30 ; 03F35

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Stabilité structurelle et morphogénèse :
essai en théorie générale des modèles Thom, René | W. A. Benjamin 1972

Ouvrage

- 362 p.
Cote : 00002991
bifurcation # biologie # différentiation # entropie microcanonique # morphogénèse # stabilité structurelle # théorie des catastrophes # théorie des modèles

00A30 ; 03C07 ; 03C45 ; 03Cxx ; 58C28

Localisation : Ouvrage RdC (THOM)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Logique mathématique. Tome 2 :
fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles Cori, René ; Lascar, Daniel ; Krivine, J. L. | Dunod 2003

Ouvrage

- 374 p.
Cote : 00025959
logique mathématique # fonction récursive # théorème de Gödel # théorie des ensembles # théorie des modèles

03-01 ; 03D20 ; 03C07 ; 03E30 ; 03F30

Localisation : Enseignement RdC (CORI)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Cours de théorie des modèles :
une introduction à la logique mathématique contemporaine Poizat, Bruno | Poizat, Bruno 1985

Ouvrage

- 584 p.
Cote : 00009289
théorie des modèles # logique mathématiques

03-01 ; 03-02 ; 03C45 ; 03C07

Localisation : Ouvrage RdC (POIZ)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Finite and algorithmic model theory.
Based on a workshop
Durham # january 9-13, 2006 Esparza, Javier ; Michaux, Christian ; Steinhorn, Charles | Cambridge University Press 2011

Congrès

- xi; 341 p.
Cote : 00036814
logique # modèle fini # modèle algorithmique # théorie des modèles

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

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y

La théorie des ensembles :
introduction à une théorie de l'infini et des grands cardinaux Dehornoy, Patrick | Calvage & Mounet 2017

Ouvrage

- xx; 649 p.
Cote : 00040153
théorie des ensembles # grands nombres cardinaux # théorie de l'infini

03Exx ; 03E10 ; 03E25 ; 03E30 ; 03E35 ; 03E45 ; 03E55 ; 03E60 ; 03B05 ; 03B10 ; 03C07 ; 03D20 ; 03F40

Localisation : Ouvrage RdC (DEHO)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y

Mathematical logic Ebbinghaus, Heinz-Dieter ; Flum, Jörg ; Thomas, Wolfgang | Springer 2021

Ouvrage

- ix; 304 p.
Cote : 00041103
logique de 1er ordre # preuve mathématique # limite des algorithmes # théorème d'incomplétude de Gödel # théorème d'indécidabilité de Trakhtenbrot # théorème de Lindström sur la maximalité

03-01 ; 03B10 ; 03B99 ; 03C07

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur

Listes : nb d'elts/page

Sélectionner : Tous / Aucun

Filtrer

Type

Auteurs

J Plus

Langue