Conceptos preliminares y sintaxis de lógica temporal

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

Рецензии

4.1 (оценок: 51)
  • 5 stars
    49.01%
  • 4 stars
    29.41%
  • 3 stars
    11.76%
  • 2 stars
    3.92%
  • 1 star
    5.88%
DE

Jan 26, 2019

Me pareció muy interesante el curso, cubrió mis expectativas además los ejercicios estaban muy relacionados a los videos y fortalecían el entendimiento del mismo.

LS

Jul 13, 2020

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

Из урока
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.

Преподаватели

  • Placeholder

    David Rosenblueth

    Investigador de Carrera Titular A
  • Placeholder

    Stalin Muñoz Gutiérrez

    Maestro en Ciencias de la Complejidad

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

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