Lógica Computacional: es una asignatura que forma parte de los

RESUMEN DEL INFORME DE IMPLEMENTACIÓN DE METODOLOGÍAS
DOCENTES PARA LÓGICA COMPUTACIONAL
La asignatura “Lógica Computacional” forma parte de los planes de estudios de las
titulaciones de las ingenierías informáticas (Ingeniería Informática, Ingeniería Técnica en
Informática de Gestión e Ingeniería Técnica en Informática de Sistemas), de la -Escuela
Politécnica Superior- (EPS) de la -Universidad de Alicante-. Se imparte en el primer
cuatrimestre del primer curso y tiene carácter de asignatura obligatoria contando con un
total de 6 créditos repartidos entre las clases de teoría (3 créditos), que se imparten en
aulas, y las de prácticas (3 créditos), que se imparten en laboratorios de ordenadores. Su
docencia la llevan a cabo profesores del departamento de Ciencia de la Computación e
Inteligencia Artificial, de la EPS.
Aunque la docencia se distribuye con igual número de créditos para cada parte
(teoría y prácticas), el peso que tiene cada una de ellas en la evaluación de la asignatura se
pondera con la siguiente proporción: el 70% de la nota final de la asignatura se obtiene de
la evaluación de los contenidos de las clases de teoría y el 30% restante, de la evaluación de
las prácticas.
Para el aprendizaje de la asignatura se proponen cuatro bloques temáticos cuyo
aprendizaje se lleva a cabo entre las clases de teoría y las de prácticas. Estos bloques están
dirigidos al estudio del lenguaje de la lógica de primer orden, el estudio semántico de la
validez de argumentos lógicos, el manejo de los sistemas de deducción para obtención de
conocimiento y el aprendizaje de técnicas para la demostración automática de teoremas y la
programación lógica. La planificación de la asignatura tiene como objetivo principal que el
alumno pueda aprender los conceptos teóricos de la lógica con lápiz y papel, en las clases
de teoría, al mismo tiempo que se relaciona con las bases computacionales de la
programación lógica con ordenador, en las clases de prácticas.
Para diseñar una metodología de interacción entre la enseñanza y el aprendizaje de
la asignatura hemos tenido en cuenta que los nuevos planes de estudios, con la temática
ECTS, se plantean encaminados a potenciar una mayor creatividad en las aulas haciendo el
aprendizaje más activo y comunicativo entre el profesor y el alumno. Por ello, hemos
llevado a cabo diversas actividades en los grupos de teoría y de prácticas. También hemos
dado especial importancia a la realización de trabajos en grupos pequeños, los trabajos
complementarios, las tutorías organizadas y los laboratorios de apoyo a la docencia.
Además hemos creado un almacén de recursos docentes entre los que se encuentran:
tutoriales, ejercicios, pruebas de control, programas, referencias bibliográficas, enlaces a
otras direcciones de interés, páginas Web,…con todo esto hemos conseguido conducir las
clases hacia una dinámica de interacción en la que establece una mayor comunicación entre el
profesor y el alumno.
La enseñanza y el aprendizaje de la asignatura en las clases de teoría: La forma en la
que el profesor lleva a cabo la enseñanza de cada uno de los bloques temáticos se divide en
la ejecución de distintas actividades que se realizan a lo largo de la sesión, como son: la
“lección magistral”, la propuesta de actividades que llamamos “Prueba la lógica” y los
controles de evaluación. La lección magistral, actividad tradicional, es en la que el profesor
hace una presentación de objetivos, una exposición de los conceptos teóricos, se realizan
ejemplos relacionados con la teoría y se propone material de consulta y bibliografía
recomendada. “Prueba la lógica” es una actividad dirigida a que el alumno participe en
alguna de las pruebas propuestas por el profesor en el transcurso de la clase. Con ello, se
induce a la participación del alumno en las clases de teoría dando pie al comienzo de su
1
propio aprendizaje, pues además de exponer los resultados obtenidos en las pruebas, el
resto de alumnos tiene que participar en la resolución de la actividad y proponer
alternativas; la corrección de las pruebas se hace de forma colectiva y todos los alumnos
deben participar. Otra forma en la que alumno activa su aprendizaje en la asignatura es
mediante la realización de los controles de evaluación periódicos. Con ellos el alumno
comprueba sus conocimientos adquiridos del bloque teórico que acaba de aprender.
La enseñanza y el aprendizaje de la asignatura en las clases de prácticas: La forma
en la que el profesor lleva a cabo cada una de las sesiones de prácticas es la siguiente: en
cada sesión el profesor presenta los objetivos, contenido teórico, actividades y material
necesarios para esa sesión. El profesor propone la realización de las prácticas dándole
consejos y estrategias al alumno. El alumno activa el aprendizaje de los bloques teóricos al
realizar diversos ejercicios con material software directamente relacionados con la teoría y
con el uso de un lenguaje de programación lógico (como Prolog) con el que ve cómo la
lógica puede “llevarse” al ordenador. También hará pruebas de control, llamadas
Examinadores, a través de la herramienta del Campus Virtual.
La enseñanza y el aprendizaje de la asignatura en los trabajos para grupos
pequeños: se crean grupos pequeños de alumnos, y el profesor les propone trabajos para
que los realicen, o resolución de ejercicios y cuestionarios teóricos y prácticos para hacerlos
en grupo. Se les propone la lectura de libros o artículos para desarrollar debates y trabajos
de prácticas de mayor envergadura que los propuestos para las clases de prácticas. Por su
parte el grupo de alumnos debe hacer los ejercicios y cuestiones propuestas y exponerlas en
clase, debe hacer resúmenes de cada clase, teórica y práctica y hacer la lectura de libros
recomendados en la asignatura entre los miembros del grupo y después hacer comentarios
y discusión entre ellos.
La enseñanza y el aprendizaje de la asignatura con los trabajos complementarios:
Para reforzar el aprendizaje de los bloques el profesor propone otra actividad para el
alumno que consiste en realizar trabajos de forma voluntaria y de índole particular que
podrán tener tanto carácter teórico como aplicado. El alumno debe desarrollarlo durante el
curso y entregarlo antes del examen final.
La enseñanza y el aprendizaje de la asignatura en las tutorías organizadas: el
profesor pone a disposición de los alumnos una atención personalizada, en su despacho,
mediante lo que se conoce como tutorías. En estas sesiones el alumno puede realizar
consultas relacionadas con la materia de teoría para dirigir el aprendizaje, hacer consultas
acerca de los trabajos propuestos en clase y hacer consultas dirigidas al seguimiento de sus
estudios en Informática. Además el profesor organiza varias sesiones de tutorías
organizadas en grupos pequeños de alumnos que sirven para repasar entre todos los
asistentes dudas sobre los bloques.
La enseñanza de la asignatura con los laboratorios de apoyo: Para apoyar a los
alumnos en su aprendizaje se han preparado unos turnos de apoyo al estudiante, que se
llevan a cabo en el laboratorio de prácticas (acceso libre) de la EPS, en donde el alumno
puede asistir a consultar dudas sobre alguna de las actividades en las que se encuentre
trabajando. Becarios de EEES-EPS estarán a su disposición para asesorarles en cualquiera
de las actividades no presenciales de la asignatura.
La evaluación de la asignatura está directamente relacionada con la metodología
propuesta para el aprendizaje de la asignatura. Para las clases de teoría el alumno cuenta
con dos opciones de evaluación, una dirigida al trabajo continuo y la otra con el examen
final. Para las clases de prácticas la opción de evaluación sólo es la de evaluación continua.
Con cualquiera de las dos se consigue la nota fina de la asignatura, considerando la
ponderación de cada una de las partes (70% de la nota de teoría y 30% de la de prácticas).
2
La evaluación de las clases de teoría: Para evaluar la materia aprendida en las clases de
teoría se presenta la evaluación continua “Suma y Sigue” y la usual (examen al finalizar el
curso). Suma y Sigue va dirigida a evaluar el trabajo continuo de los alumnos con la
realización de actividades y controles de evaluación a lo largo del curso. Con esto se
consigue que el alumno participe en las actividades continuas al proponerle que puede ir
sumando puntos a la nota de teoría si realiza todas las que el profesor le oferta, incluso
puede librase de acudir al examen. Para ello, es necesario que en los controles de
evaluación, que no se consideran parciales donde se libera materia, consiga tener un 6
(sobre 7 puntos) y que haya hecho todo lo propuesto por el profesor. El alumno,
inicialmente, encuentra esta opción muy interesante y suele elegirla al comenzar la
asignatura, además sabe que siempre cuenta con el examen final, si acaso prefiere no seguir
un trabajo continuo.
La evaluación de las clases de prácticas: Para evaluar la materia aprendida en las clases
de prácticas se oferta una evaluación continua que se lleva a cabo en cada una de las
sesiones. Para ello se deben entregar actividades y también realizar controles de evaluación,
periódicos, a través de la herramienta del Campus Virtual. En cada sesión el alumno
entrega parte del material propuesto y se va viendo su progreso.
3