First International Congress on Tools for Teaching Logic: proceedings : University of Salamanca, June 2000

María Gracia Manzano Arjona

Ayuda

First International Congress on Tools for Teaching Logic: proceedings : University of Salamanca, June 2000

Imagen de portada del libro First International Congress on Tools for Teaching Logic

Información General

Autores: María Gracia Manzano Arjona (comp.)
Editores: Universidad de Salamanca
Año de publicación: 2000
País: España
Idioma: español
Recoge los contenidos presentados a: International Congress on Tools for Teaching Logic (1. 2000. Salamanca).
Texto completo no disponible (Saber más ...)

Listado de artículos

- Teaching heuristic reasoning with logic: a proposal for a philosophy of science course
  Atocha Aliseda
  págs. 1-3
- On-line dictionary of logic: system description
  María Teresa Alsinet Bernadó, Ramón Béjar Torres, César Fernández Camón, Felip Manyà Serres
  págs. 5-7
- Logic & language from the outside
  Raffaella Bernardi
  págs. 9-15
- Teaching experiences in programming using the visual Da Vinci language
  Raúl Champredonde, Virginia Ainchil, Analía Palacios
  págs. 17-21
- The interactive learning environment WinKE for teaching deductive reasoning
  Ulrich Endriss
  págs. 23-27
- Diagrams and proofs
  Horacio Faas
  págs. 29-30
- Introducing reflections on relevance logic in introductory courses
  Ezra Heymann
  págs. 33-34
- Learning logic with Smullyan: the advantages of Smullyan's tree calculus for teaching logic, and a program for teaching and testing derivations: SM-Tutor
  Walter Hoering
  págs. 35-37
- Teaching logical reasoning in high school
  María Antonia Huertas Sánchez
  págs. 39-43
- Dinamul
  págs. 45-47
- The dissemination of logic in Dutch Secondary Schools
  págs. 49-53
- Effective translation of didactic principles into logic tutoring software
  págs. 55-58
- The challenge of formalizing conditional
  págs. 59-60
- Logic for computer science in Distance Education
  págs. 61-64
- ADN (Asistente para Deducción Natural): Natural Deduction Assistant
  págs. 65-69
- ARACNE
  págs. 71-74
- Local research algorithms for SAT in a course in logic for computer science
  págs. 75-79
- The relevance of the semantic approach for the teaching of logic
  págs. 81-82
- Ulises' enigmas
  págs. 83-84
- Algebraic logic and probability theory
  págs. 85-88
- Word games for formal logic
  págs. 89-93
- Issues and objectives in teaching logic
  págs. 95-97
- Mathematical Logic Tutor-Propositional Calculus
  págs. 99-106
- My virtual homework for the new millennium
  págs. 107-108
- Teaching logic in philosophy: logical language and semantic trees
  págs. 109-112
- Logic for children
  págs. 113-117
- The teaching of formalization in first order logic and its problems
  págs. 119-120
- The role of logic in the process of teaching
  págs. 121-123
- Technical aspects of "MetaBook": construction and use
  págs. 125-130
- Some furthers steps after the computerisation of predicate calculus
  págs. 131-136
- An application for translation of Spanish sentences into First Order Logic implemented in Prolog
  págs. 137-141
- Education and technologies of the information: a step more
  págs. 143-145
- How much Semantics is wanted for Humanities?
  págs. 147-148
- Teaching logic to linguists: the logical approach to grammar
  págs. 149-153
- Explicatory conceptions and the teaching of logic
  págs. 155-159
- Learning computational logic with an intelligent tutoring system: SIAL
  págs. 161-168
- Masters theses for providing feedback to the logic classroom
  págs. 169-173
- The notion of validity as the key to understand the fallacy of false cause
  págs. 175-180
- The formal specification of systems and the teaching of logic
  págs. 181-185

Acceso de usuarios registrados

¿Olvidó su contraseña?

¿Es nuevo? Regístrese

Ventajas de registrarse

Dialnet Plus

Opciones de compartir

Opciones de entorno

Sugerencia / Errata

Coordinado por: