Lógica

+Info
DEPARTAMENTO PROFESOR/ES
MATEMÁTICAS Y COMPUTACIÓN Luis Javier Hernández Paricio  (Responsable)
Luis Español González
TITULACIONES EN LAS QUE SE IMPARTE LA ASIGNATURA
Titulación Carácter Curso Semestre Créditos Guía Docente
Grado en Ingeniería Informática Obligatoria 1 Segundo Semestre 6 pdf
Grado en Matemáticas Obligatoria 1 Segundo Semestre 6 pdf
CONTEXTO
La asignatura de Lógica recopila y unifica los conocimientos que los estudiantes pueden haber adquirido en la Educación Secundaria , y los amplía proporcionando la base necesaria para el razonamiento deductivo en matemáticas y el razonamiento automático en informática
COMPETENCIAS
Competencias generales: CG1, CG2, CG4, CG7.
• CG 1. Estar capacitado para analizar, razonar y evaluar de modo crítico, lógico y, en caso necesario, formal, sobre problemas que se planteen en su entorno.
• CG 2. Estar capacitado para, utilizando el nivel adecuado de abstracción, establecer y evaluar modelos que representen situaciones reales.
• CG 4. Estar capacitado para transmitir información, ideas, planteamiento de problemas y soluciones, tanto a otros profesionales tecnológicos y científicos, como a personas ajenas a esas disciplinas.
• CG 7. Haber desarrollado aquellas habilidades de aprendizaje necesarias para continuar su formación.
Competencias específicas: CE5, CE8, CE10.
• CE 5. Capacidad para concebir, desarrollar y mantener sistemas, servicios y aplicaciones informáticas empleando los métodos de la ingeniería del software como instrumento para el aseguramiento de su calidad.
• CE 8. Conocimiento de las materias básicas y tecnologías, que capaciten para el aprendizaje y desarrollo de nuevos métodos y tecnologías, así como las que les doten de una gran versatilidad para adaptarse a nuevas situaciones.
• CE 10. Conocimientos para la realización de mediciones, cálculos, valoraciones, tasaciones, peritaciones, estudios, informes, planificación de tareas y otros trabajos análogos de informática.
TEMARIO
Tema 1 LENGUAJE, VERDAD Y RAZONAMIENTO
1.1. Enunciados verdaderos y falsos
1.2. Primeros conectores
1.3. Cuantificadores
1.4. Inferencia y conector condicional
1.5. Lenguajes lógicos en herramientas informáticas
Tema 2 LÓGICA Y CONJUNTOS
2.1. Conjuntos. Operaciones con conjuntos
2.2. Subconjuntos. Silogismos
2.3. Aplicaciones entre conjuntos. Composición
2.4. Sistemas de conectores
Tema 3 LÓGICA DE PROPOSICIONES
3.1. Sintaxis y semántica. Tablas de verdad
3.2. Equivalencias. Álgebra de Boole
3.3. Formas normales
3.4. Método de resolución
Tema 4 COMPLEMENTOS
4.1. Álgebras de Boole abstractas
4.2. Lógica trivaluada
4.3. Otras lógicas no clásicas
Tema 5 MÉTODOS DE DEMOSTRACIÓN CON PROPOSICIONES
5.1. Reglas de inferencia
5.2. La deducción natural
5.3. Otros sistemas axiomáticos
Tema 6 LÓGICA DE PREDICADOS
6.1. Sintaxis y semántica. Sustituciones
6.2. Equivalencias. Formas normales prenexas
6.3. Transformación de Skolem
6.4. Método de resolución
Tema 7 MÉTODOS DE DEMOSTRACIÓN CON PREDICADOS
7.1. Reglas de inferencia. Teorema de deducción
7.2. Deducción natural
7.3. Otros sistemas axiomáticos