Logique pour l'informatique
Ce livre a pour base un cours de logique dispensé en 2e année de la licence d'informatique de Sorbonne Université : langage de la logique des prédicats du premier ordre, système de preuves formelles en déduction naturelle, interprétation sémantique des formules et de la conséquence logique. Le...
Gorde:
| Egile Nagusiak: | , , , , |
|---|---|
| Beste egile batzuk: | |
| Formatua: | Livre papier |
| Hizkuntza: | Français |
| Argitaratua: |
Paris :
Ellipses
DL 2020.
|
| Saila: | Références sciences
|
| Gaiak: | |
| Oharra: |
Autres contributions : Pascal Manoury, Isabelle Mounier (auteurs) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Logique pour l'informatique, Mathieu Jaume, Matthieu Journault, Marie-Jeanne Lesot... [et al.], 2020, Paris, Ellipses, 978-23-4004-492-0 |
Aurkibidea:
- 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