Les démonstrations et les algorithmes : introduction à la logique et à la calculabilité

La 4e de couverture indique : "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 et le calcul. Ce livre est une introduction aux con...

Description complète

Enregistré dans:
Détails bibliographiques
Auteur principal : Dowek Gilles (Auteur)
Format : Livre
Langue : français
Titre complet : Les démonstrations et les algorithmes : introduction à la logique et à la calculabilité / Gilles Dowek
Publié : Palaiseau : Les Editions de l'Ecole polytechnique , DL 2010
Description matérielle : 1 vol. (193 p.)
Collection : Informatique (Palaiseau)
Sujets :
Chargement en cours