Détail de l'indexation
511 Ouvrages de la bibliothèque en indexation 511.3 (10)
Affiner la recherche
texte imprimé
texte imprimé
texte imprimé
René David, Auteur ; Christophe Raffalli, Auteur ; Karim Nour, Auteur | Paris : Dunod | Sciences sup | 2003Cet ouvrage, entièrement révisé dans cette seconde édition, présente la théorie de la démonstration en tant que discipline et en tant qu'outil. Les premiers chapitres présentent les bases du raisonnement mathématique et la syntaxe associée au ca[...]
texte imprimé
texte imprimé
Stephen Cole Kleene, Auteur ; Jean Largeault, Traducteur | Paris : Armand Colin | Série "Epistémologie", ISSN 2265-6197 | 1971
texte imprimé
René Cori, Auteur ; Daniel Lascar, Auteur ; Jean-Louis Krivine, Préfacier, etc. | Paris : Dunod | Sciences sup | 2003Dans ce premier tome, les auteurs présentent successivement le calcul propositionnel, les algèbres de Boole, le calcul des prédicats et les théorèmes de complétude.texte imprimé
texte imprimé
Serge Cantat, Auteur ; Antoine Chambert-Loir, Auteur ; Vincent Guedj, Auteur | Paris : Société mathématique de France | Panoramas et synthèses - Société mathématique de France, ISSN 1272-3835 | 2010texte imprimé
