- Lógica proposicional
- En este módulo de razonamiento lógico podrás familiarizarte con la lógica proposicional. Verás una primera manera de formalizar razonamiento y los problemas NP-completos, que son arquetípicos en inteligencia artificial.
- Lógica proposicional parte 2
- En este módulo de razonamiento lógico podrás familiarizarte con la lógica proposicional. Verás una primera manera de formalizar razonamiento y los problemas NP-completos, que son arquetípicos en inteligencia artificial.
- Lógica temporal y Lógica de predicados
- En este módulo de razonamiento lógico podrás familiarizarte con la lógica temporal para entender los conceptos básicos de los "verificadores de modelos" y con la lógica de predicados para sentar las bases de varias técnicas de inteligencia artificial.
- Teoría de la probabilidad
- En este módulo de razonamiento probabilístico estarás familiarizado con dos modelos gráficos probabilísticos: las redes bayesianas y las cadenas de Markov.
- Teoría de la probabilidad (parte 2)
- En este módulo de razonamiento probabilístico estarás familiarizado con un modelo gráfico probabilístico: los procesos de decisión de Markov.
- Teoría de la probabilidad (parte 3)
- En este módulo de razonamiento probabilístico estarás familiarizado con un modelo gráfico probabilístico: los procesos de decisión de Markov.
