Logique mathématique. cours et exercices corrigés 1, Calcul propositionnel, algèbre de Boole, calcul des prédicats :
Guardado en:
| Autores principales: | , |
|---|---|
| Otros Autores: | |
| Formato: | Livre papier |
| Lenguaje: | Français |
| Publicado: |
Paris :
Dunod
DL 2003.
|
| Colección: | Sciences sup
|
| Materias: | |
| Nota: |
Autres tirages : 2005, 2007, 2010, 2011, 2014, 2015, 2018, 2021 |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | Calcul propositionnel, algèbre de Boole, calcul des prédicats |
Tabla de Contenidos:
- Chapitre 1. Calcul propositionnel
- Chapitre 2. Algèbres de Boole
- Chapitre 3. Calcul des prédicats
- Chapitre 4. Théorèmes de complétude -
- Solutions des exercices du tome 1.