Calcul des séquents
Calcul des séquents
Commune
Rareté : Commune
La rareté la plus courante : la plupart des articles de Wikipédia deviennent des Communes.
La rareté suit la notoriété de l’article : ses lectures sur Wikipédia en français et en anglais sur un an, et le nombre de langues dans lesquelles il existe.
Ce qu’il faut savoir
- Classe
- Notion
- Domaine
- Sciences et techniques
- Dans les collections
- Personne ne l’a encore tirée.
Ce qu’en dit Wikipédia
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.
Extrait de l’article « Calcul des séquents » de Wikipédia, sous licence CC BY-SA 4.0. Lire l’article sur Wikipédia
Ouvre des boosters gratuits et ajoute Calcul des séquents à ta collection.
Jouer gratuitement
