Logique mathématique. 1, Calcul propositionnel, algèbre de Boole, calcul des prédicats : cours et exercices corrigés
Αποθηκεύτηκε σε:
| Κύριος συγγραφέας: | |
|---|---|
| Άλλοι συγγραφείς: | , |
| Μορφή: | Livre |
| Γλώσσα: | Français |
| Έκδοση: |
Paris :
Dunod,
DL 2003.
|
| Σειρά: | Sciences sup
|
| Θέματα: | |
| Autres localisations: | Voir dans le Sudoc |
| Περίληψη: | 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 |
| Περίληψη: | 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 |
|---|---|
| Περιγραφή τεκμηρίου: | Autres tirages : 2005, 2007, 2010, 2011, 2014, 2015, 2018, 2021 La couverture porte en plus : "Licence, master" |
| Φυσική περιγραφή: | 1 vol. (XV-385 p.) : couv. ill. en coul. ; 24 cm. |
| Βιβλιογραφία: | Bibliogr. p. [361]-363. Index |
| ISBN: | 9782100054527 (br.) 210005452X (br.) 9782100825141 (br.) |