Principal   Biblioteca   Software   Enlaces   Glosario   Grupos de trabajo   Administradores
Contactar

:: Biblioteca :: Buscar

*Categoría   :: Biblioteca :: Estudios de la Lógica :: Pedagogía de la Lógica
*Depositado por   , e-mail:
*Depositado el   28-07-2005
*Título   Proceedings of the First International Congress on Tools for Teaching Logic (Vol. I)
*Autor   Maria Manzano (coordinadora)
Editorial   Summa Logicae XXI
*Fecha de creación   01-06-2000
Página Web   http://aracne.usal.es/congress/congress.html
Código  
*Idioma   Español/Spanish
*Formato   .pdf (Adobe)
*Claves
Tipo Título Archivo Opciones
Indice Index (Vol. I) indice.pdf
Intro First International Congress on Tools for Teaching Logic portadamara.pdf
Parte Teaching Heuristic Reasoning with Logic: A Proposal for a Philosophy of Science Course. AtochaAliseda.pdf
Parte On-line Dictionary of Logic: System Description. RamonBejar.pdf
Parte Logic and Language from the Outside. RafaellaBernardi.pdf
Parte Teaching Experiences in Programming Using the Visual DaVinci Language. RaulChampredonde.pdf
Parte The Interactive Learning Environment WinKE for Teaching Deductive Reasoning. UlleEndriss.pdf
Parte Diagrams and Proofs. HoracioFaas.pdf
Parte Tools for teaching logic for children. HavasKatalin.pdf
Parte Introducing Reflections on Relevance Logic in Introductory Courses. EzraHeymann.pdf
Parte The advantages of Smullyan's Tree calculus for teaching logic, and a Program for Teaching and testing Derivations: SM-tutor. WalterHoering.pdf
Parte Teaching Logical reasoning in high school. AntoniaHuertas.pdf
Parte Dinamul. MariaIglesias.pdf
Parte The Dissemination of Logic in Ducht Secondary Schools. JanJaspars.pdf
Parte Effective Translations of Didactic Principles into Logic Tutoring Software. AlexKlijn.pdf
Parte The challenge of formalizing conditionals. SandraLazzer.pdf
Parte Logic for Computer science in Distance Education: The logic courses of the Open University of the Netherlands. JosjeLodder.pdf
Parte ADN (Natural Deduction Assistant). FaraonLLorens.pdf
Parte Aracne. MariaManzano.pdf
Parte Local Search Algorithms for SAT in a Course in Logic for Computer Science. FelipManya.pdf
Parte Algebraic Logic and Probability Theory. MiklosFereczi.pdf
Parte Word Games for Formal Logic. DavidMiller.pdf
Parte A Group Effort to Discover a Theory of Logic Teaching: The Mexican Experience. RaymundoMorado.pdf
Parte Mathematical Logic Tutor - Propositional Calculus. AntonioMoreno.pdf

     << Atras