26 résultat(s) recherche sur le mot-clé 'théorie des modèles'    

Éléments de logique mathématique / Georg KREISEL (Cop. 1967)

Public ISBD Titre : Éléments de logique mathématique : théorie des modèles Type de document : texte imprimé Auteurs : Georg KREISEL, Auteur ; Jean-Louis KRIVINE, Auteur Editeur : Paris [France] : Dunod Année de publication : Cop. 1967 Collection : Monographies de la société mathématique de France num. 3 Importance : VII-212 p. Langues : Français Catégories : 03-02 03Cxx Mots-clés : logique  théorie des modèles Note de contenu : bibliogr. Éléments de logique mathématique : théorie des modèles [texte imprimé] / Georg KREISEL, Auteur ; Jean-Louis KRIVINE, Auteur . - Paris (France) : Dunod, Cop. 1967 . - VII-212 p.. - (Monographies de la société mathématique de France; 3) . Langues : Français Catégories : 03-02 03Cxx Mots-clés : logique  théorie des modèles Note de contenu : bibliogr.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
216	KRE/02/3003	Livre	Recherche	Salle	Disponible
21022	KRE/02/8895	Livre	Recherche	Salle	Exclu du prêt
i678	KRE/02/i678 a	Livre	Recherche	Salle	Disponible
i678b	KRE/02/i678b b	Livre	Recherche	Salle	Exclu du prêt

Théorie des modèles en logique mathématique / Aubert DAIGNEAULT (Cop. 1967)

Public ISBD Titre : Théorie des modèles en logique mathématique Type de document : texte imprimé Auteurs : Aubert DAIGNEAULT, Auteur Mention d'édition : 2e éd. multigraphiée Editeur : Montréal [Canada] : Les Presses de l'Université de Montréal Année de publication : Cop. 1967 Collection : Séminaire de mathématiques supérieures, ISSN 0544-9758 num. 6 Importance : 136 p. Note générale : Cours d'été de l'OTAN. Notes du cours donné par le Professeur Aubert Daigneault à la deuxième session du Séminaire de mathématiques supérieures de l'Université de Montréal, tenue l'été 1963. Le séminaire est placé sous les auspices conjointes de l'Organisation du Traité de l'Atlantique Nord et de la Société Mathématique du Canada Langues : Français Catégories : 03Cxx Mots-clés : théorie des modèles  logique mathématique Théorie des modèles en logique mathématique [texte imprimé] / Aubert DAIGNEAULT, Auteur  . -  2e éd. multigraphiée . - Montréal (3744, rue Jean-Brillant, local 6310, H3T 1P1, Canada) : Les Presses de l'Université de Montréal, Cop. 1967 . - 136 p.. - (Séminaire de mathématiques supérieures, ISSN 0544-9758; 6) . Cours d'été de l'OTAN. Notes du cours donné par le Professeur Aubert Daigneault à la deuxième session du Séminaire de mathématiques supérieures de l'Université de Montréal, tenue l'été 1963. Le séminaire est placé sous les auspices conjointes de l'Organisation du Traité de l'Atlantique Nord et de la Société Mathématique du Canada Langues : Français Catégories : 03Cxx Mots-clés : théorie des modèles  logique mathématique

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
4911	SMS 6	Livre	Recherche	Salle	Disponible

Logique mathématique. 2 / René CORI (DL 2003)

Public ISBD Titre : Logique mathématique. 2 : fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles. Cours et exercices corrigés Type de document : texte imprimé Auteurs : René CORI, Auteur ; Daniel LASCAR, Auteur Editeur : Malakoff : Dunod Année de publication : DL 2003 Collection : Sciences Sup, ISSN 1636-2217 Importance : XV-347 p. ISBN/ISSN/EAN : 978-2-10-005453-4 Langues : Anglais Mots-clés : logique mathématique  fonction récursive  théorème de Gödel  théorie des ensembles  théorie des modèles Note de contenu : index, notations, bibliogr. Logique mathématique. 2 : fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles. Cours et exercices corrigés [texte imprimé] / René CORI, Auteur ; Daniel LASCAR, Auteur . - Malakoff : Dunod, DL 2003 . - XV-347 p.. - (Sciences Sup, ISSN 1636-2217) . ISBN : 978-2-10-005453-4 Langues : Anglais Mots-clés : logique mathématique  fonction récursive  théorème de Gödel  théorie des ensembles  théorie des modèles Note de contenu : index, notations, bibliogr.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
19529	COR/02/7888-II	Livre	Recherche	Salle	Disponible

Stabilité structurelle et morphogénèse / René THOM (1972)

Public ISBD Titre : Stabilité structurelle et morphogénèse : essai d'une théorie générale des modèles Type de document : texte imprimé Auteurs : René THOM, Auteur Editeur : New york : W. A. Benjamin Année de publication : 1972 Collection : Mathematical physics monograph series Importance : 362 p. Présentation : ill. Langues : Français Mots-clés : théorie des modèles  stabilité structurelle  morphogénèse Note de contenu : index, références Stabilité structurelle et morphogénèse : essai d'une théorie générale des modèles [texte imprimé] / René THOM, Auteur . - New york : W. A. Benjamin, 1972 . - 362 p. : ill.. - (Mathematical physics monograph series) . Langues : Français Mots-clés : théorie des modèles  stabilité structurelle  morphogénèse Note de contenu : index, références

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
22031	THO/20/10315	Livre	Recherche	Salle	Manquant Exclu du prêt
2397	THO/58/4463	Livre	Recherche	Salle	Disponible

Algebraic linguistics; analytical models / Solomon MARCUS (Cop. 1967)

Public ISBD Titre : Algebraic linguistics; analytical models Type de document : texte imprimé Auteurs : Solomon MARCUS, Auteur Editeur : New York [U.S.A.] : Academic Press Année de publication : Cop. 1967 Collection : Mathematics in science and engineering num. 29 Importance : XI-254 p. ISBN/ISSN/EAN : 978-0-12-470850-1 Langues : Anglais Mots-clés : théorie des modèles  théorie de l'information  linguistique algébrique  des modèle analytique Note de contenu : index, références Algebraic linguistics; analytical models [texte imprimé] / Solomon MARCUS, Auteur . - New York (U.S.A.) : Academic Press, Cop. 1967 . - XI-254 p.. - (Mathematics in science and engineering; 29) . ISBN : 978-0-12-470850-1 Langues : Anglais Mots-clés : théorie des modèles  théorie de l'information  linguistique algébrique  des modèle analytique Note de contenu : index, références

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
9518	MAR/94/4315	Livre	Recherche	Salle	Disponible

Around classification theory of models / Saharon SHELAH (1986)

Permalink

Classification theory / J.T. Baldwin (1987)

Permalink

Complete theories / Abraham ROBINSON (1956)

Permalink

Factorization and model theory for contraction operators with unitary part / Joseph A. BALL (1978)

Permalink

Leçons de mathématiques d'aujourd'hui. Volume 5 (DL 2019)

Permalink