Index Catalog // UAM

Clear filters

Filtering by: Jurado Miranda Perea, Favio Ezequiel Publisher Universidad Autónoma Metropolitana

List Gallery Masonry Slideshow

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

08612n87f?file=thumbnail

Subject:	Lógica, Modalidad (Lógica), Logic, and Modality (Logic)
Creator:	Sánchez Hernández, Juan Carlos
Contributor:	Miranda Perea, Favio Ezequiel, Torres Falcón, Yolanda Magda, and Fernández de Castro Tapia, José Jorge Max
Publisher:	Universidad Autónoma Metropolitana
Posgrado:	Maestria en Humanidades Filosofia
Language:	spa
Año de publicación:	2022
Rights Statement*:	Acceso Abierto
License:	Atribucion-NoComercial 4.0 Internacional (CC BY-NC 4.0)
Tipo de Recurso:	info:eu-repo/semantics/masterThesis
Identifier:	https://doi.org/10.24275/uami.dz010q29s

Lógica y semántica computacionales

736664631?file=thumbnail

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...
Subject:	Computer logic, Lógica computacional, Semantics Data processing, Semántica -- Procesamieto de datos, Semantic -- computing, and Computación semántica
Creator:	Acevedo Atenco, Habersheel
Contributor:	Miranda Perea, Favio Ezequiel, Solis Daun, Julio Ernesto, and Fernández de Castro Tapia, José Jorge Max
Publisher:	Universidad Autónoma Metropolitana
Posgrado:	Maestria en Ciencias Matematicas
Language:	spa
Año de publicación:	2014
Rights Statement*:	Acceso Abierto
License:	Atribucion-NoComercial 4.0 Internacional (CC BY-NC 4.0)
Tipo de Recurso:	info:eu-repo/semantics/masterThesis
Identifier:	https://doi.org/10.24275/uami.xp68kg37h