Summa Logicae - Universidad de Salamanca

20 Ene Lógica modal

Posted at 13:38h in 2) Sistemas Lógicos, Lógica Modal by tonik 0 Comments

Depositado por: Maria Manzano, e-mail: mara@usal.es Depositado el: 13-02-2007 Autor: María Manzano Fecha de creación: 15-01-2006 Página Web: http://logicae.usal.es/mara Idioma: Español/Spanish Formato: .pdf (Adobe) [ninja_tables id="20667"]...

Read More

20 Ene «Tablas semánticas para lógica de predicados de primer orden»

Posted at 13:38h in 1) Fundamentos, Lógica Básica by tonik 0 Comments

Depositado por: , e-mail: Depositado el: 28-07-2005 Autor: Ángel Nepomuceno Fecha de creación: 30-10-2002 Página Web: Idioma: Español/Spanish Formato: .pdf (Adobe) [ninja_tables id="20501"]...

Read More

20 Ene Apuntes de Lógica

Posted at 13:38h in 1) Fundamentos, Lógica Básica by tonik 0 Comments

Depositado por: Maria Manzano, e-mail: mara@usal.es Depositado el: 28-07-2005 Autor: Ian Hodkinson, Antonia Huertas y María Manzano Fecha de creación: 03-05-2005 Idioma: Español/Spanish Formato: pdf [ninja_tables id="20362"]...

Read More

20 Ene Modelos Formales de Explicación en Lógica e Inteligencia Artificial

Posted at 13:38h in 2) Sistemas Lógicos, Lógica abductiva by tonik 0 Comments

Depositado por: , e-mail: Depositado el: 18-10-2005 Autor: Fernando Soler Fecha de creación: 30-09-2005 Idioma: Español/Spanish Formato: .pdf (Adobe) [ninja_tables id="20519"]...

Read More

20 Ene «Aplicación de tablas semánticas al estudio de algunas lógicas no clásicas»

Posted at 13:38h in 1) Fundamentos, Lógica Básica by tonik 0 Comments

Depositado por: , e-mail: Depositado el: 28-07-2005 Autor: Ángel Nepomuceno Fernández Fecha de creación: 03-05-2005 Página Web: Idioma: Español/Spanish Formato: .pdf (Adobe) [ninja_tables id="20507"]...

Read More

20 Ene Lógica Básica Proposicional

Posted at 13:38h in 1) Fundamentos, Lógica Básica by tonik 0 Comments

Depositado por: Maria Manzano, e-mail: mara@usal.es Depositado el: 28-07-2005 Autor: María Manzano Fecha de creación: 15-01-2005 Idioma: Español/Spanish Formato: .pdf (Adobe)  [ninja_tables id="20293"]...

Read More

20 Ene Teoría de la demostración

Posted at 13:38h in 1) Fundamentos, Teoría de la Demostración by tonik 0 Comments

Depositado por: Maria Manzano, e-mail: mara@usal.es Depositado el: 08-02-2007 Autor: María Manzano Fecha de creación: 07-02-2005 Idioma: Español/Spanish Formato: .pdf (Adobe)  [ninja_tables id="20308"]...

Read More

20 Ene Contribución al VII Encuentro de Didáctica de la Lógica. Uruapan. México. Nov. 2004.

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

Depositado por: Maria Manzano, e-mail: mara@usal.es Depositado el: 28-07-2005 Autor: María Manzano Fecha de creación: 12-10-2004 Página Web: http://minerva.filosoficas.unam.mx/~Tdl/EIDL7Uruapan/EIDL7Uruapan.htm Idioma: Español/Spanish Formato: .pdf (Adobe) [ninja_tables id="20433"]...

Read More

20 Ene Comentario a «Tableau III» de Nik Roberts

Posted at 13:38h in 4) Aplicaciones, Comentario Software by tonik 0 Comments

Depositado por: Maria Manzano, e-mail: mara@usal.es Depositado el: 09-02-2007 Autor: Almudena Vicente Fecha de creación: 09-02-2007 Página Web: http://logic.philosophy.ox.ac.uk/tableau3/applet.htm Idioma: Español/Spanish Formato: .pdf (Adobe) [ninja_tables id="20844"]...

Read More

20 Ene Comentario a «LoTREC: an enviroment for experiencing Kripke semantics» de L. Fariñas y otros

Posted at 13:38h in 4) Aplicaciones, Comentario Software by tonik 0 Comments

Depositado por: Maria Manzano, e-mail: mara@usal.es Depositado el: 06-02-2007 Autor: Alvaro Felix Garcia Fecha de creación: 01-02-2007 Idioma: Español/Spanish Formato: .pdf (Adobe) [ninja_tables id="20829"]...

Read More