Lógica de Primer Orden

Estos papeles que ahora tenéis en vuestras manos, nacieron con la idea de servir de material de apoyo a las clases de la asignatura “Lógica de Primer Orden”, que forma parte del programa de los estudios de Ingeniería Informática impartidos en la Escuela Politécnica Superior de la Universidad de Alicante. No se trata, por tanto, de un libro de texto sobre Lógica, ya que existen excelentes libros que cubren este objetivo y es una pérdida de tiempo volverlos a escribir. En ningún momento ha sido esa nuestra pretensión, y si es eso lo que buscáis os remitimos a la bibliografía que adjuntamos. Lo que hemos intentado es redactar unos apuntes que incluyan los temas y aspectos de la lógica que nosotros impartimos en nuestras clases y que aborden la Lógica desde un enfoque didáctico y al mismo tiempo ameno (al menos es esa nuestra intención). Tampoco hemos dejado de lado el hecho de que nuestros alumnos y alumnas cursan estudios de Informática, y por ello hemos puesto hincapié en aquellos aspectos de la Lógica que creemos pueden ser interesantes para ellos como futuros informáticos, y a la vez les sirvan de complemento y base para otras materias de la carrera. Por tanto, hemos estado más interesados en mostrar la utilidad y aplicación de la lógica que en la formalización matemática de la misma, evitando las largas demostraciones de teoremas (para ello existen buenos libros en la bibliografía). La Lógica de Primer Orden nos permitirá formalizar conocimientos que poseamos de diversas ramas del saber, convirtiéndose en un instrumento imprescindible para realizar un trabajo serio en muchas tareas científicas. En concreto esta formalización será un paso previo e indispensable para poder automatizar formas de razonamiento y su posterior aplicación a muchas de las áreas de la Informática, y fundamentalmente de la Inteligencia Artificial

e-VALUACIÓN en tiempo real

Los sistemas de evaluación de prácticas actuales, incluyendo los automáticos, plantean el problema de que un estudiante entrega una práctica y no sabe la nota hasta transcurrido un tiempo, sin darle la posibilidad de corregir sus errores. Todo esto puede provocar en el estudiante desmotivación, abandono, falta de seguimiento, desconocimiento y, consecuentemente, el suspenso. Como una forma de solucionar este problema y teniendo en cuenta nuestro trabajo y aportaciones en los proyectos de investigación docente referidas al Espacio Europeo de Educación Superior (EEES, ver [1] y [2]), planteamos la evaluación de prácticas mediante un sistema automático de control de entrega online, disponible las 24 horas del día, y con carácter objetivo al 100%. Dicho sistema presenta muchas ventajas tanto para el estudiante (actualización instantánea de la nota, feedback inmediato para corregir posibles fallos) como para el profesor (dedicar más tiempo a enseñar y no a corregir, seguimiento continuo del trabajo de los estudiantes).Peer Reviewe

Los Juegos como Herramienta Docente. Formalización de Juegos Lógicos en Prolog

Ludwing Wittgenstein, filósofo austriaco, escribió que “podría escribirse una obra filosófica buena y seria compuesta enteramente por chistes”. Si se entiende el chiste, se entenderá el argumento implícito en él. Podríamos trasladar este pensamiento a nuestro campo y decir que se podría estudiar lógica por medio de chistes, juegos y acertijos; la enseñanza de la Lógica no tiene por qué ser aburrida si se saben encontrar caminos que la hagan agradable y amena. Como dice Martin Gardner [4] la virtud, y nosotros pensamos que la dificultad, está en encontrar el equilibrio entre el juego y la seriedad: el juego mantendrá interesados a nuestros alumnos y alumnas, y motivará su discusión más allá de las paredes del aula; la seriedad convertirá nuestras clases en algo útil y provechoso (y, para algunos, justificará nuestro sueldo)

Estudio y planificación de contenidos, materiales y metodologías docentes según el EEES: 1er curso de ingeniería multimedia

Convencidos de la idoneidad de realizar un seguimiento y revisión anual de la titulación de Ingeniería Multimedia se propuso para el curso académico 2013/14 el presente proyecto de red, que tiene por objetivo revisar y analizar los contenidos, materiales y metodologías docentes de las distintas asignaturas con el propósito de subsanar las posibles insuficiencias detectadas, y consecuentemente, mejorar la calidad de la docencia y el rendimiento del alumnado en el aprendizaje. En esta memoria se presentan los resultados de la evaluación de las asignaturas del primer curso y el análisis comparativo con cursos anteriores, obteniendo datos muy positivos, lo que muestra, un año más, la preparación y motivación de los actuales alumnos y futuros Ingenieros/as Multimedia

Coordinación y análisis del primer curso del grado en Ingeniera Multimedia

Comprometidos con la mejora de la calidad de la docencia, un curso más se ha propuesto el presente proyecto de red cuya finalidad revisar y analizar los contenidos, materiales y metodologías docentes de las distintas asignaturas con el propósito de subsanar las posibles insuficiencias detectadas. En esta memoria se presentan los resultados de la evaluación de las asignaturas del primer curso y el análisis comparativo con cursos anteriores, obteniendo datos muy positivos, lo que muestra, un año más, la preparación y motivación de los actuales alumnos y futuros Ingenieros/as Multimedia

Métodos iterativos paralelos para la resolución de sistemas lineales hermíticos y definidos positivos

Proyecto DGSIC PB98-097