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...
Salvato in:
| Autori principali: | , , , , |
|---|---|
| Altri autori: | |
| Natura: | Livre papier |
| Lingua: | Français |
| Pubblicazione: |
Paris :
Ellipses
DL 2020.
|
| Serie: | Références sciences
|
| Soggetti: | |
| Nota: |
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 |