Asignatura universitaria

Lógica

Conjuntos, lógica proposicional, demostración y lógica de primer orden.

Consultar esta asignatura Preguntar por WhatsApp

UEM

Temario de la asignatura

Estos bloques orientan el estudio. Adaptamos las clases al programa y al material que estés trabajando.

Conjuntos y relaciones

Teoría de conjuntos
Relaciones y funciones
Propiedades de funciones

Lógica proposicional

Sintaxis y semántica
Tablas de verdad y equivalencia
Árboles sintácticos

Demostración y primer orden

Reglas de inferencia
Método tableau
Sintaxis, semántica y modelos

Dónde suele costar más

Formalizar enunciados
Construir tablas de verdad
Elegir una estrategia de demostración

Qué suele necesitar el alumno para llevarla bien

La precisión de los símbolos importa. Practica primero traducir frases cortas y comprobarlas con tablas, antes de abordar demostraciones o fórmulas de primer orden más largas.

Apoyo de Academia Biz-Code

Cómo te ayudamos con esta asignatura

Partimos de tu nivel y del programa que estés cursando para convertir los conceptos en un plan de trabajo claro y práctico.

Organizamos la preparación por los bloques principales de la asignatura.
Trabajamos ejercicios, casos o problemas con desarrollo y comprobación.
Convertimos cada resultado en una explicación clara del enunciado.

Consultar esta asignatura

Sigue explorando

También te puede interesar

Asignatura relacionada

Álgebra (Matemáticas)

Asignatura relacionada

Álgebra (Ciencia de Datos)

Asignatura relacionada

Análisis Matemático