ARACNE
aracne@xarxa.udl.es
mara@usal.es
First International
Congress on Tools for Teaching Logic
Atocha Aliseda
atocha@minerva.filosoficas.unam.mx
Teaching
Heuristic Reasoning with Logic: A Proposal for a Philosophy of Science
Course.
Instituto de Investigaciones Filosóficas,
UNAM. México.
Ramón Béjar,
Teresa Alsinet, Carlos Fernandez and Felip Manya.
ramon@eup.udl.es
On-line
Dictionary of Logic: System Description.
University of Lleida. Spain.
Raffaella Bernardi
bernardi@let.uu.nl
Logic
and Language from the Outside.
UiL-OTS. University of Utrecht. Holland.
Raúl Champredonde,
Analía Palacios and Virginia Ainchil.
rchampre@lidi.info.unlp.edu.ar
Teaching
Experiences in Programming Using the Visual DaVinci Language.
Universidad Nacional de La Plata. Argentina.
Ulrich Endriss
endriss@dcs.kcl.ac.uk
The
Interactive Learning Environment WinKE for Teaching Deductive Reasoning.
http://www.dcs.kcl.ac.uk/staff/endriss/WinKE/
Department of Computer Science. King´s College.
United Kingdom.
Horacio Faas
horacio@goedel.ffyh.unc.edu.ar
horacio@filosofia.uncor.edu
Diagrams
and Proofs.
Universidad Nacional de Córdoba. Argentina.
Havas Katalin
h6705gal@ella.hu
ghavas@phil-inst.hu
Tools
for teaching logic for children.
Institute of Philosophy, Hungarian Academy of Sciences.
Hungary.
Ezra Heymann
eheymann@reacciun.ve
Introducing Reflections
on Relevance Logic in Introductory Courses.
Escuela de Filosofía, Universidad Central. Venezuela.
Walter Hoering
hoering@philosophie.uni-tuebingen.de
The advantages
of Smullyan's Tree calculus for teaching logic, and a Program for Teaching
and testing Derivations: SM-tutor.
smtutor@philosophie.uni-tuebingen.de
Philosophisches Seminar, Tuebingen University. Germany.
Antonia Huertas
mhuertas@pie.xtec.es
Teaching Logical
reasoning in high school.
IES Infanta Isabel de Aragón. Barcelona. Spain.
María Iglesias
albermg@teleline.es
Dinamul.
Student. University of Salamanca. Spain.
Jan Jaspars
jaspars@wins.uva.nl
The Dissemination
of Logic in Ducht Secondary Schools.
University of Amsterdam. Holland.
Alex Klijn and Giete Callaert
Waltherus.Klijn@rug.ac.be
Effective Translations
of Didactic Principles into Logic Tutoring Software.
Centre for Logic and Philosophy osf Science. University of Ghent. Belgium
Sandra Lazzer and Gladys Palau
slazzer@filo.uba.ar
The challenge
of formalizing conditionals.
Instituto de Filosofía, Universidad de Buenos Aires. Argentina.
Josje Lodder
josje.lodder@ou.nl
Logic for Computer
science in Distance Education: The logic courses of the Open University
of the Netherlands.
Open University of the Netherlands. Holland.
Faraón Llorens and Sergio Mira
faraon@dccia.ua.es
ADN (Natural
Deduction Assistant).
Ciencia de la Computación e Inteligencia Artificial, Universidad
de Alicante. Spain.
María Manzano
mara@gugu.usal.es
Aracne.
University of Salamanca. Spain.
Felip Manya, Alba Cabiscoll and Ramón
Bejar
felip@eup.udl.es
Local Search Algorithms
for SAT in a Course in Logic for Computer Science.
University of Lleida. Spain
Concepción Martínez and José
L. Falguera
lflpcmav@usc.es
lflgfalg@usc.es
The Relevance
of the Semantic Approach for the Teaching of Logic.
Logic and Moral Philosophy, University of Santiago de Compostela. Spain.
Aitor Mata
inf4022@lisisu02.usal.es
Ulises'Enigmas.
Student, University of Salamanca. Spain.
Ferenczi Miklos
ferenczi@russell.math.bme.hu
ferenczi@math.bme.hu
Algebraic Logic
and Probability Theory.
Techn. University of Budapest. Hungary.
David Miller
d.w.miller@warwick.ac.uk
Word Games for
Formal Logic.
University of Warwick. United Kingdom.
Raymundo Morado
meyer@minerva.filosoficas.unam.mx
A Group Effort
to Discover a Theory of Logic Teaching: The Mexican Experience.
Institute for Philosophical Research, UNAM. Mexico.
Antonio Moreno and Neus Budesca
amoreno@etse.urv.es
ngh.ei@alumne.etse.urv.es
Mathematical
Logic Tutor - Propositional Calculus.
ETSE, Universitat Rovira i Virgili. Tarragona. Spain.
Santiago Negrete
snegrete@uxmcc2.iimas.unam.mx
indigo@mexis.com
My Virtual
Homework for the New Millennium.
UNAM. Mexico
Angel Nepomuceno
nepomuce@cica.es
Teching Logic
in Philosophy: Logical Language and Semantic Trees.
Facultad de Filosofía, Universidad de Sevilla. Spain
Tulio Olmos
olmost@camelot.rect.ucv.ve
Logic for Children.
Universidad Central de Venezuela. Venezuela.
Carlos Oller
coller@ciudad.com.ar
The Teaching of
Formalization in First Order Logic And its Problems.
Universidad de Buenos Aires. Argentina.
Gladys Palau
gpalau@filo.uba.ar
The Role of Logic
in the Process of Teaching.
Instituto de Filosofía, Universidad de Buenos Aires. Argentina.
Alberto Policriti
policrit@dimi.uniud.it
Technical
Aspects of MetaBook: Construction and Use.
University of Udine. Italy
Rein Prank
prank@cs.ut.ee
Some Further Steps
after the Computerisation of Predicate Calculus.
Institute of Computer Science, Tartu University. Estonia.
Emilio Rodríguez
Aldana@gugu.usal.es
An Application
for Translation of Spanish Sentences into First Order Logic Implemented
in Prolog.
Informática y Automática. Universidad de Salamanca. Spain.
Diego Rosales
drosales@ywz.com
Education and
Technologies of the Information: a Step More.
Instituto Teológico Compostelano. Perú.
João Sáàguand
jsaagua@ifl.pt
How Much Semantics
is Wanted for Humanities?
Universidade nova de Lisboa. Portugal.
Francisco Salguero
salguero@cica.es
Teaching Logic
to Linguistics: the Logical Approach to Grammar.
Universidad de Sevilla. Spain.
José Seoane
seoanej@hotmail.com
seoane@fhuce.edu.uy
Explicatory Conceptions
and the teaching of Logic.
Instituto de Filosofía, Universidad de la República.
Montevideo. Uruguay.
A. Simón, A. Martínez, M.
López, J.A. Maestro, J.M. Marqués and C. Alonso
arancha@infor.uva.es
Learning Computational
Logic with an Intelligent Tutoring System: SIAL.
Informática, Universidad de Valladolid. Valladolid. Spain.
M. Ojeda, G. Aguilera, I.P. de Guzmán
and A. Valverde
aciego@ctima.uma.es
Master Theses for
Providing Feedback to the Logic Classroom.
Matemática aplicada. Universidad de Málaga. Spain.
Corina Yoris
cyoris@cantv.net
The Notion of Validity
as the Key to Understand the Fallacy of False Cause.
Universidad Central de Venezuela. Venezuela.
Levis Zerpa
zerpale@camelot.rect.ucv.ve
The Formal Specification
of Systems and the Teaching of Logic.
Universidad Central de Venezuela. Venezuela. |