Résultat de la recherche
1 résultat(s) recherche sur le tag 'Théorèmes : Démonstration automatique
Logique mathématique' ![Surligner les mots recherchés Surligner les mots recherchés](./images/text_horizontalrule.png)
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Imprimer la page de recherche courante...](./images/print.gif)
![Tris disponibles](./images/orderby_az.gif)
![]()
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
![](./images/home.jpg)