|
Introducir al alumno en la Lógica Matemática, con el fin de brindar una herramienta teórica para especificaciones formales en diferentes áreas de la Computación, como lo son las bases de datos, la inteligencia artificial, la especificación de software, arquitecturas de computadoras, etc.
En esta asignatura se busca cubrir un núcleo básico delos aspectos teóricos y prácticos lo suficientemente amplio, otorgando una visión comprensiva de la materia, sustentada en una formación teórica que le permite una constante actualización mediante el uso de literatura científica actual y una capacidad de adaptación a las diferentes aplicaciones.
La Lógica está relacionada a dos conceptos principalmente: Verdad (Truth) y Demostración (Provability), los cuales por varios siglos han sido investigados por filósofos, lingüistas y matemáticos.
Como objetivos principales, está orientada al estudio de la Lógica de Primer Orden, con sus propiedades y aplicaciones en diversas áreas.
En particular, resulta de interés los métodos de demostración de teoremas y la interpretación de las fórmulas del lenguaje. Se tratan, entonces los aspectos sintácticos y semánticos de este lenguaje, haciendo la introducción a la teoría de pruebas y a la teoría de modelos respectivamente.
Además, se trata la completitud de los sistemas formales, estudiando el teorema de completitud de Gödel. Como propósito general, se estudian conceptos elementales de la lógica filosófica, con el fin de observar su vinculación a áreas humanísticas y su antigüedad en el estudio de esta disciplina.
Con lo expuesto, se pretende integrar y afianzar conocimientos mostrando una correcta aplicación del método científico y/o una adecuada metodología para el desempeño profesional, e introducir al futuro egresado en el campo de su posible orientación: académico, profesional o de investigación.
|
