ORGANON The Web Tutor for Basic Logic Courses

DOI10.1093/JIGPAL/JZM021MaRDI QIDQ5427796zbMATH OpenOpenAlexFDO

Authors Ludmila Dostálová, Jaroslav Lang

Publication date 27 November 2007

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

Full work available at URL https://doi.org/10.1093/jigpal/jzm021

zbMATH Keywords

assessmentpredicate logicpropositional logicteaching

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

• The AProS Project: Strategic Thinking & Computational Logic
• scientific article; zbMATH DE number 53604
• Pandora: A Reasoning Toolbox using Natural Deduction Style
• Language, proof, and logic. In collaboration with Albert Liu, Michael Murray and Emma Pease. With CD-ROM
• scientific article; zbMATH DE number 2088861

Cited in

(4)

• ORGANON
• Software Tools in Logic Education: Some Examples
• The AProS Project: Strategic Thinking & Computational Logic
• Learning to reason assisted by automated reasoning

This page was built for publication: ORGANON The Web Tutor for Basic Logic Courses

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