LÓGICA COMPUTACIONAL - dccia.ua.es · Desde el curso académico 2003-2004, un grupo de profesores...

PROGRAMA DE REDES 2006-2007 -INSTITUTO CIENCIAS DE LA EDUCACIÓN-

–UNIVERSIDAD DE ALICANTE-

PROYECTO DE FORMACIÓN E INVESTIGACIÓN DOCENTE

“Análisis de la implementación de las metodologías ECTS

en primer curso de las titulaciones de Informática.

Curso 2005-2006.”

LÓGICA COMPUTACIONAL

ANÁLISIS DE LAS METODOLOGÍAS DOCENTES ECTS EN 1ER CURSO DE INFORMÁTICA. 2005-2006 LÓGICA COMPUTACIONAL

2

AAUUTTOORREESS

Nombre Categoría Dpto. Correo

Mª Jesús Castel de Haro T.U. CCIA [email protected]

Francisco Gallego Durán Ayudante CCIA [email protected]

Faraón Llorens Largo C.E.U CCIA faraó[email protected]

Juan Palomino Benito Becario

Vicerrectorado Calidad

- [email protected]

Cristina Pomares Puig Profesora

Colaboradora CCIA [email protected]

Carlos Villagrá Arnedo T.E.U. CCIA [email protected]

CCIA: Ciencia de la Computación e Inteligencia Artificial.


3

ÍÍNNDDIICCEE DDEE CCOONNTTEENNIIDDOOSS

1. OBJECTIVOS DEL PROYECTO_____________________________________7

2. ENTORNO CONTEXTUAL Y DESCRIPCIÓN DE LA METODOLOGÍA A IMPLEMENTAR ___________________________________________________7

2.1 Entorno Contextual ________________________________________7

2.2 Descripción de la metodología a implementar ____________________9 2.2.1 Descripción de la metodología para las clases de teoría ________________ 9 2.2.2 Descripción de la metodología para las clases de prácticas _____________ 10 2.2.3 Descripción de la metodología para grupos pequeños _________________ 11 2.2.4 Descripción de la metodología para trabajos complementarios __________ 11 2.2.5 Descripción de la metodología para las tutorías docentes ______________ 11

3. FASES DE LA IMPLEMENTACIÓN_________________________________12

4. JUSTIFICACIÓN TEÓRICO-PRÁCTICA _____________________________13

5. COHERENCIA DE LA IMPLEMENTACIÓN CON LA GUÍA DOCENTE ________15

6. DESCRIPCIÓN DEL PROCESO DE IMPLEMENTACIÓN DE LAS METODOLOGÍAS 22

6.1 Descripción de las metodologías _____________________________22 6.1.1 Herramientas docentes_________________________________________ 22 6.1.2 Implementación de la metodología en las clases de teoría _____________ 23 6.1.3 Implementación de la metodología en las clases de prácticas ___________ 24 6.1.4 Implementación de la metodología en grupos pequeños _______________ 25 6.1.5 Implementación de la metodología en trabajos complementarios ________ 25 6.1.6 Implementación de la metodología para tutorías docentes _____________ 25

6.2 Planificación del proceso para cada bloque de contenido.__________25

6.3 Evaluación de los procesos y resultados de aprendizaje ___________29

7. VALORACIÓN DEL PROCESO DE IMPLEMENTACIÓN METODOLÓGICA_____33

7.1 Valoración de la implementación por parte del alumnado__________33 7.1.1 Asistencia a clases de teoría_____________________________________ 34 7.1.2 Dedicación a cada bloque de teoría _______________________________ 34 7.1.3 Tutorías para las clases de teoría _________________________________ 38 7.1.4 Valoración del alumno _________________________________________ 38 7.1.5 Asistencia a clases de prácticas __________________________________ 38 7.1.6 Tiempo dedicado para realizar las prácticas_________________________ 39 7.1.7 Tutorías para las prácticas ______________________________________ 39 7.1.8 Valoración del alumno _________________________________________ 40 7.1.9 Uso de materiales_____________________________________________ 40 7.1.10 Grado de dificultad de la asignatura_____________________________ 41 7.1.11 Valoración de las calificaciones_________________________________ 42 7.1.12 Conclusiones _______________________________________________ 43

7.2 Características del contexto para Lógica Computacional___________44 7.2.1 Infraestructura actual para Lógica Computacional ____________________ 44 7.2.2 Uso del Campus Virtual en la asignatura ___________________________ 45 7.2.3 Apreciación del profesor sobre la actitud del alumnado en las clases de teoría y de prácticas______________________________________________________ 45 7.2.4 Nivel de satisfacción del profesorado con la puesta en marcha del proyecto 45

8. PROPUESTAS DE MEJORA ______________________________________46

9. FUENTES DE INFORMACIÓN ____________________________________46

10. APÉNDICES _______________________________________________48


4

10.1 APÉNDICE-1: Encuesta para el alumno ________________________48

10.2 APÉNDICE-2: Coherencia de la implementación con la guía docente__51


5

ÍÍNNDDIICCEE DDEE TTAABBLLAASS Tabla 1. Información sobre la asignatura_____________________________________ 8 Tabla 2. Bloques temáticos _______________________________________________ 8 Tabla 3. Perfiles de la titulación y de la asignatura ____________________________ 14 Tabla 4. Bloque I coherencia con la guía docente _____________________________ 17 Tabla 5. Bloque II coherencia con la guía docente_____________________________ 18 Tabla 6. Bloque III coherencia con la guía docente ____________________________ 20 Tabla 7. Bloque IV coherencia con la guía docente ____________________________ 21 Tabla 8. Perfiles de la titulación y de la asignatura ____________________________ 26 Tabla 9. Planificación para el aprendizaje de los bloques _______________________ 29 Tabla 10. Esquema de evaluación _________________________________________ 30 Tabla 11. Asistencia a clase en general atendiendo a la convocatoria y titulación ____ 34 Tabla 12. Bloques trabajados atendiendo a la convocatoria y a la titulación ________ 34 Tabla 13. Horas dedicadas a las actividades atendiendo a si es la primera vez que cursan la asignatura ____________________________________________________ 35 Tabla 14. Horas dedicadas a las actividades atendiendo a la titulación_____________ 36 Tabla 15. Trabajos complementarios * Primera convocatoria ____________________ 37 Tabla 16. Trabajos complementarios * Titulación _____________________________ 37 Tabla 17. Horas dedicadas a los controles * Primera convocatoria * Titulación ______ 37 Tabla 18. Valoración de las actividades _____________________________________ 38 Tabla 19. Valoración de los controles ______________________________________ 38 Tabla 20. Valoración de la necesidad de tutorías para aprobar teoría______________ 38 Tabla 21. Asistencia a prácticas atendiendo a la convocatoria y titulación __________ 39 Tabla 22. Horas dedicadas a practicas * Primera convocatoria * Titulación _________ 39 Tabla 23. Valoración de la necesidad de tutorías para aprobar prácticas ___________ 40 Tabla 24. Uso de los materiales * Titulación * Primera convocatoria ______________ 40 Tabla 25. Grado de dificultad respecto a las otras asignaturas * Primera convocatoria 41 Tabla 26. Tiempo dedicado respecto a las otras asignaturas * Primera convocatoria__ 41 Tabla 27. Tiempo dedicado es suficiente * Primera vez que se cursa la asignatura ___ 42 Tabla 28. Aprobados * Primera vez que se cursa la asignatura __________________ 42 Tabla 29. Aprobados * Titulación__________________________________________ 42 Tabla 30. Aprobados * Tiempo dedicado suficiente____________________________ 42 Tabla 31. Distribución del alumnado atendiendo a la titulación___________________ 44 Tabla 32. Tabla de coherencia para las competencias instrumentales _____________ 60 Tabla 33. Tabla de coherencia para las competencias interpersonales _____________ 61 Tabla 34. Tabla de coherencia para las competencias sistémicas _________________ 64


6

ÍÍNNDDIICCEE DDEE FFIIGGUURRAASS Figura 1. Web de la asignatura Lógica Computacional _________________________ 22 Figura 2. Diagrama de caja Horas dedicadas a las actividades * Primera convocatoria 35 Figura 3. Horas dedicadas a las actividades * Primera vez que se cursa la asignatura 36 Figura 4. Porcentaje de uso de los materiales ________________________________ 40


7

1. OBJECTIVOS DEL PROYECTO

Desde el curso académico 2003-2004, un grupo de profesores de la asignatura Lógica Computacional, junto con otras asignaturas de primer curso de las titulaciones de informática, está inmerso en proyectos de investigación sobre docencia universitaria para adecuarla a la temática EEES y ECTS.

Todas estas asignaturas completaron, en abril de 2005, un proyecto de diseño y programación de las mismas que dio lugar a la publicación: ”Adecuación del primer curso de los estudios de informática al Espacio Europeo de Educación Superior, Alicante, 2005” en donde se aborda el análisis y esfuerzo del estudiante para un curso completo a partir del tiempo que debe dedicar para superar sus estudios.

En el curso 2004-2005, cada asignatura implementó la metodología que había propuesto en sus guías docentes. Como se plantearon estrategias docentes innovadoras basadas en la integración de las TIC y en distintos tipos de aprendizajes, la puesta en marcha tuvo buena aceptación entre el profesorado y el alumnado ya que éste participaba más activamente en su propio aprendizaje.

Se añadieron mejoras y propuestas novedosas para retroalimentar la metodología del curso anterior e implementarla en el curso 2005-2006. Una vez finalizado éste, hemos analizado los resultados y hemos visto de qué forma podemos seguir retroalimentando dicha metodología para que se alcancen por completo las pretensiones y objetivos propuestos en la guía. Para ello hemos llevado a cabo las siguientes acciones:

1. Analizar la valoración del tiempo y el esfuerzo de aprendizaje dedicado por el alumno en la asignatura durante el curso 2005-2006.

2. Presentar el grado de satisfacción y la valoración del profesorado sobre la implantación de dicha metodología.

3. Retroalimentar el proceso de implementación proponiendo mejoras y nuevas actitudes para el siguiente curso académico.

2. ENTORNO CONTEXTUAL Y DESCRIPCIÓN DE LA METODOLOGÍA A IMPLEMENTAR

2.1 Entorno Contextual

Nuestra actividad se ha desarrollado en la asignatura de Lógica Computacional que forma parte de los planes de estudios de las ingenierías informáticas (Ingeniería Informática (II), Ingeniería Técnica en Informática de Gestión (ITIG) e Ingeniería Técnica en Informática de Sistemas (ITIS)) de la Universidad de Alicante. Se imparte en el primer cuatrimestre del primer curso y su docencia la llevan a cabo profesores del departamento de Ciencia de la Computación e Inteligencia Artificial, de la Escuela Politécnica Superior.


8

LÓGICA COMPUTACIONAL

Código II (9188); ITIS(9362); ITIG(9286) Tipo Obligatoria Créditos totales 6 créditos Créditos totales ECTS 7,5 créditos Créditos teóricos 3 créditos Créditos prácticos 3 créditos Cuatrimestre 1º cuatrimestre Departamento Ciencia de la Computación e Inteligencia Artificial Área de conocimiento Ciencia de la Computación e Inteligencia Artificial

Descriptores según BOE Lógica de primer orden (sintaxis y semántica). Sistemas de deducción. Demostración automática. Programación lógica.

Tabla 1. Información sobre la asignatura

Dicha asignatura cuenta con los siguientes bloques temáticos:

BLOQUE TEMAS

1: ¿Qué es la Lógica? Precursores y evolución

2: Del Lenguaje Natural al Lenguaje Formal de la Lógica

3: El Lenguaje de la Lógica de Proposiciones

I. El Lenguaje de la Lógica de Primer

Orden

4: El Lenguaje de la Lógica de Predicados

5: Interpretación lógica

6: Estudio semántico de fórmulas proposicionales

7: Estudio semántico de fórmulas cuantificadas

II. Teoría Semántica

8: Estudio semántico de argumentos

9: Razonamiento lógico

10: La Deducción Natural III. Sistemas de

Deducción

11: ¿Cualquier verdad se puede demostrar?

12: Depurando el lenguaje para su tratamiento automático

13: La Demostración Automática de Teoremas

IV. Demostración Automática y Programación

Lógica 14: Introducción a la Programación Lógica

Tabla 2. Bloques temáticos

Para el aprendizaje de estos bloques, según la temática del EEES, hemos diseñado una metodología que ha tenido en cuenta un conjunto de acciones que han conseguido que el aprendizaje de la asignatura sea más dinámico, activo y comunicativo. La nueva metodología pretende enfocar el aprendizaje de nuevos aspectos en los que a la idea de


9

“aprender por aprender” se le añada la de fomentar una forma de trabajar en la que el alumno se haga, de alguna manera, responsable de su propio aprendizaje. Se incrementa la relación profesor-alumno y aparece una mayor interactividad entre los conceptos enseñanza-aprendizaje.

Para diseñar una metodología para nuestra asignatura bajo la temática ECTS, hemos tenido en cuenta, además de usar la lección magistral (“obligada” debido a la masificación de nuestras aulas), otras técnicas de trabajo que han conseguido objetivos hacia una dinámica de interacción. Por ello presentamos la que se ha diseñado para las clases de teoría, de prácticas, para trabajos en grupos pequeños, trabajos complementarios y tutorías docentes.

2.2 Descripción de la metodología a implementar

2.2.1 Descripción de la metodología para las clases de teoría

Las clases de teoría, que se imparten una vez por semana en cada grupo durante 2 horas, se llevan a cabo en un aula con un grupo grande de alumnos. La metodología propuesta contempla los objetivos que se deben alcanzar y la estrategia diseñada para la enseñanza de los bloques teóricos. En líneas generales, la metodología que se ha seguido en la docencia de esta asignatura dentro de las clases de teoría se ha centrado en la realización, por parte del alumnado, de una colección de actividades combinadas con las lecciones magistrales que recibía del profesor. Estas actividades comprendían la participación en la resolución de ejercicios y en diversas actividades en grupo, así como corrección de las pruebas entre compañeros, uso de la pregunta en clase, pruebas de control y debates y discusiones. Se ha dado un enfoque de aprendizaje continuo en el que el alumno se ha hecho partícipe del mismo. Además, con las distintas pruebas a realizar en el aula, el alumno ha estado autoevaluándose continuamente sobre sus conocimientos en la asignatura, por lo tanto, se estaba preparando para el examen final o para librarse de él (ver 6.3.- Evaluación de los procesos y resultados de aprendizaje).

Objetivos:

• Preparar al alumno para que sea un buen conocedor de la materia teórica y conocer sus aplicaciones en el campo que le interese.

• Motivar al alumno para que aprenda participando en clase.

• Adquirir buena disposición para resolver problemas de manera individual y que puedan llevarlos a una discusión colectiva.

Enseñanza:

En cada sesión el profesor realiza una (o varias) de las siguientes variantes:

Lección magistral:

• Actividad del profesor.

• Presentación de la guía de la sesión: objetivos, temario del bloque, material de consulta y bibliografía recomendada.

• Exposición de los conceptos teóricos que componen el bloque.

• Realización de ejemplos relacionados con la teoría.

• Propuesta de actividades para el bloque.

• Propuesta de ejercicios para la próxima sesión.

Ejercicios:

• Actividad del profesor y el alumno.

• Realización de ejercicios que darán una visión general del bloque y que recogerán la mayoría de los casos posibles.


10

• El alumno debe haber trabajado los propuestos.

• Se induce a la participación de los alumnos.

“Prueba” la lógica:

• Actividad del alumno.

• El alumno participa en alguna actividad propuesta por el profesor en el transcurso de la clase.

• Al finalizar la actividad algunos alumnos exponen sus resultados, el resto de alumnos participa en la resolución de la actividad y proponen alternativas.

• La corrección se hace de forma colectiva, todos los alumnos deben participar.

• La intención es generar debates sobre algún problema específico relacionado con la materia que se está impartiendo en las clases de teoría.

• Prueba individual o en equipo.

Control de auto-evaluación:


• El alumno revisa sus conocimientos del bloque que acaba de aprender.

• Prueba con preguntas tipo test y/o ejercicios que se realiza de forma individual.

2.2.2 Descripción de la metodología para las clases de prácticas

Las clases de prácticas, que se imparten una vez por semana en cada grupo durante 2 horas, se llevan a cabo en laboratorios de ordenadores con un grupo reducido de alumnos (30 aproximadamente). Se usa distinto material software. En las clases de prácticas también hemos implementado la estrategia del trabajo continuo, de tal forma que el alumno debía superar una serie de pruebas para acceder a la siguiente. También debía realizar periódicamente controles de autoevaluación. Además se pusieron distintos niveles de volumen de trabajo para que cada uno fuera responsable, de alguna manera, de la nota que quería obtener.

Objetivos:

• Favorecer el aprendizaje automático de la lógica usando diverso material software.

• Entender cómo se puede “llevar” la lógica al ordenador usando un lenguaje de programación lógico específico como, por ejemplo, Prolog.

Enseñanza

En cada sesión, el profesor realiza una (o varias) de las siguientes variantes:

Introducción a la sesión:

• Actividad del profesor.

• Presentación de objetivos, actividades y material para esa sesión.

• Explicación del contenido teórico necesario para trabajar en esa sesión.

• Orientación al alumno para realizar las prácticas, dándole consejos y estrategias.

• Ejemplos.

Ejercicios con software:


• Realización de ejercicios usando diverso material software.

• Uso de diverso material software para hacer ejercicios.

Prácticas de programación lógica:



11

• Implementación de problemas usando el lenguaje Prolog.

• Relación entre el lenguaje de la lógica de primer orden y el lenguaje Prolog.

• Aprendizaje del lenguaje Prolog para realizar deducciones.

Examinadores:

• Actividad desarrollada por el alumno.

• A través de la herramienta del Campus Virtual, se propone la realización de controles, con preguntas tipo test para evaluar los conocimientos adquiridos.

2.2.3 Descripción de la metodología para grupos pequeños

Nota aclaratoria: aunque esta modalidad de aprendizaje necesita de una infraestructura apropiada como horarios y aulas apropiadas para hacerla con grupos pequeños de 12 a 15 alumnos, por ahora hemos tenido que llevarla a cabo con los grupos de prácticas. Por eso, las clases de prácticas y las actividades en grupos pequeños se aunaron para obtener los mejores resultados de ambas.

Objetivos:

• Potenciar la actividad de trabajar en grupo (grupos pequeños), para desarrollar la relación del alumno con sus compañeros.

• Fomentar la capacidad de análisis, diseño e implementación de un problema en concreto.

• Preparar al alumno para desarrollar temas de interés y motivar el aprendizaje de investigación.

Enseñanza:

El profesor propone diversas actividades:

• Ejercicios y cuestionarios teóricos y prácticos, en grupos pequeños, que sirvan de autoevaluación de la materia para el alumno.

• Propuesta de lectura de libros o artículos para desarrollar debates.

• Propuesta de trabajos de prácticas de mayor envergadura que los planteados para las clases de prácticas.

2.2.4 Descripción de la metodología para trabajos complementarios

Objetivos:

• Aprender a trabajar de forma individual haciendo un trabajo de investigación relacionado con la asignatura.

Enseñanza:

El profesor plantea:

• Trabajos para hacer de forma voluntaria y de índole particular que podrán tener tanto carácter teórico como aplicado.

2.2.5 Descripción de la metodología para las tutorías docentes

Objetivos:

• Fomentar al alumno a “visitar” al profesor en horas de tutorías y así conseguir una relación profesor/alumno más personal.

• Hacer que el alumno aproveche las sesiones de tutorías mediante un seguimiento controlado por el profesor.


12

Enseñanza:

El profesor propone:

• Entregar ejercicios y otras cuestiones en horas de tutorías.

• Llevar dudas para resolverlas en grupo.

Además, el alumno ha contado con tutorías en grupo en las que se les ha dinamizado el aprendizaje de forma global aprendiendo mediante las dudas de sus propios compañeros. También han tenido a su disposición becarios de apoyo, en un laboratorio informático, que les ayudaban a resolver sus dudas sobre la materia para así reforzar el aprendizaje no presencial.

3. FASES DE LA IMPLEMENTACIÓN

Para poder implementar la metodología docente en el curso 2005-2006, hemos seguido una serie de fases que detallamos a continuación:

• Diseño de la guía docente de la asignatura según el sistema de créditos ECTS.

• Diseño de las estrategias de aprendizaje para implantar la metodología propuesta.

• Diseño de herramientas de aprendizaje.

• Implementación de la metodología propuesta en guía (curso 2004-2005).

• Evaluación de resultados y retroalimentación del proceso de aprendizaje.

• Propuesta de mejoras e innovaciones metodológicas para el curso 2005-2006.

La fase actual, sobre la que versa este proyecto, se dedica a describir los resultados de la implementación de la metodología que se ha llevado a cabo durante el curso 2005-2006 en la asignatura de Lógica Computacional y cuál ha sido el impacto de las mismas entre el profesorado y el alumnado. Todo esto se justifica porque es necesario evaluar el proceso de aprendizaje al finalizar cada curso y ver los puntos débiles y fuertes del mismo y así actuar a tiempo para planificar el siguiente curso académico.

Las actividades que se llevaron a cabo para la organización del curso académico siguieron el siguiente orden lógico:

• Reuniones con los profesores de la asignatura antes de comenzar el curso académico para organizar el plan de trabajo y calendario docente, según festivos y otros eventos.

• Planificación de las clases de teoría y prácticas, actividades y sincronización entre las sesiones. Publicación en la página web de la asignatura y en Campus Virtual.

• Preparación del material para las clases de teoría: transparencias, ejercicios, actividades participativas, test de control, pruebas de autoevaluación, bibliografía y enlaces, que se publican en el Campus Virtual.

• Preparación del material y enunciado para las clases de prácticas: examinadores, actividades, ejercicios, trabajos prácticos, bibliografía y enlaces, que se publican en el Campus Virtual.

• Actualización de la página Web de la asignatura. Publicación de material para el nuevo curso e información necesaria para el seguimiento de la asignatura: ubicación, entorno docente y profesorado de la asignatura, propuesta de la metodología docente y proceso de evaluación para el curso actual, temario y material software para el seguimiento de las clases.

Las actividades que se llevaron a cabo, una vez finalizado el curso, siguieron el siguiente orden lógico:

• Encuesta al alumnado para evaluar la metodología implementada. El día del examen final, los alumnos realizaron una encuesta sobre distintos aspectos del


13

aprendizaje (ver enunciado en el Apéndice-1).

• Valoración del alumnado a partir del análisis estadístico de los resultados de las encuestas del alumnado, según objetivos y competencias previstas.

• Valoración del profesorado de los resultados obtenidos en las encuestas y de los resultados obtenidos en las distintas pruebas que se realizaron durante el curso, o bien de manera personal con el alumno o a través del Campus Virtual.

• Retroalimentación del proceso en base a los resultados obtenidos. Propuesta de mejoras para el nuevo curso.

4. JUSTIFICACIÓN TEÓRICO-PRÁCTICA

La asignatura de Lógica Computacional justifica sus contenidos teóricos y prácticos en base, por un lado, a las recomendaciones curriculares de los distintos organismos internacionales como ACM (Association for Computing Machinery) e IEEE (Institute for Electrical and Electronic Engineers). En ACM/IEEE de 2001 ([1] y [2]) se propone utilizar la lógica en computación como instrumento de la tarea de representación y resolución de problemas por medio del ordenador. También, en el área de Sistemas Inteligentes (representación del conocimiento y razonamiento), aparecen técnicas de representación y resolución de problemas basadas en lógica.

Por otro lado, los descriptores propuestos en los planes de estudio de las ingenierías informáticas de la Universidad de Alicante, proponen el estudio de la lógica de primer orden (lógica de proposiciones y de predicados), los sistemas de deducción, la demostración automática de teoremas y la programación lógica. También otras universidades, tanto nacionales como internacionales, abordan los estudios de lógica en sus titulaciones informáticas desde varias perspectivas. Así, universidades españolas como la de Zaragoza y la de Murcia introducen la lógica como parte del temario de la asignatura de Matemática Discreta. La universidad autónoma de Barcelona y la complutense de Madrid ofertan asignaturas obligatorias de lógica en distintos cursos de las ingenierías informáticas. Universidades internacionales como la de Cambrige, la Imperial Collage de Londres y la universidad de Stanford también imparten asignaturas relacionadas con la materia de lógica.

En cuanto el alumno profundiza en aspectos como la lógica de primer orden, resolución y prueba de teoremas, inferencia no monótona, razonamiento probabilístico y teorema de Bayes, está capacitado para el diseño y análisis de agentes autónomos, para representar conocimiento y para diseñar sistemas inteligentes. Por ello, se reconoce el carácter fundamental de la lógica como herramienta imprescindible para el informático, ya que le permite elaborar especificaciones formales y formalizar líneas de razonamiento, diseño y descripción de sistemas inteligentes.

En la asignatura de Lógica Computacional se aborda la materia de lógica desde los principios fundamentales de la computación, con un aprendizaje del razonamiento matemático lógico, la demostración automática de teoremas y la programación lógica. Estos contenidos se desarrollan tanto en teoría como en prácticas mediante la aplicación de una metodología que hace que se relacionen los contenidos teóricos con los prácticos. En las clases de teoría el aprendizaje de la lógica se establece con demostraciones usando un razonamiento matemático lógico, en las clases de prácticas el aprendizaje es a partir del uso de diverso material software con el que se trabajan los contenidos teóricos lógicos, de forma automática.

Teniendo en cuenta estas especificaciones, los perfiles profesionales a los que se dirigen los contenidos de nuestra asignatura se resumen en la Tabla 3.


14

Perfil Titulación: Competencias Perfil Asignatura: Competencias

Desarrollo de software y aplicaciones

Conocimiento y habilidad en la aplicación de software para hacer demostraciones y representación de conocimiento.

Arquitectura y diseño de software

Entendimiento y destreza en el desarrollo de programas con lenguajes de programación lógica.

Diseño multimedia

Pericia en manejar aplicaciones multimedia para el estudio de la validez de argumentos.

Conocimiento y habilidad en la aplicación de software para demostraciones.

Ingeniería de comunicación de datos

Pericia y habilidad en la aplicación de software para demostraciones y sistemas inteligentes.

Diseño de redes de comunicación

Destreza y habilidad para organizar redes de comunicación en donde se lleven a cabo demostraciones automáticas de teoremas.

Asistencia técnica Entendimiento y habilidad en la creación, uso y aplicación de software para demostraciones.

Ingeniería de integración y pruebas e implantación y pruebas

Conocimiento y destreza para el estudio de la demostración automática de teoremas y la programación lógica.

Destreza y habilidad en la aplicación de software para demostraciones de teoremas.

Consultoría de empresas TIC Pericia en la realización de software de aplicación para demostraciones de teoremas.

Especialista en sistemas Conocimiento y habilidad en la aplicación de software para demostraciones automáticas y diseño básico de sistemas inteligentes.

Desarrollo de investigación y tecnología

Destreza para formalizar líneas de investigación introductorias para el aprendizaje de la validez de razonamientos, diseño y descripción de sistemas inteligentes.

Conocimiento y habilidad en la aplicación de software para demostraciones.

Dirección de TIC

Entendimiento y habilidad para el estudio de formalismos lógicos.

Conocimiento y habilidad en técnicas de demostración de teoremas usando herramientas TIC.

Pericia y destreza para el estudio de la validez de argumentos con tratamiento automático desde el punto de la programación lógica.

Tabla 3. Perfiles de la titulación y de la asignatura


15

5. COHERENCIA DE LA IMPLEMENTACIÓN CON LA GUÍA DOCENTE

A continuación se presentan unas tablas con las competencias y objetivos generales, el plan de aprendizaje, la secuencia metodológica, material y evaluación que se han considerado para cada bloque del temario de la asignatura donde se ha llevado a cabo la implementación de la metodología propuesta en la guía docente, bajo la temática ECTS (ver ”Adecuación del primer curso de los estudios de informática al Espacio Europeo de Educación Superior, Alicante, 2005”), y cuyos procesos de aprendizaje han sido revisados, año tras año, a partir de la puesta en marcha de la misma.

En el Apéndice 2 se presenta la coherencia entre los objetivos y las competencias específicas (instrumentales, sistémicas e interpersonales) para cada uno de los bloques que conforman el temario, con los que se completa toda la coherencia de la implementación de la metodología propuesta y llevada a cabo en el curso que hemos analizado con la guía docente.


16

COMPETENCIAS/OBJETIVOS BLOQUES DE CONTENIDO

PLAN DE APRENDIZAJE DEL ALUMNO

SECUENCIA METODOLÓGICA

MATERIALES Y EVALUACIÓN

SABER

Conocer, saber interpretar y analizar los fundamentos formales del lenguaje de la lógica de primer orden para la representación formal del conocimiento.

Actividades Presenciales Teoría: 3 sesiones • Planificación del aprendizaje. • Presentación de material. • Lección magistral. • Pruebas individuales y en grupo. • Control individual. • Tutorías individuales y en grupo. Práctica: 3 sesiones. • Planificación de aprendizaje. • Presentación de Material. • Trabajos prácticos. • Tutorías en aula. • Control individual. Actividades No Presenciales • Aprendizaje on-line. • Recogida de material. • Actividades individuales. • Trabajos complementarios. • Cuaderno de Bitácoras. • Revisión de libros/enlaces.

Sesiones teórico/ prácticas. • Publicación de material para las clases de teoría. • Publicación de actividades no presenciales. • Propuesta de trabajos complementarios. • Resolución de ejercicios. • Organización de grupos para realizar actividades presenciales. • Organizar tutorías grupales.

SABER HACER

Detectar la relación entre el lenguaje natural y el lenguaje formal de la lógica de primer orden para poder formular argumentos con un lenguaje

BLOQUE I: El lenguaje de la Lógica de Primer Orden

Actividades Presenciales • Asistencia a sesiones teórico/ prácticas. • Revisar ejercicios. • Trabajar en equipo en pruebas globales. • Realizar pruebas de control

• Tomar apuntes. • Preguntar dudas. • Participar en actividades individuales y grupales. • Entregar actividades. • Hacer ejercicios en pizarra.

Material para teoría: • Esquema planificación de aprendizaje. • Libro de apuntes. • Transparencias o resumen. • Bloque de Actividades. • Ejercicios modelos resueltos y propuestos. • Libros recomendados comentados. • Exámenes anteriores resueltos. • Links a direcciones de interés. Material para prácticas: • Esquema planificación de aprendizaje. • Propuesta trabajos prácticos. • Ejercicios modelos resueltos y propuestos. • Software. • Links a direcciones de interés. Evaluación para teoría: • Controles y pruebas continuas en aula. • Examen final. Evaluación para prácticas: • Trabajos y controles periódicos en laboratorios.


17

artificial esquemático. individuales. • Asistir a tutorías. Actividades No Presenciales • Recoger material y actividades. • Revisar enlaces y libros. • Realizar trabajos prácticos. • Entregar trabajos. • Hacer C. Bitácoras del Bloque I.

• Organizar la entrega de trabajos complementarios.

Criterios: Grado de comprensión, interpretación, análisis y aplicación de los conceptos relativos al lenguaje de la lógica de primer orden.

Tabla 4. Bloque I coherencia con la guía docente





SABER

Conocer, saber interpretar y analizar los fundamentos formales de la teoría semántica de la lógica de primer orden para el estudio de la validez de argumentos a partir de sus componentes lógicas.

BLOQUE II: Teoría semántica

Actividades Presenciales Teoría: 4 sesiones • Planificación del aprendizaje. • Presentación de material. • Lección magistral. • Pruebas individuales y en grupo. • Control individual. • Tutorías individuales y en grupo. Práctica: 4 sesiones. • Planificación de aprendizaje. • Presentación de Material. • Trabajos prácticos. • Tutorías en aula.

Sesiones teórico/ prácticas. • Publicación de material para las clases de teoría. • Publicación de actividades no presenciales. • Propuesta de trabajos complementarios. • Resolución de ejercicios. • Organización de grupos para realizar actividades

Material para teoría: • Esquema planificación de aprendizaje. • Libro de apuntes. • Transparencias o resumen. • Bloque de Actividades. • Ejercicios modelos. resueltos y propuestos. • Libros recomendados comentados. • Exámenes anteriores resueltos. • Links a direcciones de interés. Material para prácticas: • Esquema planificación de aprendizaje.


18

• Actividades individuales. • Trabajos complementarios. • Cuaderno de Bitácoras. • Revisión de libros/enlaces.

SABER HACER

Ante el estudio de la validez de un argumento saber preparar el problema y elegir el método semántico más apropiado para realizar la demostración, atendiendo al nivel de abstracción de la formalización del mismo.

Actividades Presenciales • Asistencia a las sesiones teórico/ prácticas. • Revisar ejercicios. • Trabajar en equipo en pruebas globales. • Realizar pruebas de control individuales. • Asistir a tutorías. Actividades No Presenciales • Recoger material y actividades. • Revisar enlaces y libros recomendados. • Realizar trabajos prácticos • Entregar trabajos. • Hacer C. Bitácoras del Bloque II.

• Tomar apuntes. • Preguntar dudas. • Participar en actividades individuales y grupales. • Entregar actividades. • Hacer ejercicios en pizarra. • Organizar la entrega de trabajos complementarios.

• Propuesta trabajos prácticos con el lenguaje Prolog. • Software- SWI-Prolog. • Links a direcciones de interés. Evaluación para teoría: • Controles y pruebas continuas en aula. • Examen final. Evaluación para prácticas: • Trabajos y controles periódicos en laboratorios. Criterios: Grado de comprensión, interpretación, análisis y aplicación de los conceptos relativos a la teoría semántica.

Tabla 5. Bloque II coherencia con la guía docente


19





SABER

Conocer, saber interpretar y analizar las operaciones simbólicas sobre sistemas formales de la lógica de primer orden mediante los sistemas de deducción para estudiar la validez de argumentos.

Actividades Presenciales Teoría: 4 sesiones • Planificación del aprendizaje. • Presentación de material. • Lección magistral. • Pruebas individuales y en grupo. • Control individual. • Tutorías individuales y en grupo. Práctica: 4 sesiones. • Planificación de aprendizaje. • Presentación de Material. • Trabajos prácticos. • Tutorías en aula. • Control individual. Actividades No Presenciales • Aprendizaje on-line. • Recogida de material. • Actividades individuales. • Trabajos complementarios • Cuaderno de Bitácoras. • Revisión de libros/enlaces.

Sesiones teórico/ prácticas. • Publicación de material para las clases de teoría. • Publicación de actividades no presenciales. • Propuesta de trabajos complementarios. • Resolución de ejercicios. • Organización de grupos para realizar actividades presenciales. • Organizar tutorías grupales.

SABER HACER

Ser capaz de abordar el estudio de la validez de argumentos mediante el método de deducción natural, planteando y formulando el esquema deductivo y obteniendo por inferencia, información de un conjunto de premisas.

BLOQUE III: Sistemas de Deducción

Actividades Presenciales • Asistencia a las sesiones teórico/ prácticas. • Revisar ejercicios. • Trabajar en equipo en pruebas globales. • Realizar pruebas de control individuales. • Asistir a tutorías.

• Tomar apuntes. • Preguntar dudas. • Participar en actividades individuales y grupales. • Entregar actividades. • Hacer ejercicios en pizarra. • Organizar la entrega de trabajos

Material para teoría: • Esquema planificación de aprendizaje. • Libro de apuntes. • Transparencias o resumen. • Bloque de Actividades. • Ejercicios modelos resueltos y propuestos. • Libros recomendados comentados. • Exámenes anteriores resueltos. • Links a direcciones de interés. Material para prácticas: • Esquema planificación de aprendizaje. • Propuesta trabajos prácticos con el lenguaje Prolog. • Software- SWI-Prolog. • Links a direcciones de interés. Evaluación para teoría: • Controles y pruebas continuas en aula. • Examen final. Evaluación para prácticas: • Trabajos y controles


20

Actividades No Presenciales • Recoger material y actividades. • Revisar enlaces y libros recomendados. • Realizar trabajos prácticos • Entregar trabajos. • Hacer C. Bitácoras del Bloque III.

complementarios.

periódicos en laboratorios. Criterios: Grado de comprensión, interpretación, análisis y aplicación de los conceptos relativos al método de deducción natural.

Tabla 6. Bloque III coherencia con la guía docente





SABER

Conocer, saber interpretar y analizar las operaciones simbólicas sobre sistemas formales de la lógica de primer orden mediante los sistemas de deducción para estudiar la validez de argumentos.

BLOQUE IV: Demostración Automática y Programación Lógica

Actividades Presenciales Teoría: 4 sesiones • Planificación del aprendizaje. • Presentación de material. • Lección magistral. • Pruebas individuales y en grupo. • Control individual. • Tutorías individuales y en grupo. Práctica: 4 sesiones. • Planificación de aprendizaje. • Presentación de Material. • Trabajos prácticos. • Tutorías en aula.

Sesiones teórico/ prácticas. • Publicación de material para las clases de teoría. • Publicación de actividades no presenciales. • Propuesta de trabajos complementarios. • Resolución de ejercicios. • Organización de grupos para realizar actividades

Material para teoría: • Esquema planificación de aprendizaje. • Libro de apuntes. • Transparencias o resumen. • Bloque de Actividades. • Ejercicios modelos resueltos y propuestos. • Libros recomendados comentados. • Exámenes anteriores resueltos. • Links a direcciones de interés. Material para prácticas: • Esquema planificación de aprendizaje.


21

• Actividades individuales. • Trabajos complementarios • Cuaderno de Bitácoras. • Revisión de libros/enlaces.

SABER HACER

Ante el estudio de la validez de un argumento usando alguna técnica de la deducción automática ser capaz de construir el esquema deductivo que conforme la demostración.

Actividades Presenciales • Asistencia a las sesiones teórico/ prácticas. • Revisar ejercicios. • Trabajar en equipo en pruebas globales. • Realizar pruebas de control individuales. • Asistir a tutorías. Actividades No Presenciales • Recoger material y actividades. • Revisar enlaces y libros recomendados. • Realizar trabajos prácticos • Entregar trabajos. • Hacer C. Bitácoras del Bloque IV.

• Tomar apuntes. • Preguntar dudas. • Participar en actividades individuales y grupales. • Entregar actividades. • Hacer ejercicios en pizarra. • Organizar la entrega de trabajos complementarios.

• Propuesta trabajos prácticos con el lenguaje Prolog. • Software- SWI-Prolog. • Links a direcciones de interés. Evaluación para teoría: • Controles y pruebas continuas en aula. • Examen final. Evaluación para prácticas: • Trabajos y controles periódicos en laboratorios. Criterios: Grado de comprensión, interpretación, análisis y aplicación de los conceptos relativos al método de deducción natural.

Tabla 7. Bloque IV coherencia con la guía docente


22

6. DESCRIPCIÓN DEL PROCESO DE IMPLEMENTACIÓN DE LAS METODOLOGÍAS

6.1 Descripción de las metodologías

Nuestro principal objetivo a la hora de implementar la metodología propuesta es que el alumno aproveche los recursos y técnicas de aprendizaje que el profesor le plantea para que consiga superar con éxito la evaluación de la asignatura, consiga las competencias previstas en la misma y que los contenidos que aprenda en ella pueda usarlos con habilidad y destreza durante el transcurso de sus estudios y en su vida profesional.

6.1.1 Herramientas docentes

Para la implementación, contamos con dos herramientas informáticas: la página web de la asignatura y el Campus Virtual (CV) de la UA. Con ellas el alumno está al tanto de todo cuanto acontece en la asignatura y de las actividades propuestas. También contamos con el libro de apuntes ([5]), que se preparó para la asignatura, y que tiene todos los bloques de teoría y ejercicios que se seguirán en las clases de teoría. Otra herramienta para el aprendizaje son los laboratorios de apoyo a la docencia.

En la página Web (http://www.dccia.ua.es/dccia/inf/asignaturas/LC) se presenta toda la información necesaria para que el alumno esté informado de cómo está estructurada la asignatura. Esta página se actualiza al comenzar el curso y luego no se modifica hasta el siguiente. La parte dinámica de la asignatura (publicaciones de actividades, ejercicios para sesiones, trabajos y fechas de entrega etc) se lleva a través del CV. La página Web tiene el siguiente aspecto:

Figura 1. Web de la asignatura Lógica Computacional


23

• En el enlace “Programa de la asignatura”: se encuentra toda la información sobre la metodología que se va a implementar en el curso actual y también tenemos los bloques que conforman el contenido de la asignatura con una breve descripción de cada uno y el proceso de evaluación. Horarios de todos los turnos de teoría y prácticas para todas las titulaciones y la bibliografía necesaria para el seguimiento de la asignatura.

• En el enlace “Clases de teoría”: se encuentran los nombres de los profesores de teoría con los grupos en los que tienen docencia, tutorías y ubicación. También hay ejercicios y algunos exámenes resueltos de cursos anteriores.

• En el enlace “Clases de prácticas”: además de contener información sobre los grupos de prácticas y profesorado que los imparte, sus tutorías y localización, aparece el enunciado de prácticas, con la planificación de las mismas.

• En el enlace “Avisos”: se ponen noticias de última hora sobre algún acontecimiento puntual de la asignatura porque los referentes a las distintas sesiones semanales lo gestionamos a través del CV.

• En el enlace “lógica”: el alumno tiene a su disposición todo el material software necesario para las clases de prácticas, además de guías, manuales y enlaces de interés.

En el Campus Virtual, el alumno cuenta con los siguientes materiales:

• Colección de transparencias de cada para el seguimiento de las clases de teoría.

• Colección de propuestas de actividades para cada bloque: ejercicios y curiosidades lógicas.

• Colección de artículos sobre temas relacionados con la materia de lógica.

• Listado de problemas que deben hacer en grupos pequeños en las prácticas.

• Pruebas objetivas con preguntas tipo test sobre los contenidos teóricos y prácticos.

• Soluciones de los ejercicios que se van resolviendo en clase y propuestos para actividades no presenciales.

• Debates para tratar algún tema de lógica.

• Colección de respuestas a dudas frecuentes.

• Modelo para organizar y crear un Cuaderno de Bitácoras para el seguimiento de la asignatura.

• Enlaces a direcciones interesantes sobre temas de lógica relacionados con los bloques de contenido.

• Colección de propuestas de trabajos complementarios para teoría y prácticas.

• Colección de libros recomendados para el seguimiento de los bloques.

En los Laboratorios de Apoyo, el alumno cuenta con:

• Becarios del proyecto de redes de investigación docente, que llevan a cabo tutorías en un laboratorio de la EPS. El alumno puede consultar dudas sobre alguna de las actividades no presenciales en las que se encuentre trabajando.

6.1.2 Implementación de la metodología en las clases de teoría

Profesor: al comenzar un bloque de contenido, se publica en el CV el material necesario para su aprendizaje: guía y planificación para el bloque, transparencias, enlaces, libros recomendados y propuesta de actividades no presenciales (ejercicios sin soluciones,


24

curiosidades lógicas y pruebas de control para evaluación del bloque). Se abre un debate para opinar sobre el aprendizaje del bloque, dudas y sugerencias.

Material de trabajo para las clases de teoría:

• Medios audiovisuales: uso de pizarra, transparencias y/o cañón de proyección (según las características del aula). Publicaciones en web.

• Incentivo para participar en clase: preguntando con distintas pruebas, si tienen conocimientos del bloque que se comienza, dónde los han adquirido y lo que recuerden de ese aprendizaje.

• Se motiva el aprendizaje haciendo que el alumno participe en algún pequeño trabajo de investigación para reforzar el tema que acaban de aprender. Buscar aplicaciones. Pedir resumen del tema.

• Libros y enlaces de interés: se recomiendan libros apropiados para el seguimiento de las clases.

• Propuesta de actividades presenciales: ejercicios y curiosidades lógicas, Pruebas de control tipo test con ejercicios que evalúan de forma continua el progreso del alumno en la materia.

• Propuesta de actividades no presenciales: bloques de ejercicios y otras cuestiones de lógica relacionados con cada bloque.

Alumno: debe realizar lo siguiente:

• En horas presenciales: hacer un seguimiento de la sesión preguntado todo lo que sea necesario, en las pautas establecidas por el profesor. Participar en pruebas presenciales, individuales y en grupo. Entregar las actividades propuestas para el seguimiento del bloque. Realizar los controles periódicos.

• En horas no presenciales: leer las directrices marcadas en la guía del bloque. Consultar apuntes y libros recomendados, hacer ejercicios propuestos, elegir un trabajo complementario, asistir a tutorías y consultar dudas con sus compañeros. Preparar el material propuesto por el profesor para trabajar en la clase siguiente. Añadir al Cuaderno de Bitácoras crítica, trabajo y horas dedicadas para el aprendizaje.

6.1.3 Implementación de la metodología en las clases de prácticas

Profesor: en cada sesión el profesor presenta objetivos y listado de actividades. Distribuye material y dirige al alumno con estrategias de aprendizaje. Realiza ejemplos y al finalizar cada bloque de objetivos realiza pruebas de control desde el Campus Virtual.

Material de trabajo para las clases de prácticas:

• Medios audiovisuales: uso de pizarra y transparencias, cañón de proyección y ordenador. Publicaciones en web.

• Enunciado de prácticas: colección de actividades con diverso material software.

• Pruebas de control o examinadores: colección de preguntas tipo test que evalúan de forma continua el progreso del alumno en la materia práctica.

• Libros y enlaces de interés.


• En horas presenciales: leer las directrices marcadas para realizar las prácticas y hacer un seguimiento de la sesión preguntando todo lo que sea necesario, en las pautas establecidas por el profesor. Participar en pruebas presenciales. Realizar los controles periódicos.

• En horas no presenciales: leer las directrices marcadas en la guía del enunciado de prácticas. Asistir a tutorías y consultar dudas con sus compañeros. Preparar el material


25

propuesto por el profesor para trabajar en la clase siguiente. Entregar las actividades prácticas en las fechas establecidas. Añadir al Cuaderno de Bitácoras crítica, trabajo y horas dedicadas para el aprendizaje.

6.1.4 Implementación de la metodología en grupos pequeños

Profesor: al comenzar cada bloque se publica una colección de ejercicios y artículos relacionados con cada uno. También en las clases de prácticas se proponen actividades de mayor envergadura que las propuestas para el curso.


• En horas presenciales: exponer ejercicios y cuestiones en grupo. Hacer resúmenes de las clases de teoría. Exponer trabajo de lectura de libros y/o artículos recomendados en la asignatura entre los miembros del grupo y después hacer comentarios y discusión entre ellos.

• En horas no presenciales: elegir alguno de los trabajos prácticos de mayor envergadura de los propuestos en prácticas.

6.1.5 Implementación de la metodología en trabajos complementarios

Profesor: al comenzar cada bloque se publica una colección de trabajos complementarios relacionados con el contenido de dicho bloque.


• En horas no presenciales: hacer alguno de los trabajos propuestos y entregarlo antes del examen final.

6.1.6 Implementación de la metodología para tutorías docentes

Profesor: se publica el día que se llevará a cabo una tutoría en grupo para que los alumnos lleven sus propuestas.


• En horas no presenciales: acudir a alguna tutoría individual y en grupo para completar el aprendizaje del bloque.

6.2 Planificación del proceso para cada bloque de contenido.

Para planificar la metodología para la asignatura, hemos tenido en cuenta el número de créditos necesarios que necesita un alumno para completar su aprendizaje. Estos créditos vienen reflejados por las horas que deben trabajar entre actividades presenciales (horas de clases) y no presenciales (trabajo fuera de clase).

Las horas presenciales de un estudiante se reparten entre las clases de teoría, las de prácticas en laboratorio y las actividades en grupos pequeños. Las no presenciales se reparten entre las actividades que tienen que hacer para las clases de teoría y las de prácticas, como la resolución de ejercicios, preparación de los test de autoevaluacion que se hacen después de cada tema y realización de trabajos complementarios.

También se consideran actividades en horas no presenciales las de asistencia a tutorías docentes, entrega de actividades, elaboración de un cuaderno de Bitácoras, lectura y entrega de trabajos al profesor y las horas dedicadas a la preparación del examen final de teoría.

En la Tabla 8 se propone el número de horas presenciales y no presenciales que debe dedicar el alumno a cada bloque para superar la asignatura.


26

HHOORRAASS DDEE AACCTTIIVVIIDDAADDEESS PPRREESSEENNCCIIAALLEESS//NNOO PPRREESSEENNCCIIAALLEESS

CCllaasseess ddee TTeeoorrííaa

CCllaasseess ddee PPrrááccttiiccaass

GGrruuppooss ppeeqquueeññooss// ttuuttoorrííaass ddoocceenntteess

AAccttiivviiddaadd

PPrreess.. NNoo PPrreess..



BBllooqquuee

Presentación 1 1,75 1 0,25

Tema 1 1 1,75 Tema 2 2 3,5 1 2 1 0,5 Tema 3 2 3,5 2 4 2 0,5

I: EL LENGUAJE DE LPO

Tema 4 1 1,75

Tema 5 2 3,5 Tema 6 2 3,5 1 2 2 0,5 Tema 7 3 5,25 2 4 3 0,25

II: TEORÍA SEMÁNTICA

Tema 8 2 3,5

Tema 9 2 3,5 1 2 0,25 Tema 10 2 3,5 2 4 2 0,5 III: SISTEMAS

DE DEDUCCIÓN Tema 11 2 3,5 0,5

Tema 12 2 3,5 2 4 2 0,25 Tema 13 2 3,5 2 4 2 0,25

IV: DEDUCCIÓN AUTOMÁTICA Y

PROGRAMACIÓN LÓGICA

Tema 14 2 3,5 2 4 0,25

Preparación 2 2,5 EXAMEN FINAL

Duración 3

TUTORÍAS 0,75 Totales Pres.

33 15 15

Totales No Pres. 52,25 30 4

Tabla 8. Perfiles de la titulación y de la asignatura

Conforme a las horas que hemos planificado para cada tema de cada bloque, hemos diseñado la implementación para cada sesión de teoría teniendo en cuenta que todos los grupos reciban el mismo contenido de los bloques (algunos grupos tienen más sesiones de teoría que otros, por las fiestas). En este caso, el grupo que tiene más clases tiene en esas sesiones tutorías y ejercicios de repaso. Cada sesión de teoría es de 2 horas a la semana para cada grupo de cada una de las tres titulaciones informáticas.

Para planificar las clases de prácticas se ha tenido en cuenta, al igual que para las clases de teoría, el número máximo de clases que pueden dar todos los grupos. En esta planificación están inmersas las actividades de grupos pequeños, puesto que mientras que no contemos con más infraestructura tenemos que realizar esta actividad dentro de las clases de prácticas.

Se han planificado sesiones de tutorías en grupos (ver Tabla 9) fuera del horario de las clases de teoría y prácticas. También se han planificado sesiones para el seguimiento de trabajos complementarios que se llevarán a cabo en el despacho del profesor. Los alumnos pueden elegir de entre todos los enunciados de trabajos complementarios propuestos por la


27

asignatura para entregarlos durante el curso, en horarios de tutorías, a su profesor de teoría. Estos trabajos son voluntarios y lo pueden realizar de forma individual o en grupo. Las sesiones previstas para el seguimiento y la entrega de los diferentes trabajos quedan reflejadas en la Tabla 9.

PPLLAANNIIFFIICCAACCIIÓÓNN PPAARRAA EELL AAPPRREENNDDIIZZAAJJEE DDEE LLOOSS BBLLOOQQUUEESS

SSeessiioonneess PPaarraa llaass ccllaasseess ddee tteeoorrííaa PPaarraa llaass ccllaasseess ddee pprrááccttiiccaass

PPaarraa ggrruuppooss ppeeqquueeññooss// ttuuttoorrííaass ddoocceenntteess

PPaarraa ttrraabbaajjooss ccoommpplleemmeennttaarriiooss

Sesión 1

Presentación de la asignatura. Exposición de la metodología docente para el curso 2005-2006.

� Matriculación a prácticas.

Presentación de las tutorías: dónde realizar consultas, uso Campus Virtual, despacho y email profesores.

� Presentación de las normas para realizar trabajos.

Sesión 2

�� Lección magistral 1: BI-Lenguaje Lpo (1) Tema 1: ¿Qué es la Lógica? Precursores y evolución. Tema 2: Del Lenguaje Natural al lenguaje Lógico. Tema 3: El Lenguaje de la Lógica Proposiciones. ��Ejemplos relacionados.

� Sorteo de grupos de prácticas.

� Propuesta de actividades y trabajos para prácticas.

� Normas y evaluación.

Tutorías individuales en el despacho del profesor o en el C.V.

� Propuesta de trabajos complementarios para el aprendizaje del Bloque I.

� Publicación en Materiales/ C.V.

Sesión 3 � Ejercicios de repaso.

� Entorno y material de trabajo.

� Recorrer web de LC.

� Examinador-0: lógica y Prolog.


� El alumno elige un trabajo complementario y se lo notifica al profesor por el C.V.

Sesión 4

�� Lección magistral 2: BI-Lenguaje Lpo (2) Tema 4: Lenguaje de la Lógica de Predicados.

��Ejemplos relacionados.

�� Control-1: BI (1).

� El lenguaje de lpo y Prolog.

� Fórmulas lógicas y sentencias Prolog.

� Tareas T1, T2 y T3: Hechos Prolog.

Tutorías en grupo para revisar dudas del Bloque I en aula, fuera del horario de clase.

Sesión 5

�� Ejercicios-1: BI-lenguaje Lpo Resolución de ejercicios con participación del alumno.

�� “Prueba” la lógica-1. Actividades interactivas entre alumnos sobre el Bloque I.

� Programas Prolog.

� Compilar y ejecutar un programa.

� Tareas T4, T5, T6 y T7: Reglas Prolog.

� Tarea T8: preguntas a un programa.


� El alumno entrega el trabajo complementario del Bloque I.

� El profesor propone trabajos para el aprendizaje del Bloque II.

� Publicación Materiales/ C.V.


28

Sesión 6 �� Ejercicios de repaso.

Revisión de prácticas.

Tutorías individuales en el despacho del profesor o C.V.

� El alumno elige un trabajo del BII y se lo notifica al profesor por el C.V.

Sesión 7

��Lección magistral 3: BII-Tª Semántica (1). Tema 5: Interpretación lógica. Tema 6: Estudio semántico de fbf proposicionales. ��Ejemplos relacionados.

��Control-2: BI (1) y BI(2).

� Computación: resolución y reevaluación.

� Tarea T9: resolución, reevaluación.

� Operadores relacionales y aritméticos.

� Tarea T10: uso de operadores.

� Software TV: Taules de veritat.

Tutorías en grupo para revisar dudas del Bloque II en aula, fuera del horario de clase.

Sesión 8

��Lección magistral 4:

BII- Tª Semántica (2) Tema 7: Estudio semántico de fbf cuantificadas. Tema 8: Estudio semántico de argumentos �� Ejemplos relacionados.

��Control-3: BI (1+2) y BII (1).

� Implementación de una Base Conocimientos con Prolog (BC).

� Tareas Prolog T11, T12 y T13.

� Examinador-1: Prolog.


Sesión 9

��Ejercicios-2: BII- Tª Semántica (1+2). Resolución de ejercicios con participación del alumno.

��“Prueba” la lógica-2. Actividades interactivas entre alumnos sobre el Bloque I y II.

� BC Prolog.

� Tareas Prolog T14 y T15.

� Examinador-2.


� El alumno entrega el trabajo del Bloque II.

� El profesor propone trabajos para aprendizaje del Bloque III.

� Publicación en Materiales/ C.V.

Sesión 10

��Lección magistral 5: BIII-Sist. de deducción (1). Tema 9: Razonamiento lógico. Tema 10: Deducción Natural.


�� Control-4: BI (1+2) y BII (1+2).

� Estructuras de datos en Prolog.

� Tareas Prolog T16: listas.

� Manejo de listas.

� Recursión.

� Tareas T17, T18 y T19 : recursividad.


� El alumno elige un trabajo Complementario del Bloque III y se lo notifica al profesor por el C.V.

Sesión 11 Ejercicios de repaso. Revisión de prácticas.


29

Sesión 12

��Lección magistral 6: BIII-Sist. de deducción (2) Tema 10: Deducción Natural. Tema 11: ¿Cualquier verdad se puede demostrar?


�� Control-5: BI (1+2), BII (1+2) y BIII (1).

� Reagrupar tareas.

� Deducción natural con ADN.

Tutorías en grupo para revisar dudas del Bloque III en aula, fuera del horario de clase.

Sesión 13

��Lección magistral 7: BIV- DAT y P. lógica (1).

��Ejercicios-5: BIII-Sist. de deducción (1+2) Resolución de ejercicios con participación del alumno.

��“Prueba” la lógica-5. Actividades interactivas entre alumnos sobre el Bloque III.

� Ejercicios con métodos mecánicos: Cuadro y Davis-Putnam.


� El alumno entrega el trabajo complementario del Blqoue III.

� El profesor propone trabajos complementarios para el aprendizaje del Blqoue IV.

� Publicación en la herramienta Materiales/ C.V.

Sesión 14

��Lección magistral 8: BIV- DAT y P. lógica (2). Tema 12: Depurando el lenguaje para automática Tema 13: La DAT


� BC Prolog.

� Tareas Prolog T20--T24.


Sesión 15

��Lección magistral 9: BIV-DAT y P. Lógica (3). Tema 14: Introducción a la Programación Lógica.


�� Control-6: BI (1+2), BII (1+2), BIII (1+2) y BIV (1).

� Recuperación de tareas pendientes.

� Examinador-3.

Tutorías en grupo para revisar dudas del Bloque IV en aula, fuera del horario de clase.

� El alumno entrega el trabajo complementario del Bloque IV.

Tabla 9. Planificación para el aprendizaje de los bloques

6.3 Evaluación de los procesos y resultados de aprendizaje

La evaluación de la asignatura está directamente relacionada con la metodología propuesta para el aprendizaje de cada bloque. Se presentan dos opciones de evaluación que el alumno puede elegir libremente, de tal forma que cada una de ellas puede llevarle a superar con éxito la asignatura. La evaluación de la asignatura comienza con el siguiente texto y después se desarrollan las propuestas.

Léeme antes de seguir: la evaluación de cada una de las partes de la asignatura (teoría y prácticas) está directamente relacionada con la metodología propuesta en donde, como se puede observar, hay mucha participación del alumno. Como queremos apostar, junto con el Tratado de Bolonia, por el alumno que consigue superar sus estudios con esfuerzo y dedicación, y que no se “juega” un aprobado en el examen final (opción con la que cada vez hay menor número de alumnos aprobados), proponemos un modelo de evaluación: “suma y sigue”, con el que se obtiene la nota de la asignatura mediante la suma de las que se


30

consiguen del trabajo controlado y continuado, a lo largo del curso. Esta propuesta es sólo aconsejable y voluntaria, nunca obligatoria. Con ella queremos ayudaros a superar la asignatura con un trabajo continuado y ameno, pero entendemos que cualquier alumno es capaz, por si solo, de llevar a cabo el aprendizaje y preparación de la misma y realizar la evaluación en el examen final de febrero, sin la ayuda explícita del profesor.

Con esto, pasamos a presentar cómo se evalúa la asignatura.

Para cualquiera de las opciones de evaluación que proponemos, la nota final de la asignatura se obtiene mediante la evaluación de las clases de teoría y la de las clases de prácticas con la siguiente distribución de puntos:

�� Nota Final = [0,7] Nota de Teoría + [0,3] Nota de Prácticas

Para obtener Nota Final, es necesario que, Nota de Teoría ≥ 3,5 y Nota de Prácticas ≥ 1,4.

Pasamos a detallar cada propuesta, pero antes “echar un vistazo” al esquema siguiente.

OBTENCIÓN DE LA NOTA FINAL

TEORÍA - 7 PRÁCTICAS - 3

ACTIVIDADES• Entrega Fecha [0,1]• No Entrega Fecha 0

Participar[0,0.25]

Tutorías[0,0.5]

CONTROLES [0,5]

EXAMEN FINAL [0,7]

SUMA Y SIGUETAREAS Prolog

[0,1.8]

Software ADN[0,0.6]

Examinadores[0,0.45]

USUAL

NOTA FINAL [0,10]

Bitácora[-0.25,0.25]

NT NP+

+>=0.9

>=0.2

+

+

+

>=4 <4

40% SUMA Y SIGUE

SUMA Y SIGUE + Bitácora

EXAMEN FINAL

40% SyS +

EXAMEN FINAL

>=3,5 >=1,4

+

• Software TV • M. Mecánicos

[0,0.15]

+

>=0.3

Tabla 10. Esquema de evaluación

Obtención de la Nota de Teoría:

El alumno debe elegir una de estas dos opciones de evaluación:

Opción 1.- Evaluación usual: realización de un examen al finalizar el curso.

Opción 2.- “Suma y Sigue”: evaluación continua. 2.1.- Si finaliza con éxito: obtención de puntos que conforman la nota de teoría. 2.2.- Si finaliza con fracaso: se va a la opción 1. Detalle de la Opción 1.- Evaluación usual: El alumno obtiene la calificación de las clases de teoría a través del examen final:

Examen final en febrero o septiembre 0 ≤ Nota de Teoría ≤ 7. Detalle de la Opción 2.- “Suma y Sigue”: el alumno obtiene la calificación de las clases de teoría mediante un trabajo continuado para cada bloque del temario.


31

Suma de nota del trabajo continuado 0 ≤ Nota de Teoría ≤ 7.

A tener claro:

1.- Es una opción voluntaria en la que el profesor lleva un seguimiento continuo del trabajo del alumno dentro y fuera del aula.

2.- El alumno elige esta opción desde el principio de curso y continúa en ella siempre que siga las pautas marcadas por el profesor.

3.- Se puede abandonar en cualquier momento y pasar a la Opción 1.

4.- No es una evaluación por parciales, es decir, no se libera materia para el examen final.

De qué trata el trabajo continuado:

1.- El aprendizaje de cada bloque se lleva a cabo mediante la realización de diversos trabajos obligatorios y opcionales.

2.- Las obligatorias son: actividades [0, 2] puntos y controles para cada bloque [0, 5].

3.- Los opcionales son: asistencia a tutorías [0, 0.5], participación en clase [0,0.5] y entrega del cuaderno de bitácoras [-0.25, 0.25].

4.- Las obligatorias se deben realizar todas1 para seguir en “Suma y Sigue”. Si alguna no se realiza o si se realiza, no supera la puntuación convenida, se pasa a la Opción-1.

5.- Las opcionales: tutorías y participar en clase, si se realizan, sólo servirán para sumar nota, la del cuaderno de bitácoras si no se entrega, resta 0,25 de la nota de teoría.

6.- Al finalizar cada bloque se informa al alumno de sus logros usando etiquetas (pasas, caes o recuperas), no sabrá su nota numérica hasta completar su evaluación.

• Pasas: puedes seguir con la evaluación “Suma y Sigue”.

• Caes: puedes seguir sumando puntos, pero ya vas a la opción 1.

• Recuperas: para seguir, dependes de la nota del siguiente control.

7.- Antes del examen final el profesor informa al alumno de su situación en Suma y Sigue:

• Superada: todas las actividades presentadas y los controles con nota >=4 (sobre 5), entonces debes tener una entrevista con el profesor y presentar el Cuaderno de Bitácoras. El profesor te notificará la nota numérica y tú decides si pasas o no, a la Opción 1.

• No superada: vas a la Opción 1

- Porque no has seguido las pautas de trabajo o abandonaste.

- Has seguido las pautas, pero no has superado la nota marcada, en este caso irás al examen ponderando con el siguiente criterio: tu examen pondera sobre 10 - 40% de la nota acumulada en la opción “Suma y Sigue” (esta nota pondera sobre 7).

Detalle de las propuestas obligatorias y opcionales.

1.- Cuaderno de Bitácora 2: carpeta de trabajo del alumno que comenzará a elaborar al comienzo del curso, de actualización constante, que se podrá realizar en papel o digital (en web), que presentará sólo si supera Suma y Sigue, y tendrá, al menos, los apartados:

• Presentación del alumno: carta de bienvenida, foto y datos personales.

• Justificación y defensa del trabajo realizado durante el curso.

1 Leer “Cómo obtener puntos en una evaluación continua” 2 cuadernocuadernocuadernocuaderno.

(Del lat. quaterni). 2. m. Libro pequeño o conjunto de papel en que se lleva la cuenta y razón, o en que se escriben algunas noticias, ordenanzas

o instrucciones.

~ de bitácorade bitácorade bitácorade bitácora.

1. m. Mar. Libro en que se apunta el rumbo, velocidad, maniobras y demás accidentes de la navegación.

Real Academia Española


32

• Listado de actividades y materiales, organizados cronológica o temáticamente.

• Enlaces de interés.

• Grado de dificultad y crítica de cada actividad.

• Reflexión sobre el trabajo realizado.

2.- Actividades para cada bloque: deberes para reforzar el aprendizaje del bloque:

• Descripción de algunos conceptos teóricos claves.

• Ejercicios.

• Búsqueda de curiosidades lógicas.

• Comentario de un libro.

• Crítica de la clase.

• Horas de dedicación fuera del aula.

Método para las actividades:

• El documento con los enunciados estará publicado en la web de la asignatura y en el Campus Virtual.

• Habrá un plazo de entrega que fijará el profesor en clase de teoría.

• El alumno deberá archivar una copia del trabajo en su Cuaderno de Bitácoras.

• Se publicarán las soluciones de los ejercicios propuestos en la actividad.

• El profesor corregirá en tutorías sólo los trabajos de los alumnos que lo soliciten.

3.- Test de control: exámenes tipo test con cuestiones de teoría y ejercicios.

4.- Tutorías: sesiones en el despacho del profesor o en aula concertada en las que el alumno solicita la revisión o tutoría de algún trabajo o pregunta dudas. El profesor también puede citar al alumno a una sesión de tutorías, si lo cree conveniente.

5.- Participar en clase (pruebas lógicas): el profesor solicitará la participación del

alumno en clase en algún ejercicio o actividad. Obtención de la Nota de Prácticas: entrega periódica de trabajos3 en las sesiones de prácticas. Se debe superar cada una de las prácticas obligatorias.

A. Prácticas de lógica con el lenguaje Prolog

• práctica obligatoria

• peso en prácticas: 60%

B. Ejercicios de semántica usando el software: Taules de veritat

• práctica opcional

• peso en prácticas: 2,5%

C. Ejercicios de deducción natural con el software: ADN.

• práctica obligatoria


D. Ejercicios sobre métodos semánticos: Cuadro y Davis-Putnam.

• práctica opcional

• peso en prácticas: 2,5%

E. Examinadores: test de evaluación, disponibles en el CV.


3 Ir al doc: “Enunciados de prácticas” en materiales del C.V. o web LC


33

La evaluación se realiza de manera presencial, con el profesor, en el laboratorio donde se imparten las clases. Obtención de la nota final en febrero:

Para obtener la nota final, es necesario haber superado cada parte (teoría y prácticas). �� Nota Final = [0,7] Nota de Teoría + [0,3] Nota de Prácticas Para obtener Nota Final es necesario que, Nota de Teoría ≥ 3,5 y Nota de Prácticas ≥ 1,4. Obtención de la nota final en septiembre:

• Si alguna de las dos partes (teoría o prácticas) está aprobada en la convocatoria de febrero, la nota para septiembre se mantiene, si el alumno quiere, y sólo deberá examinarse de la parte suspensa.

7. VALORACIÓN DEL PROCESO DE IMPLEMENTACIÓN METODOLÓGICA

7.1 Valoración de la implementación por parte del alumnado

En esta sección vamos a valorar cuál es el tiempo y el esfuerzo de aprendizaje dedicado por el estudiante en la asignatura de Lógica Computacional y analizar cuál es el grado de aceptación de la metodología docente utilizada durante el curso 2005-2006. Para ello, el profesorado elaboró una encuesta (ver Apéndice 1), que los alumnos cumplimentaron el día del examen final. Una gran ventaja de usar cuestionarios es su rapidez de aplicación, ya que un grupo numeroso de estudiantes puede aportar una buena cantidad de información en tiempo muy reducido permitiéndonos disponer de datos, comparaciones, tendencias y otros análisis estadísticos de forma relativamente asequible y rápida.

Se decidió seleccionar el tipo de cuestionario cerrado porque facilita el tratamiento estadístico y porque se pensó que les resultaría más fácil de completar. No obstante, se planteó una pregunta abierta en la que los estudiantes podían hacer cualquier comentario o sugerencia sobre la asignatura que les pareciera oportuna.

Las encuestas se distribuyeron el día del examen final de la asignatura y se les pidió que las cumplimentaran una vez acabado el mismo. Como se deseaba estudiar las interrelaciones entre la nota obtenida en el examen y las preguntas del cuestionario, fue necesario que las encuestas no fueran anónimas.

Para el tratamiento estadístico de los datos se ha utilizado el paquete estadístico de software SPSS versión 12 ([8]). Además de los tratamientos básicos de análisis descriptivo de datos, se han utilizado otras técnicas algo más complejas, tales como el uso de intervalos de confianza para la estimación de los distintos parámetros poblacionales, contrastes de hipótesis paramétricos para llegar a conclusiones sobre la población que nos ocupa, los test de independencia y homogeneidad a través del test chi-cuadrado para estudiar posibles relaciones entre datos categóricos, y el análisis de la varianza (ANOVA) de un factor usando las diferencias mínimas de Fisher para estudiar las diferencias significativas entre las medias de diferentes poblaciones ([7]).

La encuesta fue cumplimentada por un total de 204 estudiantes: el 25% eran de Ingeniería Técnica en Informática de Gestión (ITIG), el 32,4% de Ingeniería Técnica en Informática de Sistemas (ITIS) y el 42.6% de Ingeniería Informática (II).

El porcentaje de estudiantes en primera convocatoria es del 66,7% en Ingeniería Informática, del 62,7% en Ingeniería Técnica en Informática de Gestión y del 71,2% en


34

Ingeniería Técnica en Informática de Sistemas. Este porcentaje llevado al total de alumnos es del 67,2%, es decir, aproximadamente dos tercios del total.

A continuación, vamos a analizar los resultados obtenidos atendiendo a las distintas cuestiones que se planteaban en la encuesta.

7.1.1 Asistencia a clases de teoría

Tras realizar el estudio de la actitud del estudiante frente a la asistencia a clase, junto al hecho de ser de primer año o no y dependiendo de la titulación, obtenemos los resultados reflejados en la Tabla 11.

Convocatoria Titulación Asistencia a clase

Primera Otras II ITIG ITIS Total

1: Ninguna 0,0 % 3,0 % 0,0 % 0,0 % 3,0 % 1,0 % 2: Menos de la mitad 2,2 % 3,0 % 2,3 % 0,0 % 4,5 % 2,5 % 3: Aproximadamente a la mitad 3,6 % 6,0 % 8,0 % 0,0 % 3,0 % 4,4 %

4: Más de la mitad 6,6 % 9,0 % 6,9 % 2,0 % 12,1 % 7,4 % 5: A casi todas 87,6 % 79,1 % 82,8 % 98,0 % 77,3 % 84,8 %

Tabla 11. Asistencia a clase en general atendiendo a la convocatoria y titulación

No se observan diferencias significativas atendiendo a la convocatoria en la que se encuentra el estudiante.

Por lo normal, los alumnos repetidores asisten a clase en menor número de ocasiones que los alumnos de primera convocatoria aunque en este caso las diferencias no son suficientemente claras (p-valor=0,241).

Vemos cómo los porcentajes de cada rango de asistencia se acercan mucho al total, por lo que podemos decir que la mayoría de alumnos, casi un 85%, asistieron a casi todas las clases independientemente de la convocatoria en la que se encontrasen.

En cuanto a la titulación, los resultados no muestran diferencias significativas (p-valor=0,026), aunque vemos que casi el 100% de los alumnos de Gestión asistieron a la mayoría de clases.

7.1.2 Dedicación a cada bloque de teoría

A lo largo del curso se han propuesto una serie de actividades relacionadas con cada uno de los bloques en los que se divide la asignatura. Vemos los resultados de los alumnos relativos a cada uno de los bloques donde se han realizado dichas actividades.

Convocatoria Titulación Bloques trabajados


0: Ninguno 0,7 % 1,5 % 0,0 % 4,0 % 0,0 % 1,0 % 1: Uno 3,0 % 4,6 % 2,4 % 6,0 % 3,1 % 3,5 % 2: Dos 16,4 % 15,4 % 21,2 % 10,0 % 14,1 % 16,1 % 3: Tres 20,1 % 12,3 % 21,2 % 20,0 % 10,9 % 17,6 % 4: Cuatro 59,7 % 66,2 % 55,3 % 60,0 % 71,9 % 61,8 %

Tabla 12. Bloques trabajados atendiendo a la convocatoria y a la titulación


35

No se observan diferencias significativas atendiendo a la convocatoria en la que se encuentra el estudiante (p-valor=0,652). Vemos cómo los porcentajes de cada rango de asistencia se acercan mucho al total por lo que podemos decir que más del 60% han realizado las actividades propuestas en todos los bloques.

En cuanto a la titulación, parece ser que los alumnos de Ingeniería Informática fueron los que menos trabajaron mientras que los de Sistemas fueron los que más, con más de un 70% de alumnos que realizaron todas las actividades. Estas actividades requieren un tiempo para completarlas. En la encuesta se preguntaba por este tiempo medido en horas.

Intervalo de confianza para la media al 95%

¿Primera convocatoria? Media Límite inferior Límite superior

Sí 17,96 14,95 20,97 No 20,83 14,83 26,86

Total 18,89 16,10 21,68

Tabla 13. Horas dedicadas a las actividades atendiendo a si es la primera vez que cursan la asignatura

Se observa que los alumnos que ya habían cursado la asignatura estudian, atendiendo a la media, aproximadamente 3 horas menos. Pero, tras la realización de un estudio de independencia, podemos asegurar que no existe tal dependencia (p-valor=0,345) y que dicha diferencia puede estar dada por la cantidad de valores extremos. Lo vemos en la siguiente figura.

No Sí

Repetidor

0

20

40

60

80

100

120

140

Hor

as D

edic

adas

a A

ctiv

idad

es

422196359

423322

331320

428

314224

393

59

255225

268

275

Figura 2. Diagrama de caja Horas dedicadas a las actividades * Primera convocatoria


36

Ahora lo vemos atendiendo a la titulación.

Intervalo de confianza para la media al 95% Titulación

Media

Límite inferior Límite superior

II 13,09 11,10 15,09 ITIG 24,24 16,37 32,10 ITIS 22,42 17,06 27,78 Total 18,89 16,10 21,68

Tabla 14. Horas dedicadas a las actividades atendiendo a la titulación

Se observa que los alumnos de Ingeniería Informática estudian más de 5 horas por debajo de la media que está en 18,89 horas. En el otro extremo están los Técnicos de Gestión y de Sistemas que estudian 6 y 4 horas, respectivamente, por encima de la media. Como vemos en los resultados y demuestra el estudio de independencia (p-valor=0,001), los alumnos de Ingeniería Informática estudian mucho menos que el resto. Aunque por otro lado vemos en la siguiente figura que las diferencias son debidas a la existencia de valores extremos en las Ingenierías Técnicas que no aparecen en la Ingeniería Superior. Estos valores extremos, es decir, que se alejan mucho de la media, son los causantes de aumentar las medias en dichas poblaciones y, por lo tanto, de provocar las diferencias que posiblemente no existan.

II ITIG ITIS

Titulación

0

20

40

60

80

100

120

140

Ho

ras

Ded

icad

as a

Act

ivid

ades

71

320

428

66

255225

224268

275

314

393

Figura 3. Horas dedicadas a las actividades * Primera vez que se cursa la asignatura


37

En la figura vemos los valores extremos, y muy extremos, representados con un asterisco y un círculo respectivamente.

A lo largo del curso también se propusieron una serie de trabajos complementarios para completar la comprensibilidad de los bloques. Los resultados de realización de los trabajos atendiendo a si el alumno es de primera convocatoria se muestran a continuación.

Intervalo de confianza para la media al 95% ¿Primera

convocatoria? Media


Sí 1,80 1,29 2,31 No 2,24 1,50 2,98

Tabla 15. Trabajos complementarios * Primera convocatoria

Como vemos, los alumnos de primera convocatoria han realizado menos trabajos complementarios que los repetidores, aunque las diferencias no son lo suficientemente grandes para asegurar que sean dependientes (p-valor=0,332).

Ahora lo vemos atendiendo a la titulación.


Titulación Media Límite inferior Límite superior

II 1,63 1,12 2,15 ITIG 2,02 1,37 2,67 ITIS 2,31 1,31 3,30 Total 1,95 1,53 2,37

Tabla 16. Trabajos complementarios * Titulación

Como en resultados anteriores, vemos cómo los alumnos de las Ingenierías Técnicas han trabajado más que los de la Superior. No hay diferencias significativas (p-valor=0,385).

Para finalizar el apartado, mostramos el tiempo dedicado a la preparación de los controles. Como en casos anteriores, haremos dos clasificaciones por primera convocatoria y por titulación.

Intervalo de confianza para la media al 95% Media


Sí 14,34 11,93 16,76 Primera Convocatoria No 17,30 13,34 21,25

II 12,57 10,10 15,04 ITIG 19,40 13,40 25,40 Titulación ITIS 15,75 12,80 18,69

Total 15,29 13,23 17,35

Tabla 17. Horas dedicadas a los controles * Primera convocatoria * Titulación


38

En ambos casos, las diferencias no son significativas (p-valor=0,188 y p-valor=0,032).

7.1.3 Tutorías para las clases de teoría

La distribución de asistencia a tutoría entre las dos subpoblaciones con las que estamos trabajando (primera convocatoria y titulación) es similar a la media, por lo que únicamente diremos que la media de asistencia a tutorías es de 1,65 veces.

7.1.4 Valoración del alumno

Con la realización de este test el alumno tenía la oportunidad de dar su opinión acerca de las actividades y controles realizados así como de la utilidad de las tutorías. Una de las preguntas pedía la opinión del alumno sobre la cantidad de actividades propuestas para cada bloque.

Los resultados se muestran a continuación.

Porcentaje

Escaso 2,0% Suficiente 21,9% Necesario 69,2% Excesivo 7,0%

Tabla 18. Valoración de las actividades

Una pregunta similar se hacía acerca de los controles de evaluación.

Porcentaje

Escaso 3,0% Suficiente 29,4% Necesario 64,7% Excesivo 3,0%

Tabla 19. Valoración de los controles

La última de las preguntas relativa al apartado de teoría era sobre la necesidad de las tutorías para aprobar la asignatura.

Los resultados se muestran en la Tabla 20.

Porcentaje

SÍ 60,9% NO 39,1%

Tabla 20. Valoración de la necesidad de tutorías para aprobar teoría

7.1.5 Asistencia a clases de prácticas

Tras realizar el estudio de la actitud del estudiante frente a la asistencia al laboratorio de prácticas, junto al hecho de ser de primer año o no y dependiendo de la titulación, obtenemos los resultados reflejados en la Tabla 21.


39

Convocatoria Titulación Asistencia a prácticas


1: Ninguna 0,0% 34,0% 8,9% 7,1% 11,3% 9,3 2: Menos de la mitad 1,5% 0,0% 2,5% 0,0% 0,0% 1,1 3: Aproximadamente a la mitad

1,5% 4,0% 1,3% 4,8% 1,6%

2,2

4: Más de la mitad 2,3% 2,0% 1,3% 2,4% 3,2% 2,2 5: A casi todas 94,7% 60,0% 86,1% 85,7% 83,9% 85,2

Tabla 21. Asistencia a prácticas atendiendo a la convocatoria y titulación

Las diferencias que vemos, dependiendo si el alumno es repetidor o no, son bastante significativas (p-valor=0,000). Los resultados pueden ser debidos a que muchos de los alumnos repetidores tenían las prácticas convalidadas y, por lo tanto, no requería su asistencia a ellas. Por otro lado, el porcentaje de asistencia a prácticas entre los alumnos de primera convocatoria es muy alta, casi un 95%. Es notable la obligatoriedad de las clases prácticas frente a las teóricas.

En cuanto a la titulación, los resultados no muestran diferencias significativas (p-valor=0,710). La asistencia, dependiendo de la titulación, está muy cercana a la media, es decir, en torno al 85%.

7.1.6 Tiempo dedicado para realizar las prácticas

En esta pregunta se pedía el tiempo total en horas dedicado al estudio y realización de las prácticas. Los resultados los vemos en la Tabla 22.


Media Límite inferior Límite superior

Sí 14,45 12,09 16,82 Primera Convocatoria No 12,80 7,27 18,34

II 10,00 7,92 12,08 ITIG 16,56 10,53 22,59 Titulación ITIS 17,33 12,74 21,93

Total 13,99 11,72 16,27

Tabla 22. Horas dedicadas a practicas * Primera convocatoria * Titulación

En el caso de alumnos que están en su primera convocatoria, no hay diferencias significativas (p-valor=0,522).

Por otro lado, seguimos con resultados que corroboran los anteriores en cuanto a los alumnos de Ingeniería Informática. Su dedicación a prácticas es 4 horas inferior a la media y, ahora sí, podemos decir que las diferencias son significativas (p-valor=0,009).

7.1.7 Tutorías para las prácticas

La distribución de asistencia a tutoría entre las dos subpoblaciones con las que estamos trabajando (primera convocatoria y titulación) es similar a la media, por lo que únicamente diremos que la media de asistencia a tutorías es de 0,48 veces por alumno.


40

7.1.8 Valoración del alumno

Con la realización de este test el alumno tenía la oportunidad de dar su opinión acerca de la utilidad de las tutorías de prácticas. La última de las preguntas relativa al apartado de prácticas era sobre la necesidad de las tutorías para aprobarlas. Los resultados se muestran en la Tabla 23.

Porcentaje

Sí 41,0% No 59,0%

Tabla 23. Valoración de la necesidad de tutorías para aprobar prácticas

7.1.9 Uso de materiales

Un aspecto importante en este estudio es conocer el uso del material didáctico disponible por parte del alumno. Los materiales disponibles y por los que se preguntaba en el test son: el libro, otros libros recomendados, transparencias, actividades de cada bloque y, por último, el software de prácticas Prolog y ADN. A continuación se muestran los índices de uso de cada uno de los materiales mencionados por cada uno de los subconjuntos tratados (titulación y primera convocatoria) y los totales.

Libro Otros Libros

Transp. Actividades Prolog ADN

Sí 93,8% 18,8% 85,2% 94,5% 91,4% 81,3% 1ª Conv.

No 93,8% 26,2% 87,7% 96,9% 43,1% 50,8%

II 97,6% 20,7% 82,9% 95,1% 74,4% 65,9% ITIG 89,6% 20,8% 93,8% 97,9% 75,0% 83,3% Titulación

ITIS 92,1% 22,2% 84,1% 93,7% 76,2% 68,3%

Total 93,8% 21,2% 86,0% 95,3% 75,1% 71,0%

Tabla 24. Uso de los materiales * Titulación * Primera convocatoria

Figura 4. Porcentaje de uso de los materiales

Vemos en los resultados la buena aceptación del libro de la asignatura con casi un 94% de uso, frente al empleo de otra bibliografía que, sólo un 21% de los alumnos la utiliza. El uso de las transparencias también está bastante extendido con un 86%.

93,8%

21,2%

86,0%

95,3%

75,1%

71,0%

Libro

Otros libros

Transparencias

Actividades

Prolog

ADN

Porcentaje de uso


41

Si nos fijamos en el empleo del libro, éste está por encima del uso de las transparencias excepto en los estudiantes de Gestión en los que parece que el uso de las transparencias supera al del libro, aunque los resultados no son lo suficientemente significativos para que se pueda hablar de dependencia.

Las actividades, por su parte, han tenido una buena acogida con más del 95% de alumnos que creen en su utilidad.

En cuanto al software de prácticas, tan sólo recordar que las diferencias que existen entre los alumnos de primera convocatoria y los repetidores se deben a que éstos últimos pueden tenerlas convalidadas y, por lo tanto, su uso es nulo. Si nos fijamos en los alumnos de primera convocatoria, vemos como el uso de Prolog y ADN superan el 90 y 80% respectivamente.

7.1.10 Grado de dificultad de la asignatura

Un aspecto que nos interesa valorar es el grado de dificultad que el estudiante considera que tiene esta asignatura en comparación al resto de asignaturas que está cursando.

Primera Convocatoria Grado de dificultad Sí No

Total

1: Más fácil que las otras 26,5% 26,6% 26,5%

2: Como las otras 59,8% 54,7% 58,2%

3: Más difícil que las otras 12,1% 18,8% 14,3%

4: Mucho más difícil que las otras 1,5% 0,0% 1,0%

Tabla 25. Grado de dificultad respecto a las otras asignaturas * Primera convocatoria

Como vemos, casi el 60% de los alumnos consideran la asignatura como las otras y más de un 26% más fácil. No existe dependencia con el número de convocatoria en la que se encuentre el alumno (p-valor=0,477).

Tras valorar la dificultad, nos disponemos a comparar el tiempo dedicado a la asignatura en comparación con el resto. De igual forma, lo haremos separando los alumnos de primera convocatoria y repetidores.

Primera Convocatoria Total Tiempo dedicado

Sí No

1: Menos que las otras 9,9% 9,4% 9,7%

2: El mismo 40,5% 29,7% 36,9%

3: Más que las otras 44,3% 48,4% 45,6%

4: Mucho más que las otras 5,3% 12,5% 7,7%

Tabla 26. Tiempo dedicado respecto a las otras asignaturas * Primera convocatoria

Los resultados muestran que más de la mitad de los alumnos le han dedicado más o mucho más tiempo que al resto de asignaturas y, en el caso de los alumnos repetidores, supera el 60%. Las diferencias no son significativas (p-valor=0,222).

Para finalizar el apartado, profundizaremos más en si los alumnos piensan que el tiempo que han estudiado ha sido suficiente para aprobar la asignatura. Los resultados están combinados con el factor primera vez que se cursa la asignatura.


42

Primera vez que se cursa la asignatura

Sí No Total

No 26,2% 4,8% 19,2% Tiempo dedicado es suficiente Sí 73,8% 95,2% 80,8%

Tabla 27. Tiempo dedicado es suficiente * Primera vez que se cursa la asignatura

Más del 80% de los alumnos creen que han estudiado lo suficiente pero el porcentaje aumenta hasta el 95,2% si hablamos de los alumnos repetidores. La prueba de dependencia muestra que existe tal (p-valor=0,000).

7.1.11 Valoración de las calificaciones

En este apartado se recoge la estadística de aprobados y suspensos de la asignatura en la convocatoria de febrero. Los datos los cruzaremos, tal y como lo hemos venido haciendo, en el resto del estudio.

En primer lugar veremos el nivel de aprobados y suspensos atendiendo a la convocatoria.

Primera vez que se cursa la asignatura

Sí No Total

Aprobados 62,8% 70,8% 65,5%

Tabla 28. Aprobados * Primera vez que se cursa la asignatura

Los resultados son de esperar. El porcentaje de alumnos repetidores (70,8%) que han aprobado es mayor a de los alumnos de primera convocatoria (62,8%). Viendo los totales podemos afirmar que ha aprobado un 65%. Ahora es el turno de los alumnos de las diferentes titulaciones.

Aprobados

II 66,7% ITIG 72,3% Titulación ITIS 58,7%

Total 65,5%

Tabla 29. Aprobados * Titulación

Vemos cómo los Técnicos de Gestión son los que tiene el índice mayor de aprobados con un 72,3%, mientras que el más bajo los tienen los Técnicos de Sistemas con un 58,7%. Los Ingenieros Informáticos están sobre la media. Por último veremos si los alumnos acertaron en su predicción cuando respondieron a si creían que el tiempo dedicado era suficiente.

Aprobados Suspensos

No 27,0% 73,0% Tiempo dedicado es suficiente Sí 74,5% 25,5%

Tabla 30. Aprobados * Tiempo dedicado suficiente


43

Vemos que, aproximadamente, el 75% de los estudiantes sabía que iban a aprobar o suspender por haberle, o no, dedicado el tiempo suficiente.

7.1.12 Conclusiones

Si sumamos las medias de horas de dedicación a las actividades propuestas de cada bloque, la preparación de los controles y la realización de las prácticas, sabemos que el alumnado ha dedicado 48 horas. Por otro lado, si sumamos la carga presencial hace un total de 108 horas, es decir, que el alumnado no llega al mínimo de horas estipulado para una asignatura de 6 créditos, según los créditos ECTS, que sería entre 150 y 180 horas. Por lo tanto, el alumnado no dedica el tiempo suficiente a la preparación de la asignatura y, sin embargo, su percepción es totalmente contraria aunque los resultados no hayan sido demasiado desastrosos. Quizá esto sea debido a que son estudiantes de primero de carrera y todavía mantienen algo de la mentalidad de los estudiantes preuniversitarios que generalmente son guiados por sus profesores en el estudio de las asignaturas, realizando controles muy periódicos a lo largo del curso.

El alumnado cuando se introduce en el mundo universitario obtiene mayor libertad de actuación en relación con la forma de organizar su tiempo de estudio y quizá todavía no está preparado para este salto tan grande. Aquí el profesorado juega un papel muy importante para que dicho cambio no se produzca de forma tan brusca. Desde este punto de vista creemos que la implantación del sistema de créditos ECTS puede ser muy beneficiosa si se plantea de forma realista, es decir, el profesorado tiene ante sí un reto que es conseguir que el alumnado se comprometa a estos nuevos cambios y no dedique al estudio de las asignaturas únicamente los días previos al examen final.

Teniendo en cuenta que la media de estudio que el alumnado dedica a Lógica Computacional, está alrededor de 40 horas menos de lo que debería estudiar creemos que la metodología docente que se ha planteado implantar, definida en la guía docente dentro del programa de formación y de investigación docente en redes 2004 del ICE de la Universidad de Alicante, no va a exigir al estudiante medio un esfuerzo adicional excesivo y sin embargo va a ayudarle a conseguir los resultados deseados. Dicha metodología está basada, primordialmente, en enseñarles a estudiar esta asignatura, guiándolos a lo largo de todo el curso con la planificación de tareas semanales (realización de problemas y prácticas), la revisión de dichas tareas y la tutorización, optimizando así el esfuerzo realizado en relación con los resultados obtenidos. Esta tutorización no sólo servirá para que los estudiantes planteen sus dificultades sino también para que el profesorado les indique en qué aspectos del proceso fallan o deben mejorar.

Queremos puntualizar que las tareas se han programado de forma que el estudiante medio necesite alrededor de 90 horas de estudio fuera de las aulas para obtener buenos resultados. Además de las tareas que se irán proponiendo, se ha planteado una serie de tests de autoevaluación para que el alumnado pueda ir midiendo el grado de comprensión que va alcanzando en la asignatura.

La asistencia a clase ha sido relativamente buena incluso para alumnos repetidores. La asistencia es muy importante porque ayuda a la comprensión de los contenidos mediante las exposiciones del profesor y la realización de actividades.

Uno de los resultados más llamativos del estudio es la diferencia de dedicación entre los alumnos de Ingeniería Informática con el resto. Éstos han trabajado menos en todos los aspectos que el test abarcaba. Por el contrario, y contra toda previsión, el número de aprobados no se aleja de la media.

Otro dato a destacar sería diferencia de dedicación de los alumnos repetidores que, al tener más experiencia, han sabido llevar la asignatura correctamente y, por lo tanto, han obtenido mejores resultados.

Por último, en cuanto a la valoración de la dificultad es extraño que los alumnos opinen que la asignatura de Lógica Computacional es como las otras o, incluso más fácil, pero le han dedicado el mismo o más tiempo que a las demás.


44

7.2 Características del contexto para Lógica Computacional

El número de estudiantes matriculados en la asignatura ha sido de 418. De ellos, 164 matriculados en Ingeniería Informática, 116 en Ingeniería Técnica en Informática de Gestión y 138 en Ingeniería Técnica en Informática de Sistemas. La Tabla 31 muestra el número de estudiantes asignados a cada grupo de teoría.

I. Informática (9188) I.T. Informática de Gestión (9286)

I.T. Informática de Sistemas (9362)

Grupo Nº estudiantes



1 (valenciano) 2 3 4

20 68 37 39

1 2

60 56

1 2

93 45

Totales 164 116 138

Tabla 31. Distribución del alumnado atendiendo a la titulación

Como podemos observar, el número de estudiantes por grupo de teoría es aceptable en la mayoría de grupos, menos en el grupo 2 de Ingeniería Informática y en el grupo 1 de la titulación de Gestión. Nuestra opinión es que los grupos no deberían superar los 50 estudiantes porque queremos que la relación del profesor con el alumno sea de forma más personalizada y ahora esto es muy complicado porque en teoría tenemos aproximadamente 150 estudiantes.

Con respecto a los grupos de prácticas, actualmente tenemos una media por grupo de 30 alumnos que, según opinamos todos los profesores que las impartimos, es demasiado numeroso porque las sesiones prácticas tienen mucha actividad, tanto del profesor como del alumno, y esto exige un gran trabajo adicional por parte del profesorado que a veces es difícil de llevar porque son muchos estudiantes y muchos grupos. También la media de ordenadores operativos en cada clase de prácticas suele ser bastante inferior al número de estudiantes matriculados en dicha clase. Teniendo en cuenta que en esta asignatura se tienen dos horas de prácticas asignadas cada semana, podríamos hacer actividades de una hora en grupos de 15 alumnos, aunque esto por ahora es inviable. Así mismo sería necesaria una mejora de infraestructura para que cada estudiante pudiera disponer de un ordenador en su clase de prácticas (algunos ya optan por llevar su portátil).

Por otro lado, y a partir de la propuesta de la metodología que estamos implementando, es necesario que el alumno incremente el número de horas no presenciales mediante la asistencia a tutorías para la revisión en tutorías de apuntes y ejercicios propuestos, además de la realización de trabajos complementarios. La realización de pruebas de control o bien en las clases de teoría o a través del Campus Virtual (pruebas objetivas) es una buena herramienta para que el alumno vaya comprobando cuál es su grado de conocimiento sobre la asignatura. Los profesores estamos convencidos de que el alumno tendría mejores calificaciones si los hiciera pero la gran mayoría aún no están convencidos.

7.2.1 Infraestructura actual para Lógica Computacional

Cada aula en la que se imparten las clases de teoría cuenta con cañón y retroproyector para poder usar transparencias o presentaciones Power Point y pizarra. Los laboratorios donde se imparten las clases de prácticas están provistos de cañón de proyección y pizarra. Los ordenadores tienen instalados al comienzo de curso todo el material software necesario para el seguimiento y la realización de las actividades propuestas para el curso. En todas las aulas de ordenadores hay acceso al Campus Virtual y a Internet.


45

7.2.2 Uso del Campus Virtual en la asignatura

Para llevar a cabo la implementación metodológica propuesta, el profesor, mediante la herramienta del Campus Virtual, hace que el alumno esté interactuando continuamente con él en las horas no presenciales. Esta herramienta es una utilidad muy eficaz para que el alumno esté continuamente descargando el material propuesto por el profesor para el seguimiento de la asignatura.

Uno de los problemas en el uso de esta utilidad es que el alumno de nuevo ingreso la desconoce por completo al comenzar el curso porque sólo es accesible en el momento en que se matricula, no es como el Chat, Messenger,… en las que el alumno ya tiene, por lo general, conocimiento. Pero desde hace unos años la Universidad de Alicante, a partir de cursos gratuitos (curso: Conéctate) enseña al alumno a manejar esta utilidad y los alumnos que se acceden a él nos han comunicado que luego se desenvuelven mejor en las asignaturas que la usan. También, y para los alumnos que no asistan a estos cursos en la primera clase de prácticas, se les da unas pautas para poder usarlo.

7.2.3 Apreciación del profesor sobre la actitud del alumnado en las clases de teoría y de prácticas

Al aplicar esta metodología el alumno ha tenido que plantearse que la predisposición del profesor era la de crear un ambiente dinámico en las clases. Desde el primer día se les anima a participar en actividades que se les prepara para el estudio de la materia que van a aprender. En el transcurso de la clase participan en actividades individuales y en grupo. Al principio el alumno está un poco pasivo y con poca confianza (recordemos que esta asignatura es de primer cuatrimestre) porque no conoce aún a sus compañeros,… para salir a hacer ejercicios en pizarra o a mostrar su opinión en clase, pero a medida que avanza el curso, y con las habilidades del profesor un número cada vez mayor, cada año se les anima a participar en el desarrollo de las clases y éstas se hacen más amenas y dinámicas.

El alumno, según las encuestas y las opiniones que se reflejan en los debates que también abrimos para que opinen sobre la asignatura, opina que con esta metodología se siente más involucrado en su propio aprendizaje y de alguna forma percibe que se le está preparando para el examen final (algunos se libran); además, las clases se les hacen menos pesadas. La aptitud es muy favorable y predispuesta a trabajar de forma continuada y participativa.

En las clases de prácticas, la interactividad es más favorable. Por un lado porque los grupos son más pequeños y eso les da más confianza y, por otro, porque usan el ordenador casi al 90% del tiempo de clase y eso les encanta. En la evaluación continua, ellos encuentran que al finalizar el cuatrimestre tienen ya la nota de prácticas y si han seguido las pautas marcadas por el profesor, suele ser satisfactoria.

7.2.4 Nivel de satisfacción del profesorado con la puesta en marcha del proyecto

En primer lugar tenemos que decir que cada año el grado de satisfacción de la puesta en marcha de esta metodología es cada vez mejor, tal vez no tanto por los resultados (número de aprobados) sino porque la enseñanza es más dinámica y se tiene más relación personal con los alumnos. Pero, por otro lado, para los profesores de teoría implicados en esta metodología el trabajo extra que deben realizar para llevarla a cabo es muy grande. Hay que tener en cuenta que se exigen trabajos continuos en los que se puntúa no sólo el conocimiento sino el período y fecha de entrega, porque fuera de este plazo no tienen validez. Esto es porque hay publicación de soluciones y revisión de las actividades en las clases de teoría y de prácticas, entonces hay que llevarlo todo coordinado para que este esfuerzo merezca la pena.

También tenemos que realizar controles periódicos tanto en teoría como en prácticas. Esto supone otro trabajo adicional porque además de preparar distintos modelos de test (hay


46

que hacer controles en 8 grupos de teoría), hay que estar al tanto de entregarlos al alumno para su revisión, para que controlen su aprendizaje y resuelvan dudas en clase y en tutorías.

Otras actividades que realizamos en las clases de teoría conllevan exposición y resolución de ejercicios. A veces el alumno no ha trabajado los suficiente y tenemos que estar motivándole continuamente para que lo haga. La lectura de artículos u otras publicaciones que llamamos “curiosidades lógicas” los comentamos en clase y les indicamos los enlaces donde encontrarlos. Algunos alumnos prefieren hacer trabajos complementarios para tener una relación más directa con el profesor, aunque hay muy pocos alumnos que se impliquen. En lo que más suelen implicarse es en la realización del Cuaderno de Bitácoras que es el diario de la asignatura donde almacenan todo el trabajo. Algunos los hacen con Blogs, otros en papel, pero muchos participan en esta actividad porque saben que les aumentará la nota.

A todos los profesores que trabajamos en la asignatura con este proyecto nos gusta la idea de implementarlo cada año con las mejoras que añadimos en cada curso. Estamos convencidos de que la mejor forma de aprender y superar una materia es con una metodología más cercana y personal entre el profesor y el alumno. Sólo por el hecho de que un alumno venga al despacho a agradecerte el esfuerzo extra que se realiza en la asignatura y estar pendiente de ellos para que consigan superarla es suficiente gratificación para el esfuerzo que supone la implementación de esta metodología. Seguiremos en ella y cada año mejorando lo que se pueda.

8. PROPUESTAS DE MEJORA

Podemos considerar que aparte de que el aprendizaje es más ameno y colaborativo entre todos los alumnos, lo mejor de esta metodología es que aparece una relación más estrecha entre el profesor y el alumno.

Los puntos más flojos, como ya he comentado antes son por parte del profesor, el esfuerzo extra que supone llevar y tutorizar a tantos alumnos. Para el alumno el punto débil es que algunos piensan que este esfuerzo del trabajo continuo es mayor que el de prepararse la asignatura pocos días antes del examen y abandonan. Además, el alumno viene bastante relajado del bachillerato y cualquier esfuerzo extra en el que se le controle no le gusta mucho.

Otro punto que hace que esta metodología de aprendizaje continuo no se lleve adelante como se quiere es porque hay fiestas y algunos grupos dejan de dar clase mientras otros no y eso hace que algunos grupos se descuadren y no se puedan hacer todas las actividades que se quisieran. El alumno se queja, porque a lo mejor se retrasan los controles o alguna actividad que cuenta para nota,…y el profesor intenta ser justo con todos los grupos teóricos pero a veces es imposible.

9. FUENTES DE INFORMACIÓN

• [1] Association for Computing Machinery (May 2001). “ACM code of ethics and professional conduct”. New York: The Association for Computing Machinery. http://www.acm.org/constitution/code.html

• [2] IEEE-CS y ACM (2001) Computing Curricula 2001. http://www.computer.org/education/cc2001/

• [3] Computing Science and Telecommunications Board (1994). “Realizing the information future”. Washington DC: National Academy Press.

• [4] Martin, C. D., Huff, C., Gotterbarn, D., y Miller, K (1996). “Implementing a tenth strand in the CS curriculum”. Communications of the ACM, 39(12), 75-84.

• [5] Castel Mª J. y Llorens F. (1999). “Lógica de Primer Orden”. Alicante: Ramón Torres.

• [6] Migallón, V., y Penadés, J. (2000) Estadística II. Alicante: Ramón Torres.


47

• [7] Myers, J. P, y Walker, H. M. (1998). “The state of academic hiring in computer science: An interim review”. SIGCSE Bulletin, 30(4), 32a-35a.

• [8] Pérez, C. (2001). “Técnicas estadísticas con SPSS”. Prentice Hall.


48

10. APÉNDICES

10.1 APÉNDICE-1: Encuesta para el alumno

Valoración del tiempo y el esfuerzo de aprendizaje dedicado por el alumno a la asignatura Lógica Computacional en el curso 2005-2006

La convergencia de los nuevos planes de estudios que propone el sistema de créditos ECTS, contabilizará en un alumno no sólo las clases teóricas y prácticas que recibe sino todas las horas de estudio fuera de las aulas. Para llevar a cabo esta distribución del tiempo de trabajo y para optimizar vuestro esfuerzo y lograr así mejores resultados, al preparar una asignatura, necesitamos que colaboréis contestando este cuestionario de manera responsable. Gracias. 1. ¿Cursas esta asignatura por primera vez en esta titulación?

2. ¿A cuántas clases de TEORÍA de esta asignatura has asistido en este cuatrimestre?

1- ninguna;

2- menos de la mitad;

3- aproximadamente a la mitad;

4- más de la mitad;

5- a casi todas.

3. De los 4 bloques que se desarrollan en Teoría ¿en cuántos has trabajado y entregado las actividades propuestas?

1- uno

2- dos

3- tres

4- cuatro

4. ¿Cuántas horas totales has dedicado a la realización de las actividades en tu lugar de trabajo? 5. ¿En cuántos trabajos complementarios has trabajado durante el cuatrimestre?

Nombre y apellidos: DNI: Ing. Informática: Téc. de Sistemas: Téc. de Gestión:

SÍ NO


49

6. ¿Cuántas horas totales has dedicado a la preparación de los controles en tu lugar de trabajo?

7. ¿Cuántas veces has asistido a tutorías de tu profesor de Teoría para dudas sobre los bloques?

8. Califica el trabajo propuesto en “Actividades para los bloques” para ayudar a superar la asignatura:

1- escaso

2- suficiente

3- necesario

4- excesivo

9. Califica los “Tests de control” para ayudar a superar la asignatura:

1- escasos

2- suficientes

3- necesarios

4- excesivos

10. Las “tutorías” ¿son necesarias para ayudar a superar la Teoría de la asignatura?

11. ¿A cuántas clases de PRÁCTICAS de esta asignatura has asistido en este cuatrimestre?

1- ninguna;

2- menos de la mitad;

3- aproximadamente a la mitad;

4- más de la mitad;

5- a casi todas.

12. ¿Cuántas horas totales has dedicado al estudio y trabajo de las prácticas en tu lugar de trabajo?

13. ¿Cuántas veces has asistido a tutorías de tu profesor de prácticas para dudas sobre prácticas?

14. Las “tutorías” ¿son necesarias para ayudar a superar las Prácticas de la asignatura?

SÍ NO

SÍ NO


50

15. Indica el Grado de dificultad de esta asignatura haciendo un promedio entre las asignaturas que estás cursando en primero:

1- más fácil;

2- como las otras;

3- más difícil;

4- mucho más difícil.

16. Indica el Tiempo dedicado a esta asignatura fuera del aula haciendo un promedio entre las asignaturas que estás cursando en primero:

1- menos que a las otras;

2- el mismo;

3- más;

4- mucho más.

17. ¿Consideras que el tiempo que has dedicado a la asignatura es suficiente para poder aprobarla?

18. Indica qué material del propuesto has usado de esta asignatura:

A- Libro de la asignatura

B- Otros libros recomendados

C- Transparencias

D- Actividades de cada bloque

E- Software ADN

F- Software Prolog

19. Añade sugerencias o comentarios, si lo consideras oportuno.

SÍ NO


51

10.2 APÉNDICE-2: Coherencia de la implementación con la guía docente

Objetivos y competencias particulares para cada uno de los bloques

Objetivos instrumentales generales

Además de los objetivos instrumentales generales cOI1, cOI2, cOI3, cOI4, cOI5 y cOI6, desarrollados en “Objetivos y Competencias generales”, como objetivos comunes a todas las asignaturas, planteamos los siguientes objetivos particulares:

• OI1: Conocer una disciplina adecuada destinada a prescribir cómo se debe pensar (argumentar, inferir) para hacerlo correctamente.

• OI2: Conocer, saber interpretar y analizar los fundamentos formales del lenguaje de la lógica de primer orden para la representación formal del conocimiento.

• OI3: Conocer, saber interpretar y analizar los fundamentos formales de la teoría semántica de la lógica de primer orden para el estudio de la validez de argumentos.

• OI4: Conocer, saber interpretar y analizar las operaciones simbólicas sobre sistemas formales de la lógica de primer orden mediante los sistemas de deducción.

• OI5: Conocer, saber interpretar y analizar los fundamentos formales de la demostración automática de teoremas y la programación lógica.

• OI6: Aplicar el lenguaje lógico a herramientas experimentales con el doble objeto de afianzar los contenidos teóricos e instrumentar sistemas de demostración.

• OI7: Aplicar los conceptos teóricos de la lógica en la informática y así captar su relación con ramas específicas como Programación, Ingeniería del Software, Bases de Datos e Inteligencia Artificial.

Objetivos interpersonales generales

Estos objetivos se corresponden con los objetivos interpersonales generales, comunes a todas las asignaturas de primer curso. Concretamente, estos objetivos son los objetivos cOIP1, cOIP2 y cOIP3 detallados en “Objetivos y Competencias generales”.

Objetivos sistémicos generales

Además de los objetivos cOS1, cOS2, cOS3 y cOS4, considerados en “Objetivos y Competencias generales”, incluimos aquí los siguientes particulares:

• OS1: Capacidad para aplicar de forma eficiente los conceptos y métodos aprendidos a problemas concretos en donde aparezca razonamiento.

• OS2: Capacidad para decidir el entorno más apropiado para realizar programas mediante un lenguaje apropiado usando la lógica.

Competencias de aprendizaje

Competencias instrumentales

Dentro de las competencias instrumentales distinguimos entre habilidades cognitivas, capacidades metodológicas, destrezas tecnológicas y destrezas lingüísticas. Considerando que la asignatura contiene los bloques temáticos antes descritos, desarrollamos estos apartados para cada uno de ellos.


52

a) Habilidades cognitivas

Además de las habilidades comunes cCIC1 y cCIC2, establecidas en “Objetivos y Competencias generales”, incluimos aquí las siguientes para cada bloque. Bloque 1: El Lenguaje de la Lógica de Primer Orden.

• CIC1: Comprender la relación entre el lenguaje natural y el lenguaje formal de la lógica de primer orden y así poder formular argumentos mediante lenguajes artificiales puramente esquemáticos.

• CIC2: Comprender que el principal paso en la demostración de la validez de argumentos es el de elegir la formalización adecuada del conocimiento.

• CIC3: Comprender el concepto de sentencia declarativa capturada del lenguaje natural como transmisora del conocimiento.

• CIC4: Comprender que para formalizar la información que proviene del lenguaje natural al lenguaje lógico se debe realizar un estudio sintáctico de la misma.

• CIC5: Aprender a utilizar el alfabeto y las reglas gramaticales de la lógica de proposiciones para construir fórmulas lógicas (fbf) a partir de las sentencias del lenguaje natural.

• CIC6: Aprender a utilizar el alfabeto y las reglas gramaticales de la lógica de predicados para construir fórmulas lógicas (fbf) a partir de las sentencias del lenguaje natural.

• CIC7: Aprender la jerarquía de las componentes de una fbf para su posterior tratamiento en el cálculo lógico.

• CIC8: Entender el concepto de conexión o conectiva entre sentencias para formalizar fbf compuestas.

• CIC9: Entender el concepto de predicado, término y dominio de referencia para formalizar fbf del lenguaje de predicados.

• CIC10: Saber elegir el nivel de abstracción más adecuado para la formalización de sentencias atendiendo a las características de sus componentes.

• CIC11: Saber obtener los diferentes conjuntos de fbf para su posterior tratamiento en el cálculo lógico.

• CIC12: Comprender la necesidad de la manipulación sintáctica de fbf, como paso previo al tratamiento automático de la información.

Bloque 2: Teoría Semántica

• CIC13: Comprender que el sistema de fórmulas o estructuras deductivas válidas se construye a partir del significado de sus componentes.

• CC14: Aprender las diferentes técnicas de la teoría semántica para el estudio semántico de fbf y de la validez de argumentos.

• CIC15: Comprender el concepto de interpretación y consecuencia lógica como base para la definición semántica de argumento correcto.

• CIC16: Aprender al concepto de significado lógico o valor de verdad de una fbf en la lógica de primer orden.

• CIC17: Aprender a estudiar la validez de un argumento a partir del estudio semántico de sus fbf componentes.

• CIC18: Aprender los métodos semánticos de las tablas de verdad, contraejemplo y métodos mecánicos para el la clasificación semántica de fbf y estudio de validez de argumentos.

• CIC19: Saber analizar la complejidad de cada método semántico.


53

• CIC20: Saber elegir el método semántico más apropiado, atendiendo a la formalización y características del argumento que se debe validar.

• CIC21: Saber determinar la consistencia e inconsistencia de un conjunto de fbf como paso previo al estudio automático de argumentos.

• CIC22: Aprender la importancia del dominio de referencia en el estudio semántico de fbf del lenguaje de predicados.

• CIC23: Entender las limitaciones del estudio semántico de la validez de argumentos del lenguaje de predicados.

Bloque 3: Sistemas de Deducción.

• CIC24: Entender que la forma de razonar de un individuo consiste en pasar, de forma natural, de unos enunciados a otros mediante el concepto de inferencia.

• CIC25: Entender y aprender las diferencias entre un argumento deductivo e inductivo.

• CIC26: Aprender las características de los métodos para realizar deducciones como la deducción natural, axiomática y automática. Establecer analogías y diferencias.

• CIC27: Plantear el esquema de una demostración por deducción natural.

• CIC28: Aprender el concepto de premisas y de fbf inferida.

• CIC29: Conocer el concepto de fbf conclusión.

• CIC30: Aprender a obtener nuevas fbf a partir de la realización de una deducción o inferencia, subdeducción o supuesto provisional.

• CIC31: Aprender el concepto de regla de inferencia.

• CIC32: Saber aplicar las reglas de inferencia en el transcurso de una deducción natural para la obtención de nuevas fbf.

• CIC33: Aprender el concepto de estrategia deductiva.

• CIC34: Saber elegir, tanto al comienzo de la deducción como en el transcurso de ella, la estrategia deductiva más apropiada según el esquema del argumento que se debe validar.

Bloque 4: Demostración Automática de Teoremas y Programación Lógica.

• CIC35: Entender los principios básicos de la demostración automática como fundamento del procesamiento automático de información.

• CIC36: Entender los principios básicos de la programación lógica, como el paradigma de programación basado en un subconjunto del lenguaje de predicados.

• CIC37: Saber qué argumentos pueden ser validados con deducción automática.

• CIC38: Aprender a formalizar información para su tratamiento automático.

• CIC39: Aprender el uso de las variables cuantificadas en el procesamiento automático.

• CIC40: Aprender la sintaxis y semántica del lenguaje de programación lógica Prolog y usarlo como herramienta para trabajar con la lógica y el ordenador.

• CIC41: Entender los mecanismos computacionales que relacionan la demostración automática de teoremas y la programación lógica.

b) Capacidades metodológicas

Además de las capacidades comunes cCIM1, cCIM2 y cCIM3, consideradas en “Objetivos y Competencias generales”, incluimos aquí las siguientes particulares para cada bloque:


54

Bloque 1: El Lenguaje de la Lógica de Primer Orden.

• CIM1: Ser capaz de analizar una sentencia del lenguaje natural y saber detectar cuál debe ser su formalización con el lenguaje de la lógica.

• CIM2: Construir la formalización lógica más adecuada de un argumento del lenguaje natural según las características de las sentencias que intervienen en él.

• CIM3: Ser capaz de detectar en las sentencias condicionales, base del esquema de demostración, la información que relacionan.

• CIM4: Construir esquemas de fbf equivalentes a una fbf dada, para su posterior uso en el cálculo lógico.

Bloque 2: Teoría Semántica

• CIM5: Ser capaz de clasificar semánticamente una fbf atendiendo a una interpretación de sus componentes.

• CIM6: Ser capaz de clasificar semánticamente una fbf atendiendo al conjunto de interpretaciones de sus componentes.

• CIM7: Ser capaz de aplicar el método semántico más eficiente para hacer la evaluación semántica de una fbf atendiendo a las características sintácticas de la misma.

• CIM8: Ante el estudio de la validez de un argumento, saber elegir el método semántico más apropiado, atendiendo al nivel de abstracción de la formalización del mismo.

• CIM9: Ante el estudio de la validez de un argumento, mediante el uso de un método mecánico, saber prepararlo sintácticamente.

• CIM10: Ante el estudio de la validez de un argumento formalizado con el lenguaje predicativo, saber decidir la validez del mismo atendiendo al dominio de referencia y obtener conclusiones.

Bloque 3: Sistemas de Deducción.

• CIM11: Ser capaz de abordar el estudio de la validez de argumentos mediante el método de deducción natural.

• CIM12: Saber obtener por inferencia todas las fbf conclusiones que se obtienen de un conjunto de fbf premisas.

• CIM13: Ante el estudio de la validez de un argumento, usando la deducción natural, se debe ser capaz de plantear y formular el esquema deductivo.

• CIM14: Dada una situación en la que se deba inferir nuevas fbf usando reglas de inferencia, se debe ser capaz de decidir la más apropiada de acuerdo al conjunto de fbf usadas.

• CIM15: Dada una situación en la que se deba plantear una subdeducción en el transcurso de una deducción natural, saber elegir la fbf premisa de esa subdeducción y saber obtener la fbf conclusión adecuada.

• CIM16: Ser capaz de elegir la estrategia deductiva más adecuada en cada paso de la deducción.

Bloque 4: Demostración Automática de Teoremas y Programación Lógica.

• CIM17: Ser capaz de obtener de un conjunto de fbf un subconjunto de las mismas que puedan conformar la deducción de nuevas fbf con métodos automáticos.

• CIM18: Ante el estudio de la validez de un argumento, usando la deducción automática, ser capaz de construir el esquema deductivo que conforme la demostración.


55

• CIM19: Ser capaz de aplicar la regla de inferencia de resolución y la estrategia de refutación a un conjunto de fbf.

• CIM20: Ser capaz de conformar la consistencia de un conjunto de fbf con métodos automáticos.

• CIM21: Ser capaz de obtener de un conjunto de fbf un subconjunto de las mismas que se pueden formalizar con el lenguaje de programación lógica, Prolog.

c) Destrezas tecnológicas

Además de la destreza cCIT1, establecida en “Objetivos y Competencias generales”, incluimos aquí las siguientes destrezas tecnológicas desarrolladas para toda la asignatura:

• CIT1: Usar con habilidad y destreza diversas herramientas software para escribir fórmulas lógicas.

• CIT2: Emplear con destreza diversas herramientas software para realizar el estudio semántico de fórmulas lógicas y la validez de argumentos, en cada nivel de formalización.

• CIT3: Manejar con habilidad cualquier aplicación software, como el ADN, para hacer deducciones naturales usando el ordenador.

• CIT4: Adquirir destrezas en el tratamiento automático de información mediante el lenguaje Prolog.

• CIT5: Saber manejar el intérprete SWI_Prolog para escribir programas en Prolog.

d) Destrezas lingüísticas

Las destrezas lingüísticas abarcan las destrezas comunes cCIL1 y cCIL2, establecidas en “Objetivos y Competencias generales” y las enumeradas a continuación:

• CIL1: Saber desarrollar cualquier tema con disposición lógica, tanto de forma oral como escrita, aplicando todos los conceptos inmersos en el lenguaje de la lógica de primer orden.

• CIL2: Emplear cualquier tema con disposición lógica, tanto de forma oral como escrita, en el que se tengan que demostrar la validez de argumentos usando métodos de la teoría semántica.

• CIL3: Ser capaz de desarrollar cualquier tema con disposición lógica, tanto de forma oral como escrita, aplicando los conceptos inmersos en los sistemas deductivos.

• CIL4: Conocer y saber desarrollar cualquier tema con disposición lógica, tanto de forma oral como escrita, aplicando todos los conceptos inmersos en la demostración automática de teoremas y la programación lógica.

Competencias interpersonales

Las competencias interpersonales se han dividido en competencias para tareas colaborativas y competencias relativas al compromiso con el trabajo.

a) Competencias para tareas colaborativas

Además de las competencias comunes cCIPTC1 y cCIPTC2, establecidas en “Objetivos y Competencias generales”, planteamos las siguientes competencias particulares:

• CIPTC1: Ser capaz de relacionar los conocimientos adquiridos en las asignaturas con las que tiene relación y formar grupos de trabajo para desarrollar tareas en común.

• CIPTC2: Saber trabajar en equipo para resolver problemas relacionados con la materia que se ha estudiado.


56

b) Compromiso con el trabajo

Las competencias relativas al compromiso con el trabajo se refieren a las competencias comunes establecidas en “Objetivos y Competencias generales”, etiquetadas como cCIPTR1, cCIPTR2, cCIPTR3 y cCIPTR4.

Competencias sistémicas

Las competencias sistémicas hacen referencia a la integración de capacidades cognitivas, destrezas prácticas y disposiciones establecidas en “Objetivos y Competencias generales”, etiquetadas como cCS1, cCS2, cCS3, cCS4 y cCS5.

A continuación se presentan las tablas Tabla 32, Tabla 33 y Tabla 34 con el análisis de coherencia de la asignatura Lógica Computacional, en donde se han relacionado los objetivos y competencias con los bloques de contenido, el plan de trabajo propuesto para el alumnado y los criterios de evaluación. Dichos objetivos y competencias han sido agrupados con respecto a la propuesta realizada en el libro “Adecuación del primer curso de los estudios de informática al Espacio Europeo de Educación Superior”, en la Sección 2 de la guía docente de la asignatura Lógica Computacional.


57

COMPETENCIAS ESPECÍFICAS

BLOQUES DE CONTENIDOS

OBJE

TIV

OS

GENERALES

Instru

mentales

Lenguaje de la

Lógica de

Primer Ord

en

Teoría

Semántica

Sistemas de

Deducción

Deducción

Automática

y

Pro

gramación

Lógica

PLAN DE TRABAJO DE LOS ALUMNOS

PROCEDIMIENTOS Y CRITERIOS DE EVALUACIÓN

OI1 OI2

De CIC1 a CIC12

1, 2, 3

Enseñanza presencial (lección magistral /trabajo de aula en grupos/ prácticas de laboratorio).

Enseñanza no presencial (aprendizaje on-line/ revisión de libros/ realización de ejercicios y trabajos propuestos).

Tutorías individualizadas y organizadas.

Procedimientos:

Examen.

Prácticas.

Actividades en grupo.

Ejercicios de autoevaluación.

Criterios:

Grado de comprensión, interpretación, análisis y aplicación de los

conceptos relativos al lenguaje de la lógica de

primer orden.

OI3 De CIC13 a CIC23 2,3

4,5,6,7

Enseñanza presencial (lección magistral /trabajo de aula en grupos/ prácticas de laboratorio).

Enseñanza no presencial (aprendizaje on-line/ revisión de libros/ realización de ejercicios y prácticas propuestos).


Procedimientos:

Examen.

Prácticas.



Criterios:


conceptos y métodos relativos a la teoría

semántica.


58

OI4 De CIC24 a CIC34

2,3 8,9,10

Enseñanza presencial (lección magistral / trabajo de aula en grupos).



Procedimientos:

Examen.



Criterios:


conceptos y métodos relativos a los sistemas

de deducción.

OI5 De CIC35 a CIC41

2,3 11,12,13




Procedimientos:

Examen.



Criterios:


conceptos relativos a la demostración automática.

OI6 De CIC1 a CIC41

3 9,10

11,12,13

Enseñanza presencial (lección magistral).

Enseñanza no presencial (aprendizaje on-line/ revisión de artículos y publicaciones).

Tutorías individualizadas y organizadas en grupos.

Procedimientos:


Trabajo complementario.

Criterios:

Nivel de conocimiento y aplicación de los sistemas de demostración.

OI7 CIM4 De CIM7 a CIM21 De CIT1 a CIT5

11,12,13


Enseñanza no presencial (aprendizaje on-line/ revisión de artículos y publicaciones.

Tutorías individualizadas y organizadas en grupo.

Procedimientos:



Criterios:

Grado de destreza experimental.,

eficiencia y precisión en la resolución de problemas de

razonamientos y sistemas de demostración.


59

cOI1 De CIM1 a CIM21

1, 2, 3

4,5,6,7

8,9,10

11,12,13

Enseñanza presencial (trabajos de aula en grupos/ prácticas de laboratorio).

Enseñanza no presencial (aprendizaje on-line/ realización de ejercicios y prácticas propuestos).


Procedimientos:

Examen.

Prácticas.


Criterios:

Grado de destreza experimental y eficiencia en la

resolución de problemas de razonamiento y

sistemas de demostración.

cOI2 De CIT1 a CIT5 1, 2, 3

4,5,6,7

8,9,10

11,12,13




Memorias de los trabajos realizados.

Procedimientos:

Examen.

Prácticas.


Criterios:

Grado de rigurosidad en las explicaciones de los

procedimientos aplicados.

cOI3 De CIL1 a CIL4 1, 2, 3

4,5,6,7

8,9,10

11,12,13


Enseñanza no presencial (aprendizaje on-line/ revisión de libros).

Procedimientos:

Trabajo en grupos.


Criterios:

Grado de conocimiento de los distintos

términos relativos a sistemas de

demostración, en castellano y/o

valenciano y en inglés.


60

cOI4 De CIL1 a CIL4 1,2,3 4,5,6,7

8,9,10

11,12,13

Enseñanza presencial (trabajo de aula en grupos/ prácticas de laboratorio).

Enseñanza no presencial (realización de ejercicios y prácticas propuestos).


Memorias de los trabajos realizados.

Procedimientos:


Criterios:

Grado de destreza en trabajos participativos.

cOI5 cCIM3 cCIT1

1,2,3 4,5,6,7

8,9,10

11,12,13

Enseñanza no presencial (aprendizaje on-line/ revisión de libros).

Procedimientos:

Discusión en tutorías.

Criterios:

Grado de conocimiento de bibliografía existente.

cOI6 cCIC1 cCIC2

1,2,3 4,5,6,7

8,9,10

11,12,13

Enseñanza presencial (lección magistral/ clase de ejercicios/ test de control).

Procedimientos:

Discusión en tutorías.

Criterios:

Actitud del alumno.

Tabla 32. Tabla de coherencia para las competencias instrumentales


61



OBJE

TIV

OS

GENERALES

Interpersonales

Lenguaje de la

Lógica de Primer

Ord

en

Teoría Semántica

Sistemas de

Deducción

Deducción

Automática

y

Programación

Lógica



cOIP1

CIPTC1 CIPTC2 De cCIPTR1 a cCIPTR4

3

7,8,9 11,12,13


Enseñanza no presencial (realización de ejercicios y trabajos propuestos).

Tutoría organizada.

Memoria de trabajos propuestos.

Procedimientos:


Criterios:

Grado de destreza en trabajos en grupo.

cOIP2 De cCIPTR1 a cCIPTR4 3

7,8,9 11,12,13




Memoria de los trabajos propuestos.

Procedimientos:


Criterios:


cOIP3 cCIPTR4 3 7,8,9 11,12,13




Memoria de los trabajos propuestos.

Procedimientos:


Criterios:


Tabla 33. Tabla de coherencia para las competencias interpersonales


62



OBJE

TIV

OS

GENERALES

Sistémicas

Lenguaje de

Lógica de Primer

Ord

en

Teoría Semántica

Sistemas de

Deducción

Deducción

Automática

y

Programación

Lógica



cOS1 cCS1

3

12,13

Enseñanza presencial (lección magistral / trabajo de aula en grupos/ prácticas de laboratorio).

Enseñanza no presencial (aprendizaje on-line/ revisión de libros/ realización de ejercicios y prácticas propuestas).


Procedimientos:

Examen.

Prácticas.



Trabajos complementarios.

Criterios:

Nivel de actuación en destrezas transferibles.

cOS2 cCS2 5,6,7 9,10 12,13




Procedimientos:



Trabajos complementarios.

Criterios:

Grado de análisis y evaluación de los procedimientos relacionados con los sistemas de demostración.


63

cOS3 cCS1 cCS2 5,6,7 9,10

12,13




Procedimientos:


Trabajos en grupo.

Criterios:

Nivel de actuación de las destrezas transferibles.

cOS4 De cCS1 a cCS5 1,2,3,4

5,6,7 8,9,10 11,12,13


Enseñanza no presencial (aprendizaje on-line/ realización de ejercicios y prácticas propuestas).

Procedimientos:

Prácticas.

Trabajos en grupo.

Criterios:

Grado de análisis y evaluación de los procedimientos

relacionados con la resolución de problemas.

OS1 cCS1 cCS2 5,6,7 9,10

12,13




Procedimientos:


Trabajos en grupo.

Criterios:



64

OS2 cCS1 cCS2

11,12,13




Procedimientos:


Trabajos en grupo.

Criterios:


Tabla 34. Tabla de coherencia para las competencias sistémicas

LÓGICA COMPUTACIONAL - dccia.ua.es · Desde el curso académico 2003-2004, un grupo de profesores...

Documents

Transcript of LÓGICA COMPUTACIONAL - dccia.ua.es · Desde el curso académico 2003-2004, un grupo de profesores...