Ricerca

Cancellare i filtri
Filtro per: Contributor sim Miranda Perea, Favio Ezequiel Cancella il filtro Contributor sim: Miranda Perea, Favio Ezequiel Soggetto Lógica computacional Cancella il filtro Soggetto: Lógica computacional
Risultati per pagina
Visualizza i risultati come:
Lista Gallery Masonry Slideshow

Risultati della ricerca

  1. Lógica y semántica computacionales

    736664631?file=thumbnail
    Descrizione: El capítulo 1 inicia revisando la lógica de primer orden, desde qué es una expresión bien construida del lenguaje lógico de primer orden sobre un vocabulario, las condiciones de satisfacibilidad respecto de un modelo de primer orden, y la forma de asociar oraciones de un lenguaje natural a un lenguaje...
    Soggetto: Computer logic, Lógica computacional, Semantics Data processing, Semántica -- Procesamieto de datos, Semantic -- computing, and Computación semántica
    Creatore: Acevedo Atenco, Habersheel
    Collaboratore: Miranda Perea, Favio Ezequiel, Solis Daun, Julio Ernesto, and Fernández de Castro Tapia, José Jorge Max
    Editore: Universidad Autónoma Metropolitana
    Posgrado: Maestria en Ciencias Matematicas
    Lingua: spa
    Año de publicación: 2014
    Diritti: Acceso Abierto
    Licenza: Atribucion-NoComercial 4.0 Internacional (CC BY-NC 4.0)
    Tipo de Recurso: info:eu-repo/semantics/masterThesis
    Identifier: https://doi.org/10.24275/uami.xp68kg37h