Conceptos preliminares y sintaxis de lógica temporal

Loading...
Из курса от партнера Universidad Nacional Autónoma de México
Razonamiento artificial
8 оценки
Universidad Nacional Autónoma de México
8 оценки
Курс 2 из 9 — Specialization Introducción a la 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.

Познакомьтесь с преподавателями

  • David Rosenblueth
    David Rosenblueth
    Investigador de Carrera Titular A
    Instituto de Investigaciones en Matemáticas Aplicadas y Sistemas

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

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