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...
Guardado en:
| Autores principales: | , , |
|---|---|
| Formato: | Livre papier |
| Lenguaje: | Français |
| Publicado: |
Malakoff :
Dunod
DL 2022.
|
| Colección: | Sciences sup
|
| Materias: | |
| Nota: |
La couverture porte en plus : "Cours, exercices. Les + en ligne" |
| Autres localisations: | Voir dans le Sudoc |
Tabla de Contenidos:
- 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.