搜索条件
过滤:
Línea Académica
Matematicas
删除限定条件 Línea Académica: Matematicas
学科
Semántica -- Procesamieto de datos
删除限定条件 学科: Semántica -- Procesamieto de datos
描述: | 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... |
---|---|
学科: | Computer logic, Lógica computacional, Semantics Data processing, Semántica -- Procesamieto de datos, Semantic -- computing, and Computación semántica |
创造者: | Acevedo Atenco, Habersheel |
贡献者: | Miranda Perea, Favio Ezequiel, Solis Daun, Julio Ernesto, and Fernández de Castro Tapia, José Jorge Max |
出版者: | Universidad Autónoma Metropolitana |
Posgrado: | Maestria en Ciencias Matematicas |
语言: | spa |
Año de publicación: | 2014 |
权: | Acceso Abierto |
执照: | Atribucion-NoComercial 4.0 Internacional (CC BY-NC 4.0) |
Tipo de Recurso: | info:eu-repo/semantics/masterThesis |
识别码: | https://doi.org/10.24275/uami.xp68kg37h |