Tools for Teaching Logic

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Teaching Argumentation Theory and Practice: The Case of 12 Angry Men
3. Altmetric Badge
   Chapter 2 E-learning and Semantic Technologies: Tools and Concepts
4. Altmetric Badge
   Chapter 3 CT2.0: A Collaborative Database of Examples for Teaching Informal Logic
5. Altmetric Badge
   Chapter 4 Araucaria-PL: Software for Teaching Argumentation Theory
6. Altmetric Badge
   Chapter 5 Teaching Logic in Philosophy
7. Altmetric Badge
   Chapter 6 ORGANON: Learning Management System for Basic Logic Courses
8. Altmetric Badge
   Chapter 7 Variables in Mathematics Education
9. Altmetric Badge
   Chapter 8 Logic Training through Algorithmic Problem Solving
10. Altmetric Badge
    Chapter 9 Concrete Epistemic Modal Logic: Flatland
11. Altmetric Badge
    Chapter 10 Satoulouse: The Computational Power of Propositional Logic Shown to Beginners
12. Altmetric Badge
    Chapter 11 Panda: A Proof Assistant in Natural Deduction for All. A Gentzen Style Proof Assistant for Undergraduate Students
13. Altmetric Badge
    Chapter 12 Tools for Teaching Logic
14. Altmetric Badge
    Chapter 13 Adding a Dimension to Logic Diagramming
15. Altmetric Badge
    Chapter 14 The Many Rewards of Putting Absolutely Everything into Introductory Logic
16. Altmetric Badge
    Chapter 15 The SELL Project: A Learning Tool for E-Learning Logic
17. Altmetric Badge
    Chapter 16 Ten Years of Computer-Based Tutors for Teaching Logic 2000-2010: Lessons Learned
18. Altmetric Badge
    Chapter 17 Logic in Action
19. Altmetric Badge
    Chapter 18 A Teaching Tool for Proving Equivalences between Logical Formulae
20. Altmetric Badge
    Chapter 19 Mhy Bib I Fail Logic? Dyslexia in the Teaching of Logic
21. Altmetric Badge
    Chapter 20 Information-Theoretic Perspective for Teaching Logic
22. Altmetric Badge
    Chapter 21 Teaching Sound Principles about Invalidity
23. Altmetric Badge
    Chapter 22 Systematic Errors as an Input for Teaching Logic
24. Altmetric Badge
    Chapter 23 The AProS Project: Teaching Logic to Business and Engineering Students
25. Altmetric Badge
    Chapter 24 Using a Learner- and Teacher-Friendly Environment for Turing Machine Programming and Testing
26. Altmetric Badge
    Chapter 25 Using an Argument Ontology to Develop Pedagogical Tool Suites
27. Altmetric Badge
    Chapter 26 Visual Tools for Teaching Propositional Logic
28. Altmetric Badge
    Chapter 27 Logicamente: A Virtual Learning Environment for Logic Based on Learning Objects
29. Altmetric Badge
    Chapter 28 A Framework for Coping with Logically-Minded Arguments in Philosophy
30. Altmetric Badge
    Chapter 29 A Logic Teaching Tool Based on Tableaux for Verification and Debugging of Algorithms
31. Altmetric Badge
    Chapter 30 Designing an Introductory Course to Elementary Symbolic Logic within the Blackboard E-learning Environment