搜索条件
找到 1 条目
每页显示结果数
搜索结果
-
Lógica y semántica computacionales
描述: 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