Passer au contenu
Mon compte
Wishlist
Panier 00:00
Panier 00:00

Logique : fondements et applications

Audience : Adulte - Haut niveau
Le Pitch
SommaireLogique 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,PrésentationCet ouvrage concis et rigoureux présente l’ensemble desfondements 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 :Des exercicesà la fin de chaque chapitre pour s’approprier les notions Les liens entre la logique et d’autres domaines de l’informatique comme : jeux, automates et bases de donnéesL’outil en ligne Pravda, développé pour le livre par les auteurs Afficher moinsAfficher plus

Logique : fondements et applications

26,80 €
Sélectionnez la condition
26,80 €

Le Pitch

SommaireLogique 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,PrésentationCet ouvrage concis et rigoureux présente l’ensemble desfondements 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 :Des exercicesà la fin de chaque chapitre pour s’approprier les notions Les liens entre la logique et d’autres domaines de l’informatique comme : jeux, automates et bases de donnéesL’outil en ligne Pravda, développé pour le livre par les auteurs Afficher moinsAfficher plus

Détails du livre

Titre complet
Logique : fondements et applications: Cours et exercices corrigés
Editeur
Format
Grand Format
Publication
05 janvier 2022
Auteur
Pinchinat, Sophie
Auteur
Schwarzentruber, François
Audience
Adulte - Haut niveau
Pages
288
Taille
24 x 17.2 x 1.7 cm
Poids
503
ISBN-13
9782100821587

Auteur

Livré entre : 16 juin - 21 juin
Disponible chez le fournisseur
Impression à la demande
Expédition immédiate
Chez vous entre :
Les délais de livraison ont tendance à s'accélérer ces dernières semaines, le temps indiqué peut être plus court que prévu. Les délais de livraison ont tendance à s'allonger ces dernières semaines, le temps indiqué peut être plus long que prévu.
Livraison gratuite (FR) à partir de 35,00 € de livres neufs
Retour GRATUIT sous 14 jours.
Image to render

Revendez-le sur notre application!

Aller plus loin

Vous pouvez également aimer

Récemment consultés