LOGICA - 503207
- Descripción :En este curso se presentaran las principales areas de la logica incluyendo logica preposicional, de primer orden y los metodos de razonamiento.
Esta asignatura aporta a las siguientes competencias del perfil de egreso:
? Aplicar principios de matematicas, ciencias de la ingenieria y ciencias de la computacion, a problemas de ingenieria informatica.
? Involucrarse en procesos de auto-aprendizaje continuo que le permita adaptarse a la evolucion de la teoria y tecnologia.
- Resultados aprendizaje esperados :Al finalizar el curso los alumnos deben ser capaces de:
1. Modelar usando lenguaje logico preposicional o de primer orden, una situacion o problema. (nivel 4)
2. Plantear en terminos logicos la pregunta necesaria para resolver un problema. (nivel 4)
3. Responder a preguntas logicas utilizando tecnicas de deduccion formal. (nivel 3)
4. Utilizar herramientas automaticas para realizar procesos deductivos y de demostracion de teoremas para resolver problemas de gran complejidad. (nivel 3)
5. Describir la sintaxis y semantica de la logica de segundo orden. (nivel 1)
- Contenidos :1. Introduccion
2. Calculo Preposicional.
a. Proposiciones y operaciones con proposiciones.
b. Formulas bien formadas.
c. Tablas de verdad.
d. Interpretaciones y modelos, consecuencia logica.
e. Reglas de inferencia, sistemas deductivos.
f. Formas normales.
3. Conjuntos
4. Relaciones y funciones
5. Calculo de predicados de primer orden.
a. Formulas bien formadas.
b. Variables libres y ligadas.
c. Deduccion y consecuencia logica.
d. Formas normales.
e. Razonamiento automatico
i) Unificacion, Skolemizacion.
ii) Resolucion.
6. Calculo de predicados de segundo orden.
7. Utilizacion de Herramientas automaticas para realizar procesos deductivos y de demostracion de teoremas
- Metodología :La asignatura usa una metodologia activa que consiste de tareas orientadas a la resolucion de problemas, complementadas con sesiones teoricas expositivas.
- Evaluación :La asignatura consta de al menos tres evaluaciones usando las siguientes modalidades: proyectos, controles, tareas
- Facultad :INGENIERIA
- Departamento :INFORMATICA Y CS COMPUTACION
- Creditos :4
- Cupos :40
- Campus :CONCEPCION