University Sétif 1 FERHAT ABBAS Faculty of Sciences
Détail de l'auteur
Auteur Mathieu jaume |
Documents disponibles écrits par cet auteur
Ajouter le résultat dans votre panier Affiner la recherche
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. IndexLangues : 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 automatiqueCô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 automatiqueCôte titre : Fs/24823-24825 Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité Fs/24823 Fs/24823-24825 livre Bibliothéque des sciences Français Disponible
DisponibleFs/24824 Fs/24823-24825 livre Bibliothéque des sciences Français Disponible
DisponibleFs/24825 Fs/24823-24825 livre Bibliothéque des sciences Français Disponible
Disponible
