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

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.

El profesor de cada grupo especificará el primer día de clase cómo llevará a cabo la evaluación en su grupo concreto siguiendo las siguientes pautas.

Examen final: un 80%.
Evaluación continua, en forma de entregas de problemas y/o trabajos y/o pruebas escritas: un 20%.

Esta ponderación se preserva para la convocatoria extraordinaria. La nota de evaluación continua no es recuperable, es la misma para la convocatoria ordinaria y para la extraordinaria. Los detalles del método de evaluación de cada grupo también estarán disponibles en el Campus Virtual u otro medio público especificado por el profesor.

- 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.