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 |
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 |