Touche la carte pour la faire tourner.
Rare
Système de déduction mathématique
1/1Un exemplaire au monde.
En logique mathématique et plus précisément en théorie de la démonstration, le calcul des séquents est un système de déduction créé par Gerhard Gentzen. Le nom de ce formalisme fait référence à un style particulier de déduction ; le système original a été adapté à diverses logiques, telles que la logique classique, la logique intuitionniste et la logique linéaire.
Illustration
Cette carte n’a pas encore d’illustration.
Texte
Résumé et adapté de l’article « Calcul des séquents », Wikipédia en français. Licence CC BY-SA 4.0.
Aura : statistiques de consultation de l’API Wikimedia.