fondements et applications
Cet 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 exercices corrigés permettent au lecteur de s'entrainer. Il propose enfin une ouverture sur des applications pratiques de la logique : logique et base de données, structures automatiques, et jeux d'évaluation. L'outil en ligne Pravda, développé pour le livre par les auteurs et accessible gratuitement, fournit des exercices en logique formelle, plus précisément pour les systèmes de preuve.
Genre :Manuels d'enseignement supérieur
Sujet :Logique mathématique
Commandez sur Amazon, ou vérifiez la disponibilité chez les libraires indépendants et réservez pour un retrait ou une livraison : Place des Libraires couvre toute la France, Paris Librairies les librairies parisiennes.
Recherche préremplie — titre et auteur, toutes éditions confondues — chez 7 marchands d’occasion et sites de petites annonces.
Beaucoup d’éditions sont épuisées — soyez prévenu par email quand une offre d’occasion réapparaît, au prix qui vous convient.
Votre adresse sert uniquement à vous prévenir pour ce livre : une confirmation vous sera demandée par email, et chaque message contient un lien de désinscription en un clic. Aucune revente, aucune lettre d’information.
| En librairie |
| BNF → |
