Summa Logicae - Universidad de Salamanca

Proceedings of the First International Congress on Tools for Teaching Logic (Vol. I) - Summa Logicae
240
wp-singular,post-template-default,single,single-post,postid-240,single-format-standard,wp-theme-bridge,wp-child-theme-bridge-child,cookies-not-set,bridge-core-1.0.4,ajax_fade,page_not_loaded,,qode-title-hidden,qode-child-theme-ver-1.0.0,qode-theme-ver-18.0.8,qode-theme-bridge,disabled_footer_top,qode_advanced_footer_responsive_1000,wpb-js-composer js-comp-ver-7.6,vc_responsive

20 Ene 2025 Proceedings of the First International Congress on Tools for Teaching Logic (Vol. I)

Posted at 13:38h in 3) Estudios de la Lógica, Pedagogía de la Lógica by

Depositado por: , e-mail:

Depositado el: 28-07-2005

Autor: Maria Manzano (coordinadora)

Fecha de creación: 01-06-2000

Página Web: http://aracne.usal.es/congress/congress.html

Idioma: Inglés/English

TipoTítuloArchivoOpciones
IndiceIndex (vol I)indice-1.pdfDescargar
DocumentoResumenMariaManzano-2-1.pdfDescargar
DocumentoTeaching Heuristic Reasoning with Logic: A Proposal for a Philosophy of Science CourseAtochaAliseda.pdfDescargar
DocumentoOn-line Dictionary of Logic: System Description.RamonBejar.pdfDescargar
DocumentoLogic and Language from the Outside.RafaellaBernardi.pdfDescargar
DocumentoTeaching Experiences in Programming Using the Visual DaVinci Language.RaulChampredonde.pdfDescargar
DocumentoThe Interactive Learning Environment WinKE for Teaching Deductive Reasoning.UlleEndriss.pdfDescargar
DocumentoDiagrams and Proofs.HoracioFaas.pdfDescargar
DocumentoTools for teaching logic for children.HavasKatalin.pdfDescargar
DocumentoIntroducing Reflections on Relevance Logic in Introductory Courses.EzraHeymann.pdfDescargar
DocumentoThe advantages of Smullyan's Tree calculus for teaching logic, and a Program for Teaching and testing Derivations: SM-tutor.WalterHoering.pdfDescargar
DocumentoTeaching Logical reasoning in high school.MariaIglesias.pdfDescargar
DocumentoThe Dissemination of Logic in Ducht Secondary Schools.JanJaspars.pdfDescargar
DocumentoEffective Translations of Didactic Principles into Logic Tutoring Software.AlexKlijn.pdfDescargar
DocumentoThe challenge of formalizing conditionals.SandraLazzer.pdfDescargar
DocumentoLogic for Computer science in Distance Education: The logic courses of the Open University of the Netherlands.JosjeLodder.pdfDescargar
DocumentoADN (Natural Deduction Assistant).FaraonLLorens.pdfDescargar
DocumentoAracneMariaManzano-2.pdfDescargar
DocumentoLocal Search Algorithms for SAT in a Course in Logic for Computer Science.FelipManya.pdfDescargar
DocumentoAlgebraic Logic and Probability Theory.MiklosFereczi.pdfDescargar
DocumentoWord Games for Formal Logic.DavidMiller.pdfDescargar
DocumentoA Group Effort to Discover a Theory of Logic Teaching: The Mexican Experience.RaymundoMorado.pdfDescargar
DocumentoMathematical Logic Tutor - Propositional Calculus.AntonioMoreno.pdfDescargar
Tags:
No Comments

Sorry, the comment form is closed at this time.