REPORTE DE ASIGNATURA
fecha y hora de generación: 25/04/2024 04:44 PMreporte impreso por: visitante [no identificado], para el período académico [ 2024-I ]
--- | visitante[no identificado] [visitante]

3006904 |  LÓGICA MATEMÁTICA 
[ Información de la Asignatura ]
Asignatura vigente
 Si
Unidad Académica Básica
ESCUELA DE MATEMATICAS
Créditos
4
Horas presenciales
4
Horas no presenciales
8
Validable
 Si
Libre Elección
 No
Porcentaje Mínimo de Asistencia
%
Número de Semanas
[ Descripción de la Asignatura ]
Descripción
---
[ Planes Relacionados ]

códigoplan
3515INGENIERÍA ADMINISTRATIVA
3507MATEMÁTICAS
[ Contenidos ]



1. Introducción.
1. 1.1. ¿Hacia dónde va el curso? 2. 1.2. Inducción. 3. 1.3. El lenguaje del Cálculo Proposicional. 4. 1.4. Fbfs 5. 1.5. Descomposición única.


2. Inducción.
1. 2.1. Inducción y recursión. 2. 2.2. Valuaciones. 3. 2.3. Conectivos proposicionales.


3. Compacidad y Efectividad.


4. Lógica de Primer Orden.


5. Lenguajes de Primer Orden.


6. Términos
1. 6.1. Términos, fórmulas, sentencias. 2. 6.2. Satisfacción y modelos. 3. 6.3. Equivalencia elemental.


7. Definibles
1. 7.1. Descomposición Única. 2. 7.2. Definibilidad en una estructura. 3. 7.3. Clases definibles. 4. 7.4. Homomorfismos.


8. Cálculo Deductivo (I).


9. Cálculo Deductivo (II).


10. Completitud y Compacidad. 11. . La Demostración de Henkin. 12. Modelos no Estándar de la Aritmética.
1. 10.1. Modelos y teorías. 2. 10.2. Löwenheim-Skolem. 3. 10.3. Test de Los-Vaught.


















































































INFORMACIÓN IMPORTANTE
Señor Usuario:
Si encuentra inconsistencias en la información aqui presentada, por favor dirijase al Departamento, Escuela o Instituto que ofrece esta asignatura, con los documentos que permitan verificar la veracidad en los datos.