Conceptos preliminares y sintaxis de lógica temporal

Loading...
查看授課大綱

審閱

4.3(25 個評分)
  • 5 stars
    52%
  • 4 stars
    36%
  • 3 stars
    4%
  • 2 stars
    4%
  • 1 star
    4%
從本節課中
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
  • Stalin Muñoz Gutiérrez

    Stalin Muñoz Gutiérrez

    Maestro en Ciencias de la Complejidad

探索我們的目錄

免費加入並獲得個性化推薦、更新和優惠。