Retour au catalogue
Les démonstrations et les algorithmes : introduction à la logique et à la calculabilité
De Gilles Dowek
ISBN-13
9782730215695
Éditeur
les Éd. de l'École polytechnique (Palaiseau)
Date de publication
01/01/2010
Résumé
Tour à tour branche de la philosophie, des mathématiques et de l'informatique, la logique a pour objet d'étude les méthodes qui permettent d'établir qu'un énoncé est vrai, tels le raisonnement
0 annonce en vente actuellement
