REPORTE DE ASIGNATURA
fecha y hora de generación: 05/07/2024 02:11 AMreporte 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
3507MATEMÁTICAS
3515INGENIERÍA ADMINISTRATIVA
[ 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.