搜索条件
过滤:
Contributor sim
Miranda Perea, Favio Ezequiel
删除限定条件 Contributor sim: Miranda Perea, Favio Ezequiel
1 - 2 共 2
每页显示结果数
搜索结果
-
Árboles semánticos para algunas lógicas alético-epistémico-doxásticas
学科: Lógica, Modalidad (Lógica), Logic, and Modality (Logic) 创造者: Sánchez Hernández, Juan Carlos 贡献者: Miranda Perea, Favio Ezequiel, Torres Falcón, Yolanda Magda, and Fernández de Castro Tapia, José Jorge Max 出版者: Universidad Autónoma Metropolitana Posgrado: Maestria en Humanidades Filosofia 语言: spa Año de publicación: 2022 权: 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.dz010q29s -
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