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 MP...
Sparad:
| Huvudupphovsmän: | , , |
|---|---|
| Materialtyp: | Livre papier |
| Språk: | Français |
| Publicerad: |
Malakoff :
Dunod
DL 2022.
|
| Serie: | Sciences sup
|
| Ämnen: | |
| Anmärkning: |
La couverture porte en plus : "Cours, exercices. Les + en ligne" |
| Autres localisations: | Voir dans le Sudoc |
| LEADER | 02225nam a22003137a 4500 | ||
|---|---|---|---|
| 001 | 900759 | ||
| 008 | 220120t20222022xxg ||| |||| 00| 0 fre d | ||
| 009 | PPN259850462 | ||
| 020 | |a 9782100821587 (br.) | ||
| 020 | |a 9782100836000 (br.) | ||
| 024 | |a 9782100821587 | ||
| 024 | |a 9782100836000 | ||
| 041 | 0 | |a fre | |
| 082 | |a 511.3 | ||
| 100 | 1 | |a Le Barbenchon, Pierre, |d 1996- | |
| 245 | 1 | 0 | |a Logique : |b fondements et applications |c Pierre Le Barbenchon, Sophie Pinchinat, François Schwarzentruber. |
| 260 | |a Malakoff : |b Dunod, |c DL 2022. | ||
| 300 | |a 1 volume (286 p.) : |b ill., graph., couv. ill. en coul. ; |c 24 cm. | ||
| 490 | 1 | |a Sciences sup |x 1636-2217 | |
| 500 | |a La couverture porte en plus : "Cours, exercices. Les + en ligne" | ||
| 504 | |a Bibliographie p. [275]-280. Dictionnaire des synonymes. Index | ||
| 505 | 0 | |a LOGIQUE PROPOSITIONNELLE. Formules. Fragments syntaxiques. Problème SAT. Problème VALIDE. Compacité. LOGIQUE DU PREMIER ORDRE. Termes. Formules. Cardinalité des modèles. Problème VALIDE. Systèmes de preuves. Théories du premier ordre. POUR ALTER PLUS LOIN EN LOGIQUE DU PREMIER ORDRE. Théorie des modèles finis et jeux d'Ehrenfeucht-Fraissé. Automates et logique. Bases de données et logique. | |
| 520 | |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." | ||
| 521 | |a Licence 2/3, classes prépa, agrégation | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Manuels d'enseignement supérieur | ||
| 700 | 1 | |a Pinchinat, Sophie, |d 1964-...., |c auteure en informatique. |4 aut | |
| 700 | 1 | |a Schwarzentruber, François, |d 1982- |4 aut | |
| 997 | |0 900759 |1 Livre papier |a Ressource papier |c 0/Orléans/ |c 1/Orléans/BU Sciences, Technologies, STAPS/ |z Orléans, BU Sciences, Technologies, STAPS, 511.3 LEB |z Orléans, BU Sciences, Technologies, STAPS, 511.3 LEB |z Orléans, BU Sciences, Technologies, STAPS, 511.3 LEB |z Orléans, BU Sciences, Technologies, STAPS, 511.3 LEB | ||