 |
| Código: |
MAT-4020 |
|
|
| Descripción |
En esta asignatura se hace
un estudio de los sistemas formales utilizando métodos
matemáticos, con lo cual se pretende dar las bases para
la Teoría de la Calculabilidad.
Se comienza presentando los principios del método axiomático
y las técnicas de demostración, para luego entrar a la
lógica matemática propiamente dicha. Se desarrollan los
siguientes temas:
Enunciados y notación, fórmulas bien formadas, principio
de inducción en fórmula, equivalencia de fórmulas bien
formadas, cálculo preposicional axiomático, validez y
completitud, funciones booleanas, compacidad, cálculo
de predicados, funciones recursivas. |
|
 |
| Justificación |
Los resultados de la lógica
inciden radicalmente en áreas que van desde la pura especulación
filosófica hasta las aplicaciones prácticas de las matemáticas,
pasando por el diseño de circuitos
y la elaboración de algoritmos.
Es así como la lógica se ha convertido en una herramienta
poderosísima, no sólo para el estudio de las matemáticas
mismas, si no también para la resolución de problemas
en el ámbito del ingeniero moderno.
|
|
|
| Objetivos |
| Proporcionar al
estudiante un lenguaje formal que le permita enfrentar
con rigurosidad el mundo de la ciencia y la ingeniería,
desarrollando habilidades de razonamiento crítico y reflexivo,
para resolver problemas en su campo de estudio. |
| |
|
|
| Profesor |
|
|
|
|
|
