Razonar de forma estructurada, resolver problemas de distintas disciplinas utilizando y aplicando el lenguaje de la Lógica Matemática.

Conocer las nociones, las técnicas y las aplicaciones básicas de la Lógica Matemática, así como su alcance y sus limitaciones.

Sesiones académicas teóricas

Se profundizará , desde un punto de vista práctico, en los conceptos teóricos introducidos.

Sesiones académicas de problemas.

6

0

2

No hay

Aprender el lenguaje de la lógica matemática como instrumento adecuado para la formalización de razonamientos y como fundamento de las Matemáticas.
Comprender las limitaciones del lenguaje de la lógica de primer orden. Enseñar  elementos básicos de la lógica matemática relevantes para la Informática y/o en otras áreas de las Matemáticas, en particular cómo la teoría de modelos proporciona demostraciones alternativas a problemas del álgebra y el análisis matemático.

Evaluación continua consistente en entrega de ejercicios y exposición (voluntaria) en clase de temas complementarios, puntuará el 40% de la nota . Examen final que
puntuará un 60% de la nota final, para aprobar será necesario sacar una nota
igual o superior a 4 en el examen final. Esta ponderación se preserva para la convocatoria extraordinaria.

- T. HORTALÁ, N. MARTÍ, M. PALOMINO, M. RODRIGUEZ Y R. DEL VADO, LÓGICA MATEMÁTICA PARA INFORMÁTICOS. EJERCICIOS RESUELTOS, PEARSON, COLECCIÓN PRENTICE PRACTICA, 2008.
- T. HORTALÁ, J. LEACH Y M. RODRÍGUEZ, MATEMÁTICA DISCRETA Y LÓGICA MATEMÁTICA, SEGUNDA EDICIÓN, EDITORIAL COMPLUTENSE, 2001.
- D. VAN DALEN, LOGIC AND STRUCTURE, THIRD EDITION, SPRINGER, 1997.
- J. BARWISE Y J. ETCHEMENDY, LANGUAGE, PROOF AND LOGIC, SEVEN BRIDGES PRESS, 1999.
- MARTIN HILS AND FRANÇOIS LOESER, A FIRST JOURNEY THROUGH LOGIC, VOLUME 89 OF THE SERIES 'STUDENT MATHEMATICAL LIBRARY', AMERICAN MATHEMATICAL SOCIETY, PROVIDENCE, RI, SEPTEMBER 2019.
- M. BEN-ARI, MATHEMATICAL LOGIC FOR COMPUTER SCIENCE, SPRINGER, SECOND EDITION, 2001.
- R. CORI Y D. LASCAR, MATHEMATICAL LOGIC, VOLS. I Y II, OXFORD UNIV. PRESS 2001.
- S. HEDMAN, A FIRST COURSE IN LOGIC: AN INTRODUCTION TO MODEL THEORY, PROOF THEORY, COMPUTABILITY, AND COMPLEXITY, OXFORD UNIVERSITY PRESS, 2004.
- U. SCHÖNING, LOGIC FOR COMPUTER SCIENTISTS, BIRKHÄUSER VERLAG, 1989.
- J. SHOENFIELD, MATHEMATICAL LOGIC, A K PETERS, 2001.
- Yannai A. Gonczarowski, Noam Nisan. Mathematical Logic through Python. Cambridge University Press, 2022.
- Jeremy Avigad, Leonardo de Moura, and Soonho Kong. Theorem Proving in Lean. Accesible on-line: https://leanprover.github.io/theorem_proving_in_lean/

Habrá material e información disponible en el Campus Virtual de la asignatura.