Index Catalog // Hyrax

Limpar filtros

Filtragem por: Palavra-chave Lógica Editor Universidad Autónoma Metropolitana

Lista Gallery Masonry Slideshow

Consideraciones en torno a la Lógica Epistémica

Df65v841t?file=thumbnail

Sujeito:	Modalidad -- Lógica, Epistemics, Modality -- Logic, and Lógica epistémica
O Criador:	Contreras Quintero, Adán
Contribuinte:	Teresa Ochoa, José Marcos Nicolás Javier de, Fernández de Castro Tapia, José Jorge Max, Torres Falcón, Yolanda Magda, and Cantero Flores, Víctor
Editor:	Universidad Autónoma Metropolitana
Posgrado:	Maestria en Humanidades Filosofia
Língua:	spa
Año de publicación:	2021
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.n870zr344

Lógica matemática

9s161668w?file=thumbnail

Sujeito:	Lógica simbólica y matemática and Logic, Symbolic and mathematical
O Criador:	Solís Daun, Julio Ernesto and Torres Falcón, Yolanda
Editor:	Universidad Autónoma Metropolitana
Língua:	spa
Año de publicación:	1995
Direitos:	Acceso Abierto
Licença:	Atribucion-NoComercial 4.0 Internacional (CC BY-NC 4.0)
Tipo de Recurso:	info:eu-repo/semantics/book
Serie:	Colección CBI

Teoría de operadores con aplicaciones a la física

8336h208t?file=thumbnail

Descrição:	Los problemas tecnológicos y científicos actuales dependen de estimaciones precisas de cantidades muy pequeñas. Es por eso que son necesarias teorías confiables, aunque generalmente complejas, que nos permitan excluir las mínimas diferencias. Con el desarrollo de las modernas calculadoras, los métodos que antes parecían abstracciones académicas han cobrado su importancia....
Sujeito:	Operadores, Teoría de, Operator theory, Spectral theory (Mathematics), and Teoría espectral (Matemáticas)
O Criador:	Arredondo Ruiz, Juan Héctor
Editor:	Universidad Autónoma Metropolitana
Língua:	spa
Año de publicación:	1997
Direitos:	Acceso Abierto
Licença:	Atribucion-NoComercial-SinDerivadas 4.0 Internacional (CC BY-NC-ND 4.0)
Tipo de Recurso:	info:eu-repo/semantics/book
Serie:	Colección CBI

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

08612n87f?file=thumbnail

Sujeito:	Lógica, Modalidad (Lógica), Logic, and Modality (Logic)
O Criador:	Sánchez Hernández, Juan Carlos
Contribuinte:	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
Língua:	spa
Año de publicación:	2022
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.dz010q29s

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