Résultat de la recherche
1 résultat(s) recherche sur le tag 'Théorèmes : Démonstration automatique
Logique mathématique' 




![]()
texte imprimé
René David, Auteur ; Karim Nour, Auteur ; Christophe Raffalli, Auteur | Malakoff : Dunod | Sciences sup. Mathématiques | 2001Ce Cours est une introduction à la logique mathématique et, en particulier, la théorie de la démonstration. On y donne la réponse du mathématicien aux questions " qu'est-ce qu'un énoncé ? une démonstration ? " ou, plus fondamentalement, " qu'e[...]Exemplaires (12)
Cote Support Localisation Disponibilité S8/59057 Livre Bibliothèque centrale Disponible S8/59058 Livre Bibliothèque centrale Disponible S8/59059 Livre Bibliothèque centrale Disponible S8/59060 Livre Bibliothèque centrale Disponible S8/59061 Livre Bibliothèque centrale Disponible S8/60672 Livre Bibliothèque centrale Disponible S8/60673 Livre Bibliothèque centrale Disponible S8/60674 Livre Bibliothèque centrale Disponible S8/60675 Livre Bibliothèque centrale Disponible S8/60676 Livre Bibliothèque centrale Disponible S8/62709 Livre Bibliothèque centrale Disponible S8/62710 Livre Bibliothèque centrale Disponible
