SCIENCES SUP: LOGIQUE : FONDEMENTS ET APPLICATIONS
COURS ET EXERCICES CORRIGÉS
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.
Description
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.
Renseignements sur l'ouvrage
Ouvrages similaires
-
ALGORITHMESNotions de base -
DU SPORT POUR LES NEURONES ! - A TOUT ÂGE, MUSCLEZ VOTRE CERVEAUA TOUT ÂGE, MUSCLEZ VOTRE CERVEAU -
ANALYSE NUMÉRIQUE MATRICIELLEMathématiques appliquées pour le Master/SMAI -
MATHÉMATIQUES POUR LE TRAITEMENT DU SIGNALCours et exercices corrigés -
ALGORITHMIQUECours avec 957 exercices et 158 problèmes
