The AProS Project: Strategic Thinking & Computational Logic

DOI10.1093/JIGPAL/JZM026MaRDI QIDQ5427804zbMATH OpenOpenAlexFDO

Authors Wilfried Sieg

Publication date 27 November 2007

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/8eff298d4159b060f950acd45d0a4e10fb3a32f2

zbMATH Keywords

automated proof searchCarnegie proof labdynamic proof tutorintercalation calculusintroduction to logicnatural deduction proofopen learning initiative (OLI)strategic thinking

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Problem books, competitions, examinations (aspects of mathematics education) (97U40) Technological tools, calculators (aspects of mathematics education) (97U70)

Recommendations

• Strategic construction of Fitch-style proofs
• \textit{Symlog}. Automated advice in Fitch-style proof construction
• ORGANON The Web Tutor for Basic Logic Courses
• scientific article; zbMATH DE number 4041854
• e-learning logic and mathematics: what we have and what we still need

Cited in

(14)

• Strategic construction of Fitch-style proofs
• Human-centered automated proof search
• Computer runtimes and the length of proofs. With an algorithmic probabilistic application to waiting times in automatic theorem proving
• Interactive computer programs (ICP) for teaching the indirect method for theorem proving
• e-learning logic and mathematics: what we have and what we still need
• scientific article; zbMATH DE number 1497860 (Why is no real title available?)
• Proofs as Objects
• Shortening of proof length is elusive for theorem provers
• Equational logic as a tool
• \textit{Symlog}. Automated advice in Fitch-style proof construction
• Pandora: A Reasoning Toolbox using Natural Deduction Style
• ORGANON The Web Tutor for Basic Logic Courses
• Software Tools in Logic Education: Some Examples
• Learning to reason assisted by automated reasoning

This page was built for publication: The AProS Project: Strategic Thinking & Computational Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5427804)