Descripcion

Este curso se ha diseñado tomando en cuenta que la lógica formal es una herramienta fundamental en el avance de las ciencias computacionales. Su desarrollo está sirviendo continuamente de base para la elaboración de soluciones informáticas orientadas tanto a hardware como a software. Se trata de la lógica matemática, pero aplicada al contexto de las ciencias de la computación, y su uso es fundamental a varios niveles: en los circuitos computacionales, en la programación lógica y en el análisis y optimización (de recursos temporales y espaciales) de algoritmos.

En esta asignatura, se busca introducir al alumno en los métodos de la lógica (concretamente de la lógica de proposiciones y de predicados) que más se utilizan hoy en día en las ciencias de la computación, ingeniería de software e inteligencia artificial. Algunos temas son de índole puramente teóricos, mientras otros tratan de establecer el puente con aplicaciones concretas. Así están, la lógica de proposiciones, la lógica de predicados y métodos de demostraciones generales.