Nantilus
Logique : fondements et applications
Cet ouvrage concis et rigoureux présente l'ensemble des fondements de la logique étudiés dans l'enseignement supérieur, à savoir lalogique propositionnelle et la logique du premier ordre. Il est conçu pour être utilisé dans les universités et dans les classes préparatoires MP2I et MPI, du...
Enregistré dans:
| Auteurs principaux : | , , |
|---|---|
| Format : | Livre |
| Langue : | français |
| Titre complet : | Logique : fondements et applications / Pierre Le Barbenchon, Sophie Pinchinat, François Schwarzentruber |
| Publié : |
Malakoff :
Dunod
, DL 2022 |
| Description matérielle : | 1 vol. (286 p.) |
| Collection : | Sciences sup |
| Accès en ligne : |
Ressources en ligne à
|
| Sujets : |
| LEADER | 02483cam a2200469 4500 | ||
|---|---|---|---|
| 001 | PPN259850462 | ||
| 003 | http://www.sudoc.fr/259850462 | ||
| 005 | 20220321055900.0 | ||
| 010 | |a 978-2-1008-2158-7 |b br. |d 26 EUR | ||
| 035 | |a (OCoLC)1292831228 | ||
| 073 | 1 | |a 9782100821587 | |
| 100 | |a 20220120d2022 k y0frey0103 ba | ||
| 101 | 0 | |a fre | |
| 102 | |a FR | ||
| 105 | |a a 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 | |6 z01 |a nga |2 rdamedia | ||
| 200 | 1 | |a Logique |e fondements et applications |f Pierre Le Barbenchon, Sophie Pinchinat, François Schwarzentruber | |
| 214 | 0 | |a Malakoff |c Dunod |d DL 2022 | |
| 215 | |a 1 vol. (286 p.) |c graph., couv. ill. en coul. |d 24 cm | ||
| 225 | 2 | |a Sciences sup |x 1636-2217 | |
| 339 | |a Les fondements de la logique vue en cours d'informatique et de mathématiques appliquées à l'informatique, avec de nombreux exercices corrigés et une ouverture sur des applications pratiques : logique et base de données, structures automatiques et jeux d'évaluation. Accessible gratuitement, l'outil en ligne Pravda donne accès à des exercices en logique formelle pour les systèmes de preuve. ©Electre 2022 | ||
| 300 | |a Ressources en ligne à |u https://livrelogique.github.io/ | ||
| 312 | |a La couverture porte en plus : "Licence 2/3, classes prépa, agrégation. Cours, exercices. Les + en ligne." | ||
| 320 | |a Bibliogr. p. [275]-280. Index | ||
| 330 | |a Cet ouvrage concis et rigoureux présente l'ensemble des fondements de la logique étudiés dans l'enseignement supérieur, à savoir lalogique propositionnelle et la logique du premier ordre. Il est conçu pour être utilisé dans les universités et dans les classes préparatoires MP2I et MPI, du niveau L2 jusqu'à la préparation à l'agrégation d'informatique. |2 4ème de couverture | ||
| 333 | |a Licence 2/3, classes prépa, agrégation | ||
| 410 | | | |0 013680803 |t Sciences sup |x 1636-2217 | |
| 606 | |3 PPN027662799 |a Logique mathématique |2 rameau | ||
| 608 | |3 PPN03020934X |a Manuels d'enseignement supérieur |2 rameau | ||
| 700 | 1 | |3 PPN24888574X |a Le Barbenchon |b Pierre |4 070 | |
| 701 | 1 | |3 PPN097578754 |a Pinchinat |b Sophie |f 1964-.... |4 070 | |
| 701 | 1 | |3 PPN158488911 |a Schwarzentruber |b François |4 070 | |
| 801 | 3 | |a FR |b Electre |c 20220119 |g AFNOR | |
| 801 | 3 | |a FR |b Abes |c 20220318 |g AFNOR | |
| 979 | |a SCI | ||
| 930 | |5 441092104:721296556 |b 441092104 |j u | ||
| 998 | |a 922488 | ||