Conceptos preliminares y sintaxis de lógica temporal

Loading...
Просмотреть программу курса

Рецензии

4.4 (оценок: 15)
  • 5 stars
    10 ratings
  • 4 stars
    3 ratings
  • 3 stars
    1 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

Ознакомьтесь с нашим каталогом

Присоединяйтесь бесплатно и получайте персонализированные рекомендации, обновления и предложения.