Index Catalog // UAM

Filtern nach: Asesor/Director Fernández de Castro Tapia, José Jorge Max Stichwort Lógica

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

Fach:	Lógica, Modalidad (Lógica), Logic, and Modality (Logic)
Schöpfer:	Sánchez Hernández, Juan Carlos
Mitwirkender:	Miranda Perea, Favio Ezequiel, Torres Falcón, Yolanda Magda, and Fernández de Castro Tapia, José Jorge Max
Herausgeber:	Universidad Autónoma Metropolitana
Posgrado:	Maestria en Humanidades Filosofia
Sprache:	spa
Año de publicación:	2022
Rechte:	Acceso Abierto
Lizenz:	Atribucion-NoComercial 4.0 Internacional (CC BY-NC 4.0)
Tipo de Recurso:	info:eu-repo/semantics/masterThesis
Identifikator:	https://doi.org/10.24275/uami.dz010q29s

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