Busca

Limpar filtros
Filtragem por: Línea Académica Matematicas Remover Línea Académica: Matematicas O Criador Acevedo Atenco, Habersheel Remover O Criador: Acevedo Atenco, Habersheel
Número de resultados para mostrar por página
Ver resultados como:
Lista Gallery Masonry Slideshow

Resultados da Busca

  1. Lógica y semántica computacionales

    736664631?file=thumbnail
    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