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 (4)
Faire une suggestion Affiner la recherche
Titre : Logique mathématique T.1 : cours et exercices, calcul propositionnel, algèbre de boole, calcul des prédicats 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. Importance : 385 p. Format : 25 cm. ISBN/ISSN/EAN : 978-2-225-84079-1 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:
Calcul propositionnel
Algèbres de Boole
Calcul des prédicats
Théorèmes de complétude
Solutions des exercicesLogique mathématique T.1 : cours et exercices, calcul propositionnel, algèbre de boole, calcul des prédicats [texte imprimé] / René CORI, Auteur ; Daniel LASCAR, Auteur ; J.-L. KRIVINE, Préfacier, etc. . - Masson, 1994. . - 385 p. ; 25 cm.
ISBN : 978-2-225-84079-1
Index
Langues : Français (fre)
Catégories : MATHÉMATIQUES:Logique mathématique Index. décimale : 04-07 Logique mathématique Résumé : Sommaire:
Calcul propositionnel
Algèbres de Boole
Calcul des prédicats
Théorèmes de complétude
Solutions des exercicesExemplaires(1)
Code-barres type de document numéro d'inventaire Cote Support Localisation Section Disponibilité 00001000118495 04-07-0024 Livre Salle 1 Documentaires Exclu du prêt 62917 Documents numériques
SommaireAdobe Acrobat PDF
Titre : Logique Mathématique T.2 : Cours et exercices Titre original : 2. 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 = 2. Fonctions récursives, théorème de Godel, théorie des ensembles, théorie des modèles : Cours et exercices [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-0025 Livre Salle 1 Documentaires Exclu du prêt 62921 Documents numériques
SommaireAdobe Acrobat PDF
Titre : Logique mathématique T.1 (licence, master) : 1. Calcul propositionnel, algèbre de boole, calcul des prédicats Titre original : 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) = cours et exercices corrigés : 1. Calcul propositionnel, algèbre de boole, calcul des prédicats [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-0036 Livre Salle 1 Documentaires Exclu du prêt 127943
Titre : Logique mathématique T.2 (licence, master) : 2. fonctions récursives théoréme de Godel théorie des ensembles théorie des modeles Titre original : Cours et exercices corrigés 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 corrigés : 2. fonctions récursives théoréme de Godel théorie des ensembles théorie des modeles [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-0037 Livre Salle 1 Documentaires Exclu du prêt 127950
