Clases de Lógica y Estructuras Discretas para la IA de la UNED

Si acabas de llegar a la UNED te la describo en una imagen.

Pagas la matrícula y te das cuenta que no tienes nada.

Da mucha rabia. Lo sé.

Pero la alternativa es abandonar como lo hacen el 80% de alumnos de ingeniería entre primero y segundo.

Cuenta con ayuda profesional sin hipotecarte

Cómo aprobar en la UNED sin acabar debajo de un puente

Principalmente hay 2 problemas.

1. En ingeniería hay muchas asignaturas difíciles.

2. Las clases de un profesor de calidad son caras.

Si juntas los dos la solución es abandonar o hipotecarte.

Por eso la solución con la que los alumnos están recibiendo ayuda de verdad para varias asignaturas es con los cursos en vídeo.

Pero quería solucionar ese problema, por eso en la academia me he obsesionado con los cursos en vídeo.

El profesor de cada asignatura ha diseñado un curso 0 a 100.

  • Todos los temas explicados.
  • Los exámenes de otros años resueltos paso a paso.
  • Los errores que más suspensos causan.

Diseñado para que lo único que tengas que hacer cada hora que saques de estudio sea ponerte delante del ordenador y reproducir el siguiente vídeo.

Para las asignaturas de Inteligencia Artificial todavía no tenemos, pero sí ofrecemos clases en grupo.

Clases en grupo (2h a la semana). 115€/mes. Empezando en septiembre (plazas limitadas).

Para contactar puedes contactar al (+34 657 838 032) o pulsar este icono:

También puedes rellenar nuestro formulario:

Antes de irte. ¿Sabes cuál es el principal motivo de fracaso de la UNED?

El principal motivo de fracaso que tiene la UNED es la gestión del tiempo.

Esta es la base de la pirámide.

Encima están los 5 motivos de fracaso en la UNED (los que causan el 80% de abandono entre 1º y 2º).

Contenido oficial para el examen de Lógica y Estructuras Discretas de la UNED

1. Lógica de Proposiciones. Sintaxis y Semántica
1.1 Sintaxis

  • Generación de fórmulas bien formadas: alfabeto y reglas de generación de la lógica proposicional.
  • Análisis recursivo de fórmulas: conectiva principal y subfórmulas inmediatas.
  • Árbol sintáctico.

1.2 Semántica

  • Lógica con dos valores de verdad.
  • Interpretaciones: asignación de valores de verdad a las variables proposicionales.
  • Semántica de las conectivas.
  • Valor de verdad de una fórmula respecto a una interpretación dada.
  • Propagación funcional del valor de verdad a través de las subfórmulas componentes.
  • Concepto de satisfacción de una fórmula respecto a una asignación.
  • Enumeración de las distintas asignaciones posibles para una fórmula y sus respectivos resultados.
  • Tabla de verdad de una fórmula.

2. Lógica de Proposiciones. Equivalencia, Validez y Satisfacibilidad
2.1 Equivalencia

  • Definición de fórmulas semánticamente equivalentes.
  • Generación sintáctica de fórmulas equivalentes a una dada mediante reemplazo de subfórmulas por otras equivalentes.

2.2 Satisfacibilidad

  • Satisfacibilidad de una fórmula.
  • Satisfacibilidad de un conjunto de fórmulas.
  • Tableaux: comprobación sintáctica de la insatisfacibilidad de un conjunto de fórmulas.

2.3 Validez

  • Generación, por sustitución uniforme, de nuevas fórmulas tautológicas a partir de una tautología dada.
  • Relación entre fórmulas insatisfacibles y fórmulas tautológicas.

3. Lógica de Proposiciones. Consecuencia e Inferencia
3.1 Consecuencia

  • Definición del concepto de consecuencia lógica de un conjunto de fórmulas.
  • Teoremas que interrelacionan equivalencia, validez, satisfacibilidad y consecuencia en lógica proposicional.
  • Comprobación mediante tableaux de estos conceptos semánticos.

3.2 Inferencia

  • Reglas de deducción natural para lógica de proposiciones.

4. Lógica de Predicados. Sintaxis y Semántica
4.1 Sintaxis

  • Alfabeto con símbolos para codificar predicados, constantes, variables, cuantificadores y funciones.
  • Reglas de generación de fórmulas bien formadas.
  • Análisis sintáctico recursivo de fórmulas.
  • Variables libres y ligadas.
  • Árbol sintáctico.

4.2 Semántica

  • Asignaciones e interpretaciones aplicables a conjuntos de fórmulas de lógica de predicados.
  • Definición de satisfacción de fórmulas por parte de una interpretación.

5. Lógica de Predicados. Equivalencia, Validez y Satisfacibilidad
5.1 Equivalencia, validez y satisfacibilidad

  • Definición de estos conceptos en lógica de predicados a partir de sus análogos en lógica proposicional.
  • Teoremas que interrelacionan equivalencia, satisfacibilidad y validez.

6. Lógica de Predicados. Consecuencia e Inferencia
6.1 Consecuencia

  • Revisión del concepto de consecuencia lógica en lógica de predicados.
  • Teoremas que interrelacionan consecuencia lógica, satisfacibilidad y validez.

6.2 Tableaux

  • Tableaux para confirmar la insatisfacibilidad de un conjunto de fórmulas.
  • Reglas de expansión.
  • Ramas cerradas.
  • Árbol cerrado.
  • Uso indirecto de tableaux para confirmar validez y relaciones de consecuencia o equivalencia.

6.3 Inferencia

  • Reglas de deducción natural para lógica de predicados.

7. Estructuras Discretas. Conjuntos
7.1 Conjuntos y operaciones

  • Definición de conjuntos.
  • Unión, intersección, diferencia y complemento.

7.2 Representación gráfica de conjuntos

  • Diagramas de Venn.
  • Otras representaciones visuales.

7.3 Propiedades básicas y precedencia entre operadores

  • Leyes fundamentales de las operaciones sobre conjuntos.
  • Jerarquía de operadores.

7.4 Tuplas y conjunto potencia

  • Definición y propiedades de las tuplas.
  • Construcción y análisis del conjunto potencia.

7.5 Conjuntos notables

  • Identificación y estudio de conjuntos con propiedades especiales.

8. Estructuras Discretas. Relaciones
8.1 Relaciones y operaciones

  • Concepto de relación entre elementos de conjuntos.
  • Operaciones definidas sobre relaciones.

8.2 Relaciones binarias

  • Definición y ejemplos de relaciones entre dos conjuntos o elementos.

8.3 Representación de relaciones

  • Métodos gráficos.
  • Métodos matriciales.

8.4 Propiedades de las relaciones

  • Reflexividad.
  • Simetría.
  • Transitividad.
  • Antisimetría.

8.5 Relaciones de orden

  • Órdenes totales.
  • Órdenes parciales.

9. Estructuras Discretas. Funciones
9.1 Concepto de función

  • Definición formal.
  • Dominio y codominio.

9.2 Funciones parciales y totales. Funciones especiales

  • Funciones definidas en todo el dominio o solo en parte.
  • Funciones con propiedades particulares.

9.3 Representación formal y gráfica de funciones

  • Notación matemática.
  • Representación gráfica.

9.4 Propiedades de funciones

  • Inyectividad.
  • Sobreyectividad.
  • Biyectividad.

9.5 Construcción de nuevas funciones

  • Operaciones con funciones.
  • Composición de funciones.

9.6 Conceptos avanzados de cardinalidad de conjuntos

  • Comparación del tamaño de conjuntos.
  • Funciones y cardinalidad.

10. Estructuras Discretas. Combinatoria
10.1 Principios básicos de la combinatoria

  • Regla de la suma.
  • Regla del producto.

10.2 Funciones importantes en combinatoria

  • Factorial.
  • Función binomial.
  • Otras fórmulas de conteo.

10.3 Formas de agrupamiento

  • Subconjuntos.
  • Permutaciones.
  • Combinaciones.
  • Variaciones.

11. Estructuras Discretas. Fundamentos sobre grafos
11.1 Conceptos básicos de teoría de grafos

  • Grafos.
  • Vértices.
  • Aristas.
  • Conceptos fundamentales.

11.2 Representación gráfica de los grafos

  • Herramientas y métodos de representación visual.

11.3 Conceptos avanzados sobre grafos

  • Grafos dirigidos.
  • Grafos ponderados.
  • Estructuras complejas.

11.4 Caminos y conectividad

  • Caminos.
  • Circuitos.
  • Conectividad entre vértices.

12. Estructuras Discretas. Recorridos en grafos, tipos especiales de caminos y árboles
12.1 Recorridos en grafos

  • Recorrido en profundidad.
  • Recorrido en amplitud.

12.2 Tipos especiales de caminos

  • Caminos hamiltonianos.
  • Caminos eulerianos.

12.3 Árboles

  • Definición.
  • Propiedades.
  • Aplicaciones de los árboles como grafos conexos sin ciclos.
Carrito de compra
Chat on WhatsApp