En cours de chargement...
Le nouveau livre en format poche de Virginie Grimaldi
8,90€
Logique : fondements et applications (Broché)
26,00 €
Expédié sous 3 à 6 jours
-
ouÀ retirer gratuitement en magasin U
entre le 15 mai et le 17 mai
-
E-book
À partir de 17,99 €
-
PDF
17,99 €
-
PDF
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'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.
Sommaire
- LOGIQUE PROPOSITIONNELLE
- Formules
- Fragments syntaxiques
- Problème SAT
- Problème VALIDE
- Compacité
- LOGIQUE DU PREMIER ORDRE
- Termes
- Formules
- Cardinalité des modèles
- Problème VALIDE
- Systèmes de preuves
- Théories du premier ordre
- POUR ALTER PLUS LOIN EN LOGIQUE DU PREMIER ORDRE
- Théorie des modèles finis et jeux d'Ehrenfeucht-Fraissé
- Automates et logique
- Bases de données et logique.
Fiche technique
- Date de parution : 05/01/2022
- Editeur : Dunod
- Collection : Sciences Sup. Mathématiques
- ISBN : 978-2-10-082158-7
- EAN : 9782100821587
- Format : Grand Format
- Présentation : Broché
- Nb. de pages : 286 pages
- Poids : 0.495 Kg
- Dimensions : 17,0 cm × 24,0 cm × 1,5 cm
L'éditeur en parle
Les plus en ligne : retrouvez l'outil en ligne Pravda conçu par les auteurs.
À propos des auteurs
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.
Des mêmes auteurs
Logique : fondements et applications est également présent dans les rayons
Logique : fondements et applications
26,00 €