Introduction aux calculs des séquents
Raisonner avec joseph dopp
Jean B. Murhega - Collection Pédasup
152 pages, parution le 30/01/2024
Résumé
Manuel de logique moderne classique pour étudiants et chercheurs du supérieur, cet ouvrage présente la méthode du calcul des séquents (les groupes L). Celle-ci est une méthode de décision syntaxique ou une théorie de la démonstration utilisée par Joseph Dopp pour construire six systèmes logiques. Chacun de ces systèmes utilise des schémas d'introduction d'un opérateur dans l'antécédent ou dans le conséquent pour l'engendrement ou la démonstration des théorèmes en conformité avec les règles et les opérateurs logiques : l'implication, la conjonction, la disjonction, la négation, la négation stricte et le schéma f. Cet ouvrage présente ces systèmes logiques, les analyse, les explicite et les enrichit des exercices d'illustration résolus pour faciliter au lecteur l'approfondissement et la maîtrise de la méthode des séquents.
Caractéristiques techniques
| PAPIER | NUMERIQUE | |
| Éditeur(s) | Academia-Bruylant | |
| Auteur(s) | Jean B. Murhega | |
| Collection | Pédasup | |
| Parution | 30/01/2024 | 08/02/2024 |
| Nb. de pages | 152 | - |
| Format | 15.5 x 24 | - |
| Couverture | Broché | - |
| Poids | 235g | - |
| Contenu | - |
PDF |
| EAN13 | 9782806132567 |
9782806132574 |
Avantages Eyrolles.com
Livraison à partir de 0,01 € en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
