CES Felipe II - Web oficial  Ingeniería Técnica en Informática de Sistemas 
    Bienvenido/a       
Secciones

· Apuntes

· Ejercicios

· Ficha de la Asignatura

· Listado de Asignaturas



Lógica     
Titulación: Ingeniería Técnica en Informática de Sistemas Plan: 98 Curso académico: 2014-2015
Asignatura: Lógica Código: 21116655 Tipo: Obligatoria Curso: 1º, Segundo Cuatrimestre
Créditos BOE: 4.5
Créditos ECTS: Por determinar
Horas/semana segundo cuatrimestre: 3 en aula
Profesor coordinador: Félix de Marcos Briones

Objetivos:
El objetivo de esta asignatura es aprender los elementos básicos de la Lógica Matemática relevantes para la informática que no se cubren en otras asignaturas de Matemáticas. El programa comprende una introducción detallada de la Lógica de Proposiciones y la Lógica de Predicados de Primer Orden, que se presentan como instrumentos adecuados para la formalización de razonamientos.
Conocimientos y destrezas que se requieren:
  • Capacidad de síntesis (nivel medio)
  • Capacidad de análisis (nivel medio)
Idioma en que se imparte la asignatura: Español
Contenidos:
El programa se divide en dos módulos; lógica proposicional, y lógica de predicados. En cada uno de ellos se estudia la sintaxis y la semántica del lenguaje lógico correspondiente, los conceptos de equivalencia de fórmulas, argumentación lógicamente válida y formas normales. También se presenta en detalle el método de los tableaux semánticos para demostrar la validez de una argumentación.
Conocimientos y destrezas que se adquieren:
  • Manejo lógica proposicional (nivel avanzado)
  • Manejo lógica predicativo (nivel avanzado)
Método docente:
Enseñanza presencial teórica. Enseñanza presencial de problemas. ADAPTADA AL ESPACIO EUROPEO DE EDUCACIÓN SUPERIOR COMO GRUPO PILOTO DE LA UCM.
Exámenes:
  • Examen Final en junio
  • Examen Final en septiembre

Método de evaluación:
Evaluación continua basada en la asistencia obligatoria a clase. La calificación final dependerá de 6 PET (Pruebas de Evaluación de Temario, de unos 15 minutos de duración), de una prueba online tipo test y de la participación activa en las clases teóricas y prácticas. Los alumnos que no asistan a todas las clases o no superen el curso mediante el trabajo continuo tendrán opción a realizar un examen final.
Bibliografía:
    1.- Hortalá, M.T., Leach, J., Rodríguez, M. Matemática Discreta y Lógica Matemática. Editorial Complutense 2001. ISBN 84-7491-650-X
    2.- Ben-Ari, M. Mathematical Logic for Computer Science. Addison-Wesley, 1990.
    3.- Ebbinghaus, H. Flum, J. Thomas, W. Mathematical Logic. Springer-Verlag, 1994.



[Volver]

 
Sugerencias, comentarios, errores ...
Escribe al Webmaster: webmaster seguido de @ y ajz.ucm.es