Software Tools in Logic Education: Some Examples

DOI10.1093/JIGPAL/JZM025MaRDI QIDQ5427803zbMATH OpenOpenAlexFDO

Authors Belen Perez-Lancho, E. Jorge, Ana de la Viuda, Raquel Sanchez

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/jzm025

zbMATH Keywords

didactic sofware toolsinformation and communication technology (ICT)Kripke modelssemantic tableaux

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
• ORGANON The Web Tutor for Basic Logic Courses
• Mizar Course in Logic and Set Theory
• Equational logic as a tool
• Language, proof, and logic. In collaboration with Albert Liu, Michael Murray and Emma Pease. With CD-ROM

This page was built for publication: Software Tools in Logic Education: Some Examples

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