Index Catalog // Hyrax

Limpar filtros

Filtragem por: O Criador Acevedo Atenco, Habersheel

Lista Gallery Masonry Slideshow

736664631?file=thumbnail

1. Lógica y semántica computacionales

Descrição:: 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...
Sujeito:: Computer logic, Lógica computacional, Semantics Data processing, Semántica -- Procesamieto de datos, Semantic -- computing, and Computación semántica
O Criador:: Acevedo Atenco, Habersheel
Contribuinte:: Miranda Perea, Favio Ezequiel, Solis Daun, Julio Ernesto, and Fernández de Castro Tapia, José Jorge Max
Editor:: Universidad Autónoma Metropolitana
Posgrado:: Maestria en Ciencias Matematicas
Língua:: spa
Año de publicación:: 2014
Direitos:: Acceso Abierto
Licença:: Atribucion-NoComercial 4.0 Internacional (CC BY-NC 4.0)
Tipo de Recurso:: info:eu-repo/semantics/masterThesis
Identificador:: https://doi.org/10.24275/uami.xp68kg37h