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... > Lire la suite
Plus d'un million de livres disponibles
Retrait gratuit en magasin
Livraison à domicile sous 24h/48h* * si livre disponible en stock, livraison payante
26,00 €
Expédié sous 3 à 6 jours
ou
À retirer gratuitement en magasin U entre le 9 octobre et le 11 octobre
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.
Pierre le Barbenchon est agrégé et doctorant en mathématiques à l'université de Rennes 1. Sophie Pinchinat est professeure à l'Université de Rennes 1. François Schwarzentruber est agrégé et maître de conférences à l'ENS Rennes.