Introduction à la logique. Théorie de la démonstration. / René David (2003)

Titre : Introduction à la logique. Théorie de la démonstration. : cours et exercices corrigés Type de document : texte imprimé Auteurs : René David, Auteur ; Karim Nour, Auteur ; Christophe Raffali, Auteur ; Pierre-Louis Curien, Préfacier, etc. Mention d'édition : 2nd. Ed Editeur : Paris : Dunod Année de publication : 2003 Collection : Sciences Sup, ISSN 1636-2217 Importance : XIII-352 p. Présentation : Broché. Couv.ill.en coul., graph. Format : 26 cm ISBN/ISSN/EAN : 978-2-10-006796-1 Langues : Français (fre) Catégories : (02.10) Logique, theorie des ensembles et algebre, theorie des groupes Mots-clés : Logic mathematical Index. décimale : 02.10 Résumé : 1 formules et démonstration de la logique du premier ordre - 2 Complétude de la logique du premier ordre - 3 Exemples de théorie - 4 Logique intuitionniste et modèle de Kripke - 5 Calculs des séquents - 6 Logiques d'ordre supérieur - 7 Démonstration automatique - Le logiciel Phox

Exemplaires(1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
PQ003049	02.10.DAV	texte imprimé	Bibli FERMI 3R4	Recherche	Disponible

---

1 (1 - 1 / 1) Par page : 100