Épreuve à l'épreuve une interface graphique riche utilisée pour interagir avec les APROS
Télécharger maintenant

Épreuve à l'épreuve Classement & Résumé

Épreuve à l'épreuve Mots clés

interface graphique preuve MSXML version 6.10.1129.0 ucweb safari Logiciel MIG33 PC téléchargement du jeu d'outils kitox Ports Firefox Windows Nokia Antivirus Navigateur Safari pour akai campioni libre Zune 30 hacks émuler la musique arabe Analyseur graphique

Épreuve à l'épreuve La description

APROS utilise la méthode d'intercalation pour rechercher des épreuves de déduction naturelles normales dans une logique classique sensitive et prédicate. La méthode a été adaptée à la recherche également dans une logique intuitionniste et minimale, dans des parties élémentaires de la théorie définie et de la métamathématique formalisée. Gentzen proposait des calculs de déduction naturelle comme des outils logiques qui capturent, tout à fait directement, comment la raison des humains à travers une preuve. Ils permettent, le plus distinctement, le raisonnement avec les hypothèses et l'introduction ainsi que les règles d'élimination des connectifs logiques. La méthode d'intercalation exploite systématiquement l'idée sous-jacente selon laquelle les règles d'élimination permettent la décomposition de formules complexes et que les règles d'introduction permettent de constituer des complexes complexes. La caractéristique la plus distinctive de la procédure de recherche implémentée en APROS est que la construction de la preuve peut être séparée de manière stratégique en trois modules distincts: l'extraction ou l'utilisation directe de règles d'élimination, d'inversion ou d'utilisation arrière des règles d'introduction, et enfin, l'utilisation de Argumentation indirecte. Dans l'épreuve d'épreuve, on peut afficher à la fois la preuve résultante et chaque étape de la recherche dans un certain nombre de formats. Outil de recherche de la preuve automatique pour la logique de premier ordre classique et intuitionniste. Utilise le moteur de recherche de l'épreuve de l'APROS sous-jacent. Obtenez une épreuve à l'épreuve et essayez de voir ce que c'est tout!

Épreuve à l'épreuve Logiciels associés