Conceptos preliminares y sintaxis de lógica temporal

Loading...
シラバスを表示

レビュー

4.1 (78 件の評価)
  • 5 stars
    47.43%
  • 4 stars
    30.76%
  • 3 stars
    14.10%
  • 2 stars
    2.56%
  • 1 star
    5.12%
ET
2020年10月5日

Es un curso espectacular muy didáctico , se aprenden técnicas y conceptos de gran utilidad. Felicitaciones a la UNAM

AL
2020年12月20日

Buen curso. Sin embargo, es necesario tener conocimientos técnicos y de programación.

レッスンから
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

コース一覧で検討

サインアップは無料です。今すぐサインアップして、パーソナライズされたお勧め、更新、サービスを利用しましょう。