Suchen
1 eintrag gefunden
Anzahl der Ergebnisse pro Seite angezeigt werden
Suchergebnisse
-
Lógica y semántica computacionales
Beschreibung: 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... Fach: Computer logic, Lógica computacional, Semantics Data processing, Semántica -- Procesamieto de datos, Semantic -- computing, and Computación semántica Schöpfer: Acevedo Atenco, Habersheel Mitwirkender: Miranda Perea, Favio Ezequiel, Solis Daun, Julio Ernesto, and Fernández de Castro Tapia, José Jorge Max Herausgeber: Universidad Autónoma Metropolitana Posgrado: Maestria en Ciencias Matematicas Sprache: spa Año de publicación: 2014 Rechte: Acceso Abierto Lizenz: Atribucion-NoComercial 4.0 Internacional (CC BY-NC 4.0) Tipo de Recurso: info:eu-repo/semantics/masterThesis Identifikator: https://doi.org/10.24275/uami.xp68kg37h