Tous nos rayons

Déjà client ? Identifiez-vous

Mot de passe oublié ?

Nouveau client ?

CRÉER VOTRE COMPTE
Logique : fondements et applications
Ajouter à une liste

Librairie Eyrolles - Paris 5e
Disponible en magasin

Logique : fondements et applications

Logique : fondements et applications

Cours et exercices corrigés

Pierre Le Barbenchon, Sophie Pinchinat, François Schwarzentruber - Collection Sciences sup

288 pages, parution le 05/01/2022

Résumé

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.

L'auteur - Pierre Le Barbenchon

Autres livres de Pierre Le Barbenchon

L'auteur - François Schwarzentruber

Autres livres de François Schwarzentruber

Sommaire

Logique propositionnelle. Formules. Fragments syntaxiques (restriction, fragments, expressivité). Problème SAT. Problème VALIDE. Théorème de compacité et applications. Une autre sémantique : les jeux d'évaluation. Modélisation.
Logique du premier ordre. Termes. Formules. La résolution. Systèmes de preuve. Une autre sémantique : les jeux d'évaluation. Théories. Jeux d'EF. Automate et logique. Base de données et logique
Voir tout
Replier

Caractéristiques techniques

  PAPIER NUMERIQUE
Éditeur(s) Dunod
Auteur(s) Pierre Le Barbenchon, Sophie Pinchinat, François Schwarzentruber
Collection Sciences sup
Parution 05/01/2022 05/01/2022
Nb. de pages 288 288
Format 17 x 24 -
Couverture Broché -
Poids 498g -
Intérieur Noir et Blanc -
Contenu - PDF
EAN13 9782100821587 9782100839513
ISBN13 978-2-10-082158-7 -

Avantages Eyrolles.com

Livraison à partir de 0,01 en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
satisfait ou remboursé
Satisfait ou remboursé
Paiement sécurisé
modes de paiement
Paiement à l'expédition
partout dans le monde
Livraison partout dans le monde
Service clients sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925
Recevez nos newsletters
Vous serez régulièrement informé(e) de toutes nos actualités.
Inscription