Accueil
Vous pouvez faire des propositions d'achat de livres, en utilisant
le formulaire en ligneVous pouvez vérifier au préalable si le document n'est pas disponible dans notre catalogue.
vous cherchez un livre à la bibliothèque centrale?
Auteur René CORI
|
|
Documents disponibles écrits par cet auteur (3)
Faire une suggestion Affiner la recherche
Titre : Logique mathématique T.2 : cours et exercices fonctions récursives, théorème de Godel, théorie des ensembles, théorie des modèles Type de document : texte imprimé Auteurs : René CORI, Auteur ; Daniel LASCAR, Auteur ; J.-L. KRIVINE, Préfacier, etc. Editeur : Masson Année de publication : 1994 Collection : Axiomes Importance : 347 p. Format : 25 cm. ISBN/ISSN/EAN : 978-2-225-84080-7 Note générale : Index. Langues : Français (fre) Catégories : MATHÉMATIQUES:Logique mathématique Index. décimale : 04-07 Logique mathématique Résumé : Sommaire:
Récursivité.
Formalisation de l'arithmétique.
Théorèmes de Gödel.
Théorie des ensembles.
Un peu de théorie des modèles.
Solutions des exercices.Logique mathématique T.2 : cours et exercices fonctions récursives, théorème de Godel, théorie des ensembles, théorie des modèles [texte imprimé] / René CORI, Auteur ; Daniel LASCAR, Auteur ; J.-L. KRIVINE, Préfacier, etc. . - Masson, 1994 . - 347 p. ; 25 cm.. - (Axiomes) .
ISBN : 978-2-225-84080-7
Index.
Langues : Français (fre)
Catégories : MATHÉMATIQUES:Logique mathématique Index. décimale : 04-07 Logique mathématique Résumé : Sommaire:
Récursivité.
Formalisation de l'arithmétique.
Théorèmes de Gödel.
Théorie des ensembles.
Un peu de théorie des modèles.
Solutions des exercices.Exemplaires(1)
Code-barres type de document numéro d'inventaire Cote Support Localisation Section Disponibilité 00001000422004 04-07-25 Livre Salle 1 Documentaires Exclu du prêt 62921 Documents numériques
SommaireAdobe Acrobat PDF
Titre : Logique mathématique T.1 (licence, master) : calcul propositionnel, algèbre de boole, calcul des prédicats cours et exercices corrigés Type de document : texte imprimé Auteurs : René CORI, Auteur ; Daniel LASCAR, Auteur Editeur : Dunod Année de publication : 2003 Collection : Sciences SUP Importance : 385 P. Format : 25 cm. ISBN/ISSN/EAN : 978-2-10-005452-7 Note générale : Index. Langues : Français (fre) Catégories : MATHÉMATIQUES:Logique mathématique Index. décimale : 04-07 Logique mathématique Logique mathématique T.1 (licence, master) : calcul propositionnel, algèbre de boole, calcul des prédicats cours et exercices corrigés [texte imprimé] / René CORI, Auteur ; Daniel LASCAR, Auteur . - Dunod, 2003 . - 385 P. ; 25 cm.. - (Sciences SUP) .
ISBN : 978-2-10-005452-7
Index.
Langues : Français (fre)
Catégories : MATHÉMATIQUES:Logique mathématique Index. décimale : 04-07 Logique mathématique Exemplaires(1)
Code-barres type de document numéro d'inventaire Cote Support Localisation Section Disponibilité 00001000894442 04-07-36 Livre Salle 1 Documentaires Exclu du prêt 127943
Titre : Logique mathématique T.2 (licence, master) : cours et exercices fonctions récursives, théorème de Godel, théorie des ensembles, théorie des modèles Type de document : texte imprimé Auteurs : René CORI, Auteur ; Daniel LASCAR, Auteur ; J.-L. KRIVINE, Préfacier, etc. Editeur : Dunod Année de publication : 2003 Collection : Sciences SUP Importance : 347 p. Format : 25 cm. ISBN/ISSN/EAN : 978-2-10-005453-4 Langues : Français (fre) Catégories : MATHÉMATIQUES:Logique mathématique Index. décimale : 04-07 Logique mathématique Logique mathématique T.2 (licence, master) : cours et exercices fonctions récursives, théorème de Godel, théorie des ensembles, théorie des modèles [texte imprimé] / René CORI, Auteur ; Daniel LASCAR, Auteur ; J.-L. KRIVINE, Préfacier, etc. . - Dunod, 2003 . - 347 p. ; 25 cm.. - (Sciences SUP) .
ISBN : 978-2-10-005453-4
Langues : Français (fre)
Catégories : MATHÉMATIQUES:Logique mathématique Index. décimale : 04-07 Logique mathématique Exemplaires(1)
Code-barres type de document numéro d'inventaire Cote Support Localisation Section Disponibilité 00001000894491 04-07-37 Livre Salle 1 Documentaires Exclu du prêt 127950
