Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 4 of 4 for “"Teoría de Modelos"”.
-
Una extensión de métodos algebraicos a la teoría de modelos
La idea central de este trabajo consiste en la introducción del concepto de cociente en la teoría de modelos. La construcción del cociente en algebra no es directamente generalizables pues hace uso de elementos notables del conjunto. Para vencer esta dificultad se introduce el concepto de M-ideal …
-
Avances en teoría de modelos : lógicas de primer orden y teoría paraconsistente de conjuntos
Antonio Monteiro realizó una caracterización de las congruencias maximales para ciertas variedades semisimples, permitiendo presentar un teorema de representación de las mismas; que bajo condiciones específicas, este teorema se le puede presentar una prueba unificada. En esta tesis, mostramos que …
-
Una semántica basada en juegos para la programación lógica rebatible
El objetivo principal de esta tesis es estudiar la teoría de prueba de la Programación en Lógica Rebatible (P.L.R.) y brindar una caracterización declarativa equivalente. La P.L.R. es una herramienta valiosa para la representación de conoci-miento tentativo, incierto y potencialmente inconsistente, …
-
Análisis comparativo de modelos agregados de balance hídrico en la España Peninsular y su incertidumbre climática.
Los modelos de balance hídrico son un factor clave en la gestión del agua. La simplicidad de los modelos agregados permite la estimación de los recursos hídricos sin necesidad de información espacial que en muchos casos no pudiera alcanzarse. Para evaluar la respuesta hidrológica de un sistema, es …