Catégories
(3)
Affiner la recherche Interroger des sources externes
texte imprimé
René David, Auteur ; Karim Nour, Auteur ; Christophe Raffalli, Auteur ; Pierre-Louis Curien, Préfacier, etc. | Paris : Dunod | Sciences sup | DL 2004La 4e de couverture indique : "Cet 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ématiq[...]Nouveauté
texte imprimé
Pierre Le Barbenchon, Auteur ; Sophie Pinchinat, Auteur ; François Schwarzentruber, Auteur | Malakoff : Dunod | Sciences Sup | DL 2022Cet ouvrage concis et rigoureux présente l'ensemble des fondements de la logique vue en Licence 2 et 3 d'informatique et de mathématiques appliquées à l'informatique, à savoir logique propositionnelle et logique du premier ordre. De nombreux exe[...]
texte imprimé
