Características Generales
Nombre de la Asignatura: LÓGICA
Titulación: GRADO EN INGENIERÍA INFORMÁTICA
Créditos: 6
Carácter: TRONCAL
Curso: 2º
Temporalidad: Cuatrimestral (1er cuatrimestre)
Departamento: Departamento de Tecnologías y Sistemas de Información
Profesores: Pascual Julián Iranzo (coordinador), José Ángel Olivas Varela, Carmen Lacave Rodero & Juan Giralt Muiña
Pre-requisitos (recomendaciones): No tiene (aunque se recomienda tener conocimientos elementales de matemáticas discretas)
Objetivos: La asignatura se centra en el estudio de los sistemas lógicos tradicionales. El objetivo principal es que el alumno conozca estos sistemas y reconozca su utilidad y aplicabilidad en las ciencias de la computación.
Estructura del temario: Lógica de Enunciados: Sintaxis, semántica, propiedades formales y deducción natural. Lógica de Predicados: Sintaxis, semántica, propiedades formales y deducción natural. Resolución, Extensiones y Otras lógicas.
Docencia: 3 horas semanales de teoría y problemas y 1,5 horas de práctica en laboratorio.
Evaluación: Consta de una prueba final (55% de la nota total), dos exámenes de prácticas (20% de la nota total), dos controles de problemas (15% de la nota total) y la entrega y exposición oral de un ensayo (10% de la nota total).
[Para más información, véase la Guía Docente de la Asignatura de Lógica]