Search Constraints

Clear filters
Filtering by: Línea Académica Matematicas Remove constraint Línea Académica: Matematicas Jurado Solis Daun, Julio Ernesto Remove constraint Jurado: Solis Daun, Julio Ernesto
Number of results to display per page
View results as:
List Gallery Masonry Slideshow

Search Results

  1. Lógica y semántica computacionales

    736664631?file=thumbnail
    Description: 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...
    Subject: Computer logic, Lógica computacional, Semantics Data processing, Semántica -- Procesamieto de datos, Semantic -- computing, and Computación semántica
    Creator: Acevedo Atenco, Habersheel
    Contributor: Miranda Perea, Favio Ezequiel, Solis Daun, Julio Ernesto, and Fernández de Castro Tapia, José Jorge Max
    Publisher: Universidad Autónoma Metropolitana
    Posgrado: Maestria en Ciencias Matematicas
    Language: spa
    Año de publicación: 2014
    Rights Statement*: Acceso Abierto
    License: 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