Conceptos preliminares y sintaxis de lógica temporal

Loading...

검토

4.5(12개의 평가)
  • 5 stars
    9 ratings
  • 4 stars
    2 ratings
  • 1 star
    1 ratings
수업에서
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.

강사:

  • David Rosenblueth

    David Rosenblueth

    Investigador de Carrera Titular A

Coursera 카탈로그 살펴보기

무료로 참여해 맞춤화된 추천, 업데이트 및 제안을 받아보세요.