Embedded Files
Aprende Lógica como nunca te la enseñaron: bien
Te presento
EL CURSO DE LÓGICA
Un curso completo de Lógica Matemática con orientación filosófica
En este curso aprenderás en profundidad la matemática necesaria para entender y hacer Lógica matemática
Además conocerás los problemas filosóficos que motivaron su desarrollo y entenderás su interés para la Filosofía contemporánea
El curso se divide en tres unidades:
Lógica Proposicional
Teoría de Conjuntos
Lógica de Predicados
Tiempo aproximado del curso básico: 6-8 meses.
Algunas de las herramientas matemáticas que aprenderás:
Demostraciones por inducción matemática
Demostraciones por reducción al absurdo
Demostraciones directas, indirectas y por casos
Diferencia entre pruebas constructivas y no constructivas
Las teorías lógicas que cubriremos:
Cálculo de Deducción Natural (al estilo de Gentzen)
Cálculo de Secuentes
Método de Tableaux
Teoría de modelos
Algunos de los teoremas que demostraremos en detalle:
Completitud de la lógica clásica
Compacidad
Decidibilidad de la lógica proposicional clásica
Eliminación de Cortes
Isomorfismo de modelos
Teorema Descendente de Löwenheim-Skolem
Teorema de Cantor
Todo el material usado en el curso es original y puede adaptarse a tus necesidades e intereses
¿Quieres más?
Elige extender el curso básico con uno o varios de los temas siguientes:
Dialógica (en el estilo de Lorenz & Lorenzen)
Lógica intuicionista
Cálculo lambda y teoría moderna de tipos
Recursividad y computabilidad de Turing
Teoremas de Incompletitud de Gödel
Lógica modal
Lógica plurivalente
Lógica lineal
Lógicas metainferenciales
Teorías formales de la verdad
Historia de la Lógica occidental
Lógica antigua
Escríbeme hoy y consulta por precios y disponibilidad de horarios
Importante: No resuelvo temarios ni exámenes domiciliarios por encargo. No reviso trabajos prácticos ni exámenes antes de que hayan sido evaluados por el docente a cargo. Gracias por no insistir.
Page updated
Google Sites
Report abuse