Logique pour l'informatique
Une introduction aux concepts de la logique des prédicats du premier ordre tels que la syntaxe, la sémantique et les preuves formelles. Le manuel insiste sur leurs applications en informatique, aboutissant aux méthodes algorithmiques de démonstration automatique. ©Electre 2021
Enregistré dans:
Auteurs principaux : | , , , , |
---|---|
Autres auteurs : | |
Format : | Livre |
Langue : | français |
Titre complet : | Logique pour l'informatique / Mathieu Jaume, Matthieu Journault, Marie-Jeanne Lesot... [et al.]; [préface, Christophe Raffalli] |
Publié : |
Paris :
Ellipses
, DL 2020 |
Description matérielle : | 1 vol. (vi-331 p.) |
Collection : | Références sciences |
Sujets : | |
Documents associés : | Autre format:
Logique pour l'informatique |
BU Sciences
| Cote | Année | Prêt | Statut |
---|---|---|---|---|
Rez-de-chaussée, salle 2 | 005.131 JAU | 2020 | Empruntable | Disponible |
Bib. Centrale Nantes
| Cote | Année | Prêt | Statut |
---|---|---|---|---|
Bibliothèque | 681.3 JAU A01 | Empruntable | Disponible |
Bib. IUT de Nantes - Carquefou
| Cote | Année | Prêt | Statut |
---|---|---|---|---|
Site Carquefou | 005.1 JAU | Prêt sans prolongation | Disponible |
Bib. IUT de Nantes - Joffre
| Cote | Année | Prêt | Statut |
---|---|---|---|---|
Site Joffre | 700-28 | Prêt sans prolongation | Disponible |