Buscar

Borrar filtros
Filtrado por: Contributor sim Miranda Perea, Favio Ezequiel Eliminar la restricciónContributor sim: Miranda Perea, Favio Ezequiel
El número de resultados a mostrar por página
Ver Resultados por:
Lista Gallery Masonry Slideshow

Resultados de la búsqueda

  1. Árboles semánticos para algunas lógicas alético-epistémico-doxásticas

    08612n87f?file=thumbnail
    Tema: Lógica, Modalidad (Lógica), Logic, and Modality (Logic)
    Creador: Sánchez Hernández, Juan Carlos
    Colaborador: Miranda Perea, Favio Ezequiel, Torres Falcón, Yolanda Magda, and Fernández de Castro Tapia, José Jorge Max
    Editor: Universidad Autónoma Metropolitana
    Posgrado: Maestria en Humanidades Filosofia
    Idioma: spa
    Año de publicación: 2022
    Derechos: Acceso Abierto
    Licencia: 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.dz010q29s

  2. Lógica y semántica computacionales

    736664631?file=thumbnail
    Resumen: 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...
    Tema: Computer logic, Lógica computacional, Semantics Data processing, Semántica -- Procesamieto de datos, Semantic -- computing, and Computación semántica
    Creador: Acevedo Atenco, Habersheel
    Colaborador: 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
    Idioma: spa
    Año de publicación: 2014
    Derechos: Acceso Abierto
    Licencia: 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