Tools for Teaching Logic - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

30

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642213496, 9783642213502

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Many Rewards of Putting Absolutely Everything into Introductory Logic

Tools for Teaching Logic - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21350-2_14 ◽

2011 ◽

pp. 109-122

Author(s):

James M. Henle

Keyword(s):

Download Full-text

Teaching Argumentation Theory and Practice: The Case of 12 Angry Men

Tools for Teaching Logic - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21350-2_1 ◽

2011 ◽

pp. 1-8 ◽

Author(s):

Jesús Alcolea-Banegas

Keyword(s):

Argumentation Theory ◽

Theory And Practice

Download Full-text

Mhy Bib I Fail Logic? Dyslexia in the Teaching of Logic

Tools for Teaching Logic - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21350-2_19 ◽

2011 ◽

pp. 162-169

Author(s):

Xóchitl Martínez Nava

Download Full-text

ORGANON: Learning Management System for Basic Logic Courses

Tools for Teaching Logic - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21350-2_6 ◽

2011 ◽

pp. 46-53 ◽

Author(s):

Ludmila Dostalova ◽

Jaroslav Lang

Keyword(s):

Management System ◽

Learning Management System ◽

Basic Logic ◽

Learning Management

Download Full-text

Using an Argument Ontology to Develop Pedagogical Tool Suites

Tools for Teaching Logic - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21350-2_25 ◽

2011 ◽

pp. 207-214 ◽

Author(s):

Chris Reed ◽

Simon Wells ◽

Mark Snaith ◽

Katarzyna Budzynska ◽

John Lawrence

Keyword(s):

Pedagogical Tool

Download Full-text

Araucaria-PL: Software for Teaching Argumentation Theory

Tools for Teaching Logic - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21350-2_4 ◽

2011 ◽

pp. 30-37 ◽

Author(s):

Katarzyna Budzynska

Keyword(s):

Argumentation Theory

Download Full-text

The AProS Project: Teaching Logic to Business and Engineering Students

Tools for Teaching Logic - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21350-2_23 ◽

2011 ◽

pp. 190-197

Author(s):

Moris Polanco

Keyword(s):

Engineering Students

Download Full-text

A Logic Teaching Tool Based on Tableaux for Verification and Debugging of Algorithms

Tools for Teaching Logic - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21350-2_29 ◽

2011 ◽

pp. 239-248 ◽

Author(s):

Rafael del Vado Vírseda ◽

Eva Pilar Orna ◽

Eduardo Berbis ◽

Saúl de León Guerrero

Keyword(s):

Download Full-text

Visual Tools for Teaching Propositional Logic

Tools for Teaching Logic - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21350-2_26 ◽

2011 ◽

pp. 215-222

Author(s):

Aránzazu San Ginés

Keyword(s):

Propositional Logic

Download Full-text

Information-Theoretic Perspective for Teaching Logic

Tools for Teaching Logic - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21350-2_20 ◽

2011 ◽

pp. 170-177

Author(s):

Ángel Nepomuceno-Fernández

Keyword(s):

Information Theoretic

Download Full-text