Détail de l'auteur
Auteur Gilles Dowek |
Documents disponibles écrits par cet auteur (2)
Affiner la recherche Interroger des sources externes
texte imprimé
Cet ouvrage qui s'adresse aux étudiants de première année de Master, présente de manière synthétique ce que tous les informaticiens, quelle que soit leur spécialité, devraient savoir sur les langages de programmation.texte imprimé
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 introductio[...]