Logique pour l'informatique

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

Saved in:
Bibliographic Details
Main Authors : Jaume Mathieu (Auteur), Journault Matthieu (Auteur), Lesot Marie-Jeanne (Auteur), Manoury Pascal (Auteur), Mounier Isabelle (Auteur)
Other Authors : Raffalli Christophe (Préfacier)
Format : Book
Language : français
Title statement : Logique pour l'informatique / Mathieu Jaume, Matthieu Journault, Marie-Jeanne Lesot... [et al.]; [préface, Christophe Raffalli]
Published : Paris : Ellipses , DL 2020
Physical Description : 1 vol. (vi-331 p.)
Series : Références sciences
Subjects :
Logique informatique
Prédicat (logique)
Manuels d'enseignement supérieur
Problèmes et exercices
Related Items : Additional physical form: Logique pour l'informatique

BU Sciences

Holdings details from BU Sciences
Location Call Number Number Loan type Status
Rez-de-chaussée, salle 2 005.131 JAU 2020 Empruntable Emprunté
Return Date 01/07/2024

Bib. Centrale Nantes

Holdings details from Bib. Centrale Nantes
Location Call Number Number Loan type Status
Bibliothèque 681.3 JAU A01 Empruntable Available

Bib. IUT de Nantes - Carquefou

Holdings details from Bib. IUT de Nantes - Carquefou
Location Call Number Number Loan type Status
Site Carquefou 005.1 JAU Prêt sans prolongation Available