Search Constraints
Filtering by:
Creator
Acevedo Atenco, Habersheel
Remove constraint Creator: Acevedo Atenco, Habersheel
Keyword
Lógica
Remove constraint Keyword: Lógica
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 |