TICTTL

Keyphrases

Publications

2011

Aránzazu San Ginés
Visual Tools for Teaching Propositional Logic. TICTTL (2011)
Laurence Goldstein
Adding a Dimension to Logic Diagramming. TICTTL (2011)
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. TICTTL (2011)
Katarzyna Budzynska
Araucaria-PL: Software for Teaching Argumentation Theory. TICTTL (2011)
Gladys Palau, Ana Couló
Systematic Errors as an Input for Teaching Logic. TICTTL (2011)
Ludmila Dostálová, Jaroslav Lang
ORGANON: Learning Management System for Basic Logic Courses. TICTTL (2011)
Patrick Terrematte, Fabrício Costa, João Marcos
Logicamente: A Virtual Learning Environment for Logic Based on Learning Objects. TICTTL (2011)
Antonia Huertas, Josep M. Humet, Laura López, Enric Mor
The SELL Project: A Learning Tool for E-Learning Logic. TICTTL (2011)
Peter Bradley
CT2.0: A Collaborative Database of Examples for Teaching Informal Logic. TICTTL (2011)
Olivier Gasquet, François Schwarzentruber, Martin Strecker
Satoulouse: The Computational Power of Propositional Logic Shown to Beginners. TICTTL (2011)
Jan Jaspars, Fernando R. Velázquez-Quesada
Logic in Action - An Open Logic Courseware Project. TICTTL (2011)
Xóchitl Martínez Nava
Mhy Bib I Fail Logic? Dyslexia in the Teaching of Logic. TICTTL (2011)
Rein Prank, Mart Anton
Using a Learner- and Teacher-Friendly Environment for Turing Machine Programming and Testing. TICTTL (2011)
James M. Henle
The Many Rewards of Putting Absolutely Everything into Introductory Logic. TICTTL (2011)
Olivier Gasquet, François Schwarzentruber, Martin Strecker
Panda: A Proof Assistant in Natural Deduction for All. A Gentzen Style Proof Assistant for Undergraduate Students. TICTTL (2011)
Begoña Carrascal
Teaching Logic in Philosophy. TICTTL (2011)
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. TICTTL (2011)
Antonia Huertas
Ten Years of Computer-Based Tutors for Teaching Logic 2000-2010: Lessons Learned. TICTTL (2011)
Jesús Alcolea-Banegas
. TICTTL (2011)
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. TICTTL (2011)
Roderic A. Girle
The Question of the Question in Critical Thinking? TICTTL (2011)
Olivier Gasquet, François Schwarzentruber
Concrete Epistemic Modal Logic: Flatland. TICTTL (2011)
Susanna S. Epp
Variables in Mathematics Education. TICTTL (2011)
Chris Reed, Simon Wells, Mark Snaith, Katarzyna Budzynska, John Lawrence
Using an Argument Ontology to Develop Pedagogical Tool Suites. TICTTL (2011)
Enrique Alonso
E-learning and Semantic Technologies: Tools and Concepts. TICTTL (2011)
Luis Adrian Urtubey
A Framework for Coping with Logically-Minded Arguments in Philosophy. TICTTL (2011)
Ángel Nepomuceno-Fernández
Information-Theoretic Perspective for Teaching Logic. TICTTL (2011)
Carlos A. Oller
Teaching Sound Principles about Invalidity. TICTTL (2011)
Josje Lodder, Bastiaan Heeren
A Teaching Tool for Proving Equivalences between Logical Formulae. TICTTL (2011)
Moris Polanco
The AProS Project: Teaching Logic to Business and Engineering Students. TICTTL (2011)

volume 6680, 2011

Tools for Teaching Logic - Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings TICTTL 6680 (2011)