Résultat de la recherche
1 résultat(s) recherche sur le tag 'Théorèmes : Démonstration automatique
Logique mathématique' 
Ajouter le résultat dans votre panier Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche
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
Accueil
