Description |
1 online resource (xi, 255 pages) : illustrations |
Series |
Lecture notes in computer science, 1611-3349 ; 6680. Lecture notes in artificial intelligence. FoLLI publications on logic, language and information |
|
LNCS sublibrary. SL 7, Artificial intelligence |
|
Lecture notes in computer science ; 6680. 0302-9743
|
|
Lecture notes in computer science. Lecture notes in artificial intelligence
|
|
Lecture notes in computer science. Lecture notes in artificial intelligence. FoLLI publications on logic, language and information.
|
|
LNCS sublibrary. SL 7, Artificial intelligence.
|
Contents |
Machine generated contents note: Teaching Argumentation Theory and Practice: The Case of 12 Angry Men / Jesus Alcolea-Banegas -- E-learning and Semantic Technologies: Tools and Concepts / Enrique Alonso -- CT2.0: A Collaborative Database of Examples for Teaching Informal Logic / Peter Bradley -- Araucaria-PL: Software for Teaching Argumentation Theory / Katarzyna Budzynska -- Teaching Logic in Philosophy / Begona Carrascal -- ORGANON: Learning Management System for Basic Logic Courses / Jaroslav Lang -- Variables in Mathematics Education / Susanna S. Epp -- Logic Training through Algorithmic Problem Solving / J.N. Oliveira -- Concrete Epistemic Modal Logic: Flatland / Francois Schwarzentruber -- Satoulouse: The Computational Power of Propositional Logic Shown to Beginners / Martin Strecker -- Panda: A Proof Assistant in Natural Deduction for All. A Gentzen Style Proof Assistant for Undergraduate Students / Martin Strecker -- Question of the Question in Critical Thinking? / Roderic A. Girle -- Adding a Dimension to Logic Diagramming / Laurence Goldstein -- Many Rewards of Putting Absolutely Everything into Introductory Logic / James M. Henle -- SELL Project: A Learning Tool for E-Learning Logic / Enric Mor -- Ten Years of Computer-Based Tutors for Teaching Logic 2000-2010: Lessons Learned / Antonia Huertas -- Logic in Action: An Open Logic Courseware Project / Fernando R. Velazquez-Quesada -- Teaching Tool for Proving Equivalences between Logical Formulae / Bastiaan Heeren -- Mhy Bib I Fail Logic? Dyslexia in the Teaching of Logic / Xochitl Martinez Nava -- Information-Theoretic Perspective for Teaching Logic / Angel Nepomuceno-Fernandez -- Teaching Sound Principles about Invalidity / Carlos A. Oller -- Systematic Errors as an Input for Teaching Logic / Ana Coulo -- AProS Project: Teaching Logic to Business and Engineering Students / Moris Polanco |
|
Note continued: Using a Learner- and Teacher-Friendly Environment for Turing Machine Programming and Testing / Mart Anton -- Using an Argument Ontology to Develop Pedagogical Tool Suites / John Lawrence -- Visual Tools for Teaching Propositional Logic / Aranzazu San Gines -- Logicamente: A Virtual Learning Environment for Logic Based on Learning Objects / Joao Marcos -- Framework for Coping with Logically-Minded Arguments in Philosophy / Luis Adrian Urtubey -- Logic Teaching Tool Based on Tableaux for Verification and Debugging of Algorithms / Saul de Leon Guerrero -- Designing an Introductory Course to Elementary Symbolic Logic within the Blackboard E-learning Environment / Gottfried Vosgerau |
Summary |
This book constitutes the proceedings of the Third International Congress on Tools for Teaching Logic, TICTTL 2011, held in Salamanca, Spain, in June 2011. The 30 papers presented were carefully reviewed and selected from 62 submissions.¡ The congress focusses on a variety of topics including: logic teaching software, teaching formal methods, logic in the humanities, dissemination of logic courseware and logic textbooks, methods for teaching logic at different levels of instruction, presentation of postgraduate programs in logic, e-learning, logic games, teaching argumentation theory and informal logic, and pedagogy of logic |
Bibliography |
Includes bibliographical references and author index |
Notes |
Print version record |
In |
Springer eBooks |
Subject |
Logic -- Study and teaching -- Congresses
|
|
Artificial intelligence.
|
|
Logic, Symbolic and mathematical.
|
|
Science -- Study and teaching.
|
|
Artificial Intelligence
|
|
Electronic Data Processing
|
|
artificial intelligence.
|
|
data processing.
|
|
computer science.
|
|
Informatique.
|
|
Logic -- Study and teaching
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Blackburn, Patrick, 1959-
|
ISBN |
9783642213502 |
|
3642213502 |
|