Recherche

Effacer les filtres
Filtrage par: División Académica Ciencias Basicas e Ingenieria Supprimer la restriction División Académica: Ciencias Basicas e Ingenieria Jurado Miranda Perea, Favio Ezequiel Supprimer la restriction Jurado: Miranda Perea, Favio Ezequiel

Résultats de recherche

  1. Lógica y semántica computacionales

    736664631?file=thumbnail
    La 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...
    Assujettir: Computer logic, Lógica computacional, Semantics Data processing, Semántica -- Procesamieto de datos, Semantic -- computing, and Computación semántica
    Créateur: Acevedo Atenco, Habersheel
    Donateur: Miranda Perea, Favio Ezequiel, Solis Daun, Julio Ernesto, and Fernández de Castro Tapia, José Jorge Max
    Éditeur: Universidad Autónoma Metropolitana
    Posgrado: Maestria en Ciencias Matematicas
    La langue: spa
    Año de publicación: 2014
    Déclaration des droits: Acceso Abierto
    Licence: Atribucion-NoComercial 4.0 Internacional (CC BY-NC 4.0)
    Tipo de Recurso: info:eu-repo/semantics/masterThesis
    Identificateur: https://doi.org/10.24275/uami.xp68kg37h