Curso 2003-2004 - dccia

ENUNCIADO DE PRÁCTICAS –LC Curso 2003/2004
INTRODUCCIÓN
Sólo a los lógicos puros – que son muy pocos – les interesa la Lógica por sí misma. La
mayor parte de las personas que estudian Lógica se interesan por sus aplicaciones, pues saber
aplicar la Lógica, dominarla como arte, consiste, sobre todo, en saber probar si una sentencia dada
es o no deducible de otras. Para trabajar con este concepto, que es el que marca el carácter de la
Lógica, y teniendo en cuenta que estamos en el siglo de los ordenadores, se han pensado en unas
prácticas que, por un lado trabajen con esta herramienta y por otro, os sirvan de ayuda a la
preparación del examen teórico de la asignatura.
Con el ordenador tendremos una excelente herramienta para entender, de forma práctica,
algunas de las nociones fundamentales de la Lógica teórica (la forma de representar y razonar), para
ello los informáticos han desarrollado programas que ayudan a los estudiantes de Lógica a adquirir
estas técnicas formales, con las que favorecer el aprendizaje de la misma, de forma automática.
Por otro lado, no desechamos el lápiz y papel con los que también trabajaremos en la
realización de algunos ejercicios y/o cuestionarios, y que ¡tantos recuerdos nos traen!. En fin, este
año no sólo potenciaremos el uso del lenguaje de programación Prolog, como la herramienta que
nos permite llevar la Lógica al ordenador sino que, además, trabajaremos con otras herramientas
para que reforcéis todo lo aprendido en las clases teóricas. Todo ello está pensado para que las
clases teóricas y prácticas estén relacionadas.
CONTENIDO DEL DOCUMENTO
Página 2
∗ Propuesta de las prácticas del curso 2003-2004.
∗ Normas generales: asignación de grupos, descripción y evaluación.
∗ Práctica I: Entorno de trabajo. Introducción al lenguaje Prolog.
∗ Práctica II: Creación de una Base de Conocimientos en Prolog.
∗ Práctica III: Estudio de razonamientos lógicos.
PROPUESTA DE PRÁCTICAS DE LPO PARA EL CURSO 2003-2004
CCLLAASSEESS PPRRÁÁCCTTIICCAASS
LÓGICA DE PRIMER ORDEN
Curso: Primero.
Carácter: Asistencia obligatoria.
Créditos: 3
Duración: 6 sesiones (2 horas/semana).
Grupos: 2 personas.
Evaluación: Continua.
Docencia Contenido Material Clases de 2 horas
Práctica I
Práctica II
Práctica
III
Entorno de trabajo. Introducción al lenguaje Prolog
Creación de una Base de Conocimiento con Prolog
Formalización del conocimiento. Estudio de la
validez de los razonamientos usando diversos
métodos
Pag Web
SWI-Prolog
Prueba
escrita.
ADN
1
3
2