Doble Grado en:

Matemáticas e Ingeniería Informática

Asignatura:

Lógica matemática

Asignatura en inglés:

Mathematical Logic

Curso y cuatrimestre:

1º (2º Cuatrimestre)

ECTS:

6

Tipología:

Básica

Idioma de impartición:

Español

Módulo:

Materias básicas

Materia:

Matemáticas

Departamento:

Sistemas Informáticos y Computación

Coordinador:

Pedro Jesús Martín de la Calle

• Métodos de razonamiento.
• Formalización y deducción en lógica de proposiciones y de primer orden.
• Aplicaciones de la lógica a la programación y a la especificación.

• Tema 1: Lógica de proposiciones.
  • Sintaxis y semántica.
  • Validez, equivalencia y consecuencia lógica.
  • Formas normales.
  • Sistemas de deducción: tableaux.
• Tema 2: Lógica de primer orden.
  • Sintaxis y semántica.
  • Formalización de enunciados.
  • Validez, equivalencia y consecuencia lógica.
  • Formas normales.
  • Sistemas de deducción: tableaux.
• Tema 3: Aplicación de la lógica en programación.
  • Extensión de la lógica de primer orden para razonar sobre las variables de un programa.
  • Especificación pre y post de subprogramas.

• Unit 1: Propositional logic.
  • Syntax and Semantics.
  • Validity, logical equivalence and logical consequence.
  • Normal forms.
  • Semantic tableaux.
• Unit 2: First-order logic.
  • Syntax and Semantics.
  • Formalization of statements.
  • Validity, logical equivalence and logical consequence.
  • Normal forms.
  • Semantic tableaux.
• Unit 3: Applications of First Order Logic to Programming.
  • An extension of First Order Logic developed to reason about variables in computer programs.
  • Pre and post specifications of subprograms.

• Al finalizar el aprendizaje, el o la estudiante será capaz de demostrar conocimiento básico de las diferentes subdisciplinas de la ingeniería informática y de las técnicas básicas y conocimientos de estas para la integración en equipos multidisciplinares como profesional generalista en ingeniería informática.

• Al finalizar el aprendizaje, el o la estudiante será capaz de aplicar conocimientos de álgebra, cálculo, análisis, matemática discreta, lógica, estadística y circuitos electrónicos en la resolución de problemas generales planteados en ingeniería informática.

No tiene

Recomendada

• Hortalá González, T. (2008). Lógica matemática para informáticos ejercicios resueltos. Pearson Prentice Hall.

Complementaria

• Hortalá González, M. T., Leach Albert, J., & Rodríguez Artalejo, M. (2001). Matemática discreta y lógica matemática (2ª ed). Editorial Complutense.
• Ben-Ari, M. (2012). Mathematical logic for computer science (3rd ed). Springer. https://doi.org/10.1007/978-1-4471-4129-7