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

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Jaume Mathieu (Auteur), Journault Matthieu (Auteur), Lesot Marie-Jeanne (Auteur), Manoury Pascal (Auteur), Mounier Isabelle (Auteur)
Autres auteurs : Raffalli Christophe (Préfacier)
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 :
Logique informatique
Prédicat (logique)
Manuels d'enseignement supérieur
Problèmes et exercices
Documents associés : Autre format: Logique pour l'informatique
LEADER 03179cam a2200649 4500
001 PPN25022643X
003 http://www.sudoc.fr/25022643X
005 20240604055500.0
010 |a 978-2-3400-4261-2  |b br.  |d 32 EUR 
035 |a (OCoLC)1206370608 
073 1 |a 9782340042612 
100 |a 20201109h20202020k y0frey0103 ba 
101 0 |a fre  |e fre  |2 639-2 
102 |a FR 
105 |a y a 001yy 
106 |a r 
181 |6 z01  |c txt  |2 rdacontent 
181 1 |6 z01  |a i#  |b xxxe## 
182 |6 z01  |c n  |2 rdamedia 
182 1 |6 z01  |a n 
183 1 |6 z01  |a nga  |2 RDAfrCarrier 
200 1 |a Logique pour l'informatique  |f Mathieu Jaume, Matthieu Journault, Marie-Jeanne Lesot... [et al.]  |g [préface, Christophe Raffalli] 
214 0 |a Paris  |c Ellipses  |d DL 2020 
215 |a 1 vol. (vi-331 p.)  |c couv. ill. en coul.  |d 24 cm 
225 2 |a Références sciences 
339 |a 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 
312 |a La couv. porte en plus : "Licence, Master" 
314 |a Autres contributions : Pascal Manoury, Isabelle Mounier (auteurs) 
320 |a Bibliogr. p. [325]-327. Index 
359 2 |b 1, Langages logiques  |b 2, Preuves formelles  |b 3, Interprétation : fonctions, prédicats et connecteurs  |b 4, Variables et quantificateurs  |b 5, Correction et complétude  |b 6, Calculabilité et décidabilité  |b 7, Le fragment propositionnel  |b 8, Résolution, unification  |b 9, La correspondance preuves-programmes  |b 10, Bases de données  |b 11, Model checking et logiques temporelles  |b A, Solutions des exercices 
410 | |0 165256990  |t Références sciences  |x 2260-8044 
452 | |0 25552918X  |t Logique pour l'informatique  |f Mathieu Jaume, Matthieu Journault, Marie-Jeanne Lesot... [et al.]  |c Paris  |n Ellipses  |d 2020  |y 978-23-4004-492-0 
606 |3 PPN035073144  |a Logique informatique  |2 rameau 
606 |3 PPN027301273  |a Prédicat (logique)  |2 rameau 
608 |3 PPN03020934X  |a Manuels d'enseignement supérieur  |2 rameau 
608 |3 PPN027790517  |a Problèmes et exercices  |2 rameau 
676 |a 510.1  |v 23 
680 |a QA9 
700 1 |3 PPN177111712  |a Jaume  |b Mathieu  |4 070 
701 1 |3 PPN249277700  |a Journault  |b Matthieu  |f 1991-....  |4 070 
701 1 |3 PPN085526282  |a Lesot  |b Marie-Jeanne  |f 1978-....  |4 070 
701 1 |3 PPN061629618  |a Manoury  |b Pascal  |4 070 
701 1 |3 PPN10996599X  |a Mounier  |b Isabelle  |4 070 
702 1 |3 PPN066971616  |a Raffalli  |b Christophe  |4 080 
801 3 |a FR  |b Electre  |c 20201109  |g AFNOR 
801 3 |a FR  |b Abes  |c 20221214  |g AFNOR 
979 |a IUTN 
979 |a SCI 
979 |a IUTNC 
979 |a ECN 
930 |5 441092206:688431216  |b 441092206  |j s 
930 |5 441092104:69066463X  |b 441092104  |j u 
930 |5 441092220:694792284  |b 441092220  |j s 
930 |5 441092306:755392957  |b 441092306  |j u 
991 |5 441092206:688431216  |a Exemplaire modifié automatiquement. le 25-01-2023 15:46 
991 |5 441092220:694792284  |a Exemplaire modifié automatiquement. le 23-01-2023 16:11 
998 |a 886178