Lógica

Abstract

OBJETIVOS: El objetivo de este curso es suministrar los conocimientos de lógica indispensables para acercarse al mundo de la ciencia y la técnica desde un ángulo más riguroso. También se pretende que el alumno adquiera habilidades para manejar diversos lenguajes. Tratar los aspectos sintácticos y semánticos de los lenguajes para introducir al alumno en la teoría de pruebas y en la teoría de modelos. Este primer objetivo se halla complementado con otros más generales tales como desarrollar: -Capacidad de observación, abstracción e interpretación. -Capacidad de formular razonamientos correctos. -Capacidad de análisis riguroso de la información, distinguiendo con facilidad premisas de conclusiones y razonamientos correctos de incorrectos.