Les fondements de la logique vue en cours d'informatique et de mathématiques appliquées à l'informatique, avec de nombreux exercices corrigés et une ouverture sur des applications pratiques : logique et base de données, structures automatiques et jeux d'évaluation. Accessible gratuitement, l'outil en ligne Pravda donne accès à des exercices en logique formelle pour les systèmes de preuve. ©Electre 2024
Logique : fondements et applications
Cet ouvrage concis et rigoureux présente l'ensemble des fondements de la logique étudiés dans l'enseignement supérieur, à savoir la logique propositionnelle et la logique du premier ordre. Il est conçu pour être utilisé dans les universités et dans les classes préparatoires MP2I et MPI, du niveau L2 jusqu'à la préparation à l'agrégation d'informatique.
Les plus
Le public
Paru le : 05/01/2022
Thématique : Mathématiques 1er Cycle
Auteur(s) : Auteur : P. Le Barbenchon Auteur : Sophie Pinchinat Auteur : François Schwarzentruber
Éditeur(s) :
Dunod
Collection(s) : Sciences sup
Série(s) : Non précisé.
ISBN : 978-2-10-082158-7
EAN13 : 9782100821587
Reliure : Broché
Pages : 286
Hauteur: 24.0 cm / Largeur 17.0 cm
Épaisseur: 1.6 cm
Poids: 498 g
Carte fidélité
Mollat Radio
