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 |
সূচিপত্রের সারণি:
- 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.