Nous utilisons des cookies pour améliorer votre expérience. Pour nous conformer à la nouvelle directive sur la vie privée, nous devons demander votre consentement à l’utilisation de ces cookies. En savoir plus.
Introduction aux calculs des séquents
Academia - EAN : 9782806132567
Édition papier
EAN : 9782806132567
Paru le : 30 janv. 2024
16,00 €
15,17 €
Disponible
Pour connaître votre prix et commander, identifiez-vous
Notre engagement qualité
-
Livraison gratuite
en France sans minimum
de commande -
Manquants maintenus
en commande
automatiquement -
Un interlocuteur
unique pour toutes
vos commandes -
Toutes les licences
numériques du marché
au tarif éditeur -
Assistance téléphonique
personalisée sur le
numérique -
Service client
Du Lundi au vendredi
de 9h à 18h
- EAN13 : 9782806132567
- Collection : PEDASUP
- Editeur : Academia
- Date Parution : 30 janv. 2024
- Disponibilite : Disponible
- Barème de remise : NS
- Nombre de pages : 152
- Format : H:240 mm L:155 mm E:9 mm
- Poids : 235gr
- 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.
- Biographie : Certifié des recherches en philosophie des sciences de l’Université catholique de Louvain, docteur en philosophie de l’Université de Nantes, Jean B. Murhega, auteur des textes sur la logique, des articles sur Karl Popper, etc., est enseignant-chercheur à l’Université de Lubumbashi où il assume les cours de logiques classiques et non classiques.
