ProblemDisplay.

Una ricca interfaccia grafica utilizzata per interagire con ARROS
Scarica ora

ProblemDisplay. Classifica e riepilogo

Annuncio pubblicitario

  • Rating:
  • Licenza:
  • Freeware
  • Nome editore:
  • AProS Project
  • Sistemi operativi:
  • Windows All
  • Dimensione del file:
  • 4.5 MB

ProblemDisplay. Tag


ProblemDisplay. Descrizione

Apros utilizza il metodo di intercalazione per cercare normali prove di deduzione naturale nella logica sentenziale e predicato classica. Il metodo è stato adattato per la ricerca anche in logica intuizionistica e minimale, in parti elementari della teoria fissata e in metamatima formalizzata. Genzen ha proposto calcoli di detrazione naturale come strumenti logici che catturano, proprio direttamente, come gli umani ragionano attraverso una prova. Consentono, più distintamente, ragionando con ipotesi e introduzione e regole di eliminazione per i connettivi logici. Il metodo di intercalation sfrutta sistematicamente l'idea sottostante che le regole di eliminazione consentono la decomposizione di formule complesse e che le regole di introduzione consentono di costruire quelle complesse. La caratteristica più distintiva della procedura di ricerca implementata in ARROS è che la costruzione della prova può essere separata strategicamente in tre moduli distinti: l'estrazione o l'uso diretto per l'uso in avanti delle regole di eliminazione, l'inversione o l'uso all'indietro delle regole di introduzione e, infine, l'uso di regole di introduzione e infine argomentazione indiretta. Nel caso di prova, si può visualizzare sia la prova risultante che ogni passo nella ricerca in un numero di formati. Strumento di ricerca a prova automatica per la logica del primo ordine classica e intuizionistica. Utilizza il motore di ricerca a prova di ARROS sottostante. Get ProofDisplay e prova a provare a vedere cosa si tratta!


ProblemDisplay. Software correlato

Chi siamo