Buscar recursos académicos

El espíritu de esta tesis ha sido estudiar la aplicación de métodos algebraicos en la descripción de sistemas cuánticos de muchas part´ıculas, cuyo comportamiento puede homologarse al de: a) N átomos idénticos ...

Los Sistemas Diferenciales Algebraicos (SDA) son también conocidos como sistemas singulares, implícitos, descriptores o sistemas generalizados. Surgen naturalmente como modelos dinámicos de aplicaciones de la ingenier...

Información extraída de http://postgrado.info.unlp.edu.ar/Carreras/Especializaciones/Tecnologia_Informatica_Aplicada_en_Educacion/Trabajos_Finales.html Especialista en Tecnología Informática Aplicada en Educación Un...

La Ingeniería de Software Conducida por Modelos (MDE) se ha convertido en un nuevo paradigma que propone mejorar la construcción de software a través de un proceso guiado por modelos y soportado por potentes herramien...

En el marco de una metodología básicamente cualitativa, esta tesis indaga acerca de las dificultades de estudiantes de Ingeniería en la resolución de situaciones problemáticas cuyo conjunto solución está formado p...

A mediados de la década de 1980, se inició una fructífera colaboración entre H. Porta y L. Recht, a quienes pronto se les sumó G. Corach, en la que atacaron una aproximación a la teoría de álgebras de operadores ...

El objetivo principal de nuestro trabajo es permitir, a los usuarios de aplicaciones hipermediales orientadas a objetos, formular consultas sobre la información perteneciente a los nodos y links del hipermedia, proveyen...

En esta tesis investigamos la clase de los qM3 retículos y la de los mM3−retículos o M3−retículos monádicos, que son M3−retículos dotados de un cuantificador existencial, en el primer caso, y en el segundo d...

Con el objeto de iniciarme en la tarea de realizar investiación en Matemáticas y Lógica Matemática, Aldo V. Figallo, mi pa-dre y director de este trabajo, me sugirió comenzar con el análisis de un sistema proposici...

En el cálculo proposicional intuicionista podemos considerar los símbolos de conectivos asociados a la implicación, conjunción, disyunción y negación respectivamente. Kuznetsov introdujo un símbolo de conectivo un...