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...
Guardat en:
| Autors principals: | , , , , |
|---|---|
| Altres autors: | |
| Format: | Livre papier |
| Idioma: | Français |
| Publicat: |
Paris :
Ellipses
DL 2020.
|
| Col·lecció: | Références sciences
|
| Matèries: | |
| 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 |
Orléans - BU Sciences Technologies STAPS
| Localització | Signatura | Type de prêt | Estat | |
|---|---|---|---|---|
| Informatique, rez-de-chaussée | 005.131 LOG | Disponible | ||
| Informatique, rez-de-chaussée | 005.131 LOG | Disponible |