Titre :	Logique pour l'informatique
Type de document :	texte imprimé
Auteurs :	Mathieu jaume, Auteur ; Matthieu journault, Auteur
Editeur :	Paris : Ellipses
Année de publication :	2020
Importance :	1 vol. (331 p.)
Présentation :	ill.
Format :	24 cm
ISBN/ISSN/EAN :	978-2-340-04261-2
Note générale :	La couv. porte en plus : "Licence-master" Bibliogr. p. 325-327. Index
Langues :	Français (fre)
Catégories :	Informatique
Mots-clés :	Informatique
Index. décimale :	511.3 Logique mathématique
Résumé :	Cet ouvrage débute par une i ntroduction à la logique des prédicats du premier ordre : syntaxe, sémantique et preuves formelles. Il guide en suite le lecteur vers quelques uns de ses aspects plus avancés. Se tou rnant ensuite vers les rapports de la logique et de l'informatique , i l présente les méthodes algorithmiques de démonstration automatique
Côte titre :	Fs/24823-24825

Logique pour l'informatique [texte imprimé] / Mathieu jaume, Auteur ; Matthieu journault, Auteur . - Paris : Ellipses, 2020 . - 1 vol. (331 p.) : ill. ; 24 cm.
ISBN : 978-2-340-04261-2
La couv. porte en plus : "Licence-master"
Bibliogr. p. 325-327. Index
Langues : Français (fre)

Catégories :	Informatique
Mots-clés :	Informatique
Index. décimale :	511.3 Logique mathématique
Résumé :	Cet ouvrage débute par une i ntroduction à la logique des prédicats du premier ordre : syntaxe, sémantique et preuves formelles. Il guide en suite le lecteur vers quelques uns de ses aspects plus avancés. Se tou rnant ensuite vers les rapports de la logique et de l'informatique , i l présente les méthodes algorithmiques de démonstration automatique
Côte titre :	Fs/24823-24825