3. TICTTL 2011:
Salamanca,
Spain
Patrick Blackburn, Hans P. van Ditmarsch, María Manzano, Fernando Soler-Toscano (Eds.):
Tools for Teaching Logic - Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings.
Lecture Notes in Computer Science 6680 Springer 2011, ISBN 978-3-642-21349-6 
- Jesús Alcolea-Banegas:
Teaching Argumentation Theory and Practice: The Case of 12 Angry Men.
1-8
- Enrique Alonso:
E-learning and Semantic Technologies: Tools and Concepts.
9-23
- Peter Bradley:
CT2.0: A Collaborative Database of Examples for Teaching Informal Logic.
24-29
- Katarzyna Budzynska:
Araucaria-PL: Software for Teaching Argumentation Theory.
30-37
- Begoña Carrascal:
Teaching Logic in Philosophy.
38-45
- Ludmila Dostálová, Jaroslav Lang:
ORGANON: Learning Management System for Basic Logic Courses.
46-53
- Susanna S. Epp:
Variables in Mathematics Education.
54-61
- João F. Ferreira, Alexandra Mendes, Alcino Cunha, Carlos Baquero, Paulo F. Silva, Luís Soares Barbosa, José Nuno Oliveira:
Logic Training through Algorithmic Problem Solving.
62-69
- Olivier Gasquet, François Schwarzentruber:
Concrete Epistemic Modal Logic: Flatland.
70-76
- Olivier Gasquet, François Schwarzentruber, Martin Strecker:
Satoulouse: The Computational Power of Propositional Logic Shown to Beginners.
77-84
- Olivier Gasquet, François Schwarzentruber, Martin Strecker:
Panda: A Proof Assistant in Natural Deduction for All. A Gentzen Style Proof Assistant for Undergraduate Students.
85-92
- Roderic A. Girle:
The Question of the Question in Critical Thinking?
93-100
- Laurence Goldstein:
Adding a Dimension to Logic Diagramming.
101-108
- James M. Henle:
The Many Rewards of Putting Absolutely Everything into Introductory Logic.
109-122
- Antonia Huertas, Josep M. Humet, Laura López, Enric Mor:
The SELL Project: A Learning Tool for E-Learning Logic.
123-130
- Antonia Huertas:
Ten Years of Computer-Based Tutors for Teaching Logic 2000-2010: Lessons Learned.
131-140
- Jan Jaspars, Fernando R. Velázquez-Quesada:
Logic in Action - An Open Logic Courseware Project.
141-153
- Josje Lodder, Bastiaan Heeren:
A Teaching Tool for Proving Equivalences between Logical Formulae.
154-161
- Xóchitl Martínez Nava:
Mhy Bib I Fail Logic? Dyslexia in the Teaching of Logic.
162-169
- Ángel Nepomuceno-Fernández:
Information-Theoretic Perspective for Teaching Logic.
170-177
- Carlos A. Oller:
Teaching Sound Principles about Invalidity.
178-182
- Gladys Palau, Ana Couló:
Systematic Errors as an Input for Teaching Logic.
183-189
- Moris Polanco:
The AProS Project: Teaching Logic to Business and Engineering Students.
190-197
- Rein Prank, Mart Anton:
Using a Learner- and Teacher-Friendly Environment for Turing Machine Programming and Testing.
198-206
- Chris Reed, Simon Wells, Mark Snaith, Katarzyna Budzynska, John Lawrence:
Using an Argument Ontology to Develop Pedagogical Tool Suites.
207-214
- Aránzazu San Ginés:
Visual Tools for Teaching Propositional Logic.
215-222
- Patrick Terrematte, Fabrício Costa, João Marcos:
Logicamente: A Virtual Learning Environment for Logic Based on Learning Objects.
223-230
- Luis Adrian Urtubey:
A Framework for Coping with Logically-Minded Arguments in Philosophy.
231-238
- Rafael del Vado Vírseda, Eva Pilar Orna, Eduardo Berbis, Saúl de León Guerrero:
A Logic Teaching Tool Based on Tableaux for Verification and Debugging of Algorithms.
239-248
- Frank Zenker, Christian Gottschall, Albert Newen, Raphael van Riel, Gottfried Vosgerau:
Designing an Introductory Course to Elementary Symbolic Logic within the Blackboard E-learning Environment.
249-255
Last update Fri May 25 08:43:09 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
