Conceptos preliminares y sintaxis de lógica temporal

Loading...
Visualizar o programa do curso

Avaliações

4.2 (59 classificações)
  • 5 stars
    50.84%
  • 4 stars
    28.81%
  • 3 stars
    11.86%
  • 2 stars
    3.38%
  • 1 star
    5.08%
LS
12 de Jul de 2020

Excelente el contenido, me obligó a consultar en otras fuentes y aprendí mucho.

MF
24 de Set de 2020

Se me hizo un poco complicado, pero al final lo termine!! Buen curso

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.