Logique mathématique. 1, Calcul propositionnel, algèbre de Boole, calcul des prédicats : cours et exercices corrigés
Guardado en:
| Autor principal: | |
|---|---|
| Otros Autores: | , |
| Formato: | Livre |
| Lenguaje: | Français |
| Publicado: |
Paris :
Dunod,
DL 2003.
|
| Colección: | Sciences sup
|
| Materias: | |
| Autres localisations: | Voir dans le Sudoc |
| Sumario: | Manuel de logique mathématique présentant successivement le calcul propositionnel, les algèbres de Boole, le calcul des prédicats et les théorèmes de complétude. Chaque chapitre est accompagné de nombreux exercices corrigés. ↑Electre 2022 |
BU Sciences
| Localización | Número de Clasificación | Estado | |
|---|---|---|---|
|
|
Libre accès | 511.3 COR | Disponible |