Conceptos preliminares y sintaxis de lógica temporal

video-placeholder
Loading...
Visualizar o programa do curso

Avaliações

4.1 (84 ratings)
  • 5 stars
    46,42%
  • 4 stars
    32,14%
  • 3 stars
    14,28%
  • 2 stars
    2,38%
  • 1 star
    4,76%

ET

5 de Out de 2020

Filled StarFilled StarFilled StarFilled StarFilled Star

Es un curso espectacular muy didáctico , se aprenden técnicas y conceptos de gran utilidad. Felicitaciones a la UNAM

AL

20 de Dez de 2020

Filled StarFilled StarFilled StarFilled StarFilled Star

Buen curso. Sin embargo, es necesario tener conocimientos técnicos y de programación.

Na lição

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.

Ministrado por

  • Placeholder

    David Rosenblueth

    Investigador de Carrera Titular A

  • Placeholder

    Stalin Muñoz Gutiérrez

    Maestro en Ciencias de la Complejidad

Explore nosso catálogo

Registre-se gratuitamente e obtenha recomendações, atualizações e ofertas personalizadas.