Ermes 2.0

Connexion Connexion

/

0 avis

Logique pour l'informatique

Livres papier

Jaume, Mathieu - Auteur | Journault, Matthieu (1991-) - Auteur | Lesot, Marie-Jeanne (1978-) - Auteur | Manoury, Pascal - Auteur | Mounier, Isabelle - Auteur

Catalogue des bibliothèques de l'université de Bourgogne

Langue: français

Description physique: 1 vol. (VI-331 p.). couv. ill. en coul.. 24 cm

Collection: Références sciences

Auteur(s) secondaire(s)

Raffalli, Christophe - Préfacier, etc.

ISBN: 978-2-340-04261-2

Note générale

Autres contributions : Pascal Manoury, Isabelle Mounier (auteurs)
Bibliogr. p. [325]-327. Index
Sur la couv. : "Licence, Master"

Sommaire

1. Langages logiques
2. Preuves formelles
3. Interprétation : fonctions, prédicats et connecteurs
4. Variables et quantificateurs
5. Correction et complétude
6. Calculabilité et décidabilité
7. Le fragment propositionnel
8. Résolution, unification
9. La correspondance preuves-programmes
10. Bases de données
11. Model checking et logiques temporelles
A. Solutions des exercices

Vérification des exemplaires disponibles ...

Chargement des enrichissements...

Avis des lecteurs