Browsing Facultad de Matemática, Astronomía, Física y Computación by Type "bachelorThesis"
Now showing items 1-20 of 513
-
Un abordaje al estudio de razón y proporción en el marco de una pandemia
(2020)En el presente informe se exponen y analizan las experiencias de la práctica docente llevada a cabo durante la época de pandemia por COVID-19 y con modalidad virtual. Esta fue realizada en un tercer año de un colegio de ... -
Un abordaje de enseñanza de gráficos estadísticos en contexto de virtualidad
(2021-11)En el presente informe se enmarca todo el proceso de prácticas profesionales docentes llevado a cabo durante el ciclo lectivo 2021 en un quinto año de una institución pública de gestión estatal de la Ciudad de Córdoba, ... -
Un abordaje de enseñanza de proporcionalidad en contexto de virtualidad
(2020-12)El presente informe describe la experiencia de práctica profesional docente realizada por dos estudiantes de la Facultad de Matemática, Astronomía, Física y Computación (FAMAF), Universidad Nacional de Córdoba, en un tercer ... -
Un abordaje de la función exponencial a través de la modelización matemática en tiempos de pandemia
(2021-11)En este trabajo se reporta sobre las prácticas profesionales en un quinto año de una escuela secundaria de gestión estatal de la ciudad de Córdoba, con orientación en Ciencias Sociales. Las mismas se llevaron a cabo en ... -
Un abordaje de la función lineal a partir de la variación constante
(2022-11-24)En el presente informe se describirá y analizará nuestra experiencia en las prácticas docentes realizadas en el marco de la materia Metodología y Práctica de la Enseñanza, de la carrera de Profesorado en Matemática de la ... -
Abordaje de la integral definida en un contexto de virtualidad
(2020)En el presente informe se describen y analizan las prácticas de enseñanza realizadas por un par pedagógico del Profesorado en Matemática de FAMAF de la Universidad Nacional de Córdoba. Las mismas se llevaron a cabo en un ... -
Un abordaje del conjunto de los números racionales positivos en la virtualidad
(2020)El siguiente informe describe las prácticas virtuales realizadas en el contexto de pandemia llevadas a cabo por tres estudiantes de la Facultad de Matemática, Astronomía, Física y Computación. Las mismas se realizaron en ... -
Un abordaje exploratorio-reflexivo en el marco de la divisibilidad en el conjunto de los números naturales
(2019-11)En el presente Informe Final se describen y analizan las prácticas de enseñanza de clases de Matemática realizadas por un par-pedagógico del Profesorado en Matemática de la Facultad de Matemática, Astronomía, Física y ... -
Abstracción a Estados Esenciales en el Model Checker Probabilista PRISM
(2010-12-17)En este trabajo se presenta una adaptación al model checking simbólico de un método de reducción de estados, el cual, tiene como objetivo reducir el costo de los cálculos numéricos involucrados en el model checking ... -
Aceleración de un modelo numérico de predicción del tiempo para aplicaciones en alerta temprana a emergencias ambientales
(2018-12)Esta tesis de licenciatura aborda el problema de implementar el modelo numérico de predicción del tiempo Weather Research and Forecasting (WRF) en uno de los clústeres dedicados a computo intensivo de la UNC, Mendieta, con ... -
Acotación de ciertos operadores integrales en espacios de Lebesgue variables
(2016-03)En el presente trabajo estudiamos la acotación de ciertos operadores integrales sobre los espacios de Lebesgue variables. En el capítulo I, damos los preliminares necesarios, en el II, comparamos las distintas técnicas con ... -
Acotación de conmutadores de operadores integrales : dados por un núcleo a valores vectoriales que satisface una condición de tipo Hörmander y aplicaciones
(2015)Se sabe que el todo conmutador de una integral singular esta acotado en normas Lp(w), con w un cierto peso, por un operador maximal apropiado. Para conmutadores de orden k de integrales singulares de Calderón-Zygmund (con ... -
Acotación de operadores integrales, dados por un núcleo a valores vectoriales que satisface una condición de tipo Hörmander y aplicaciones
(2015)El principio de Calderón-Zygmund “asegura” que toda integral singular está acotada en normas Lp(w), con w un cierto peso, por un operador maximal apropiado. Para integrales singulares de Calderón-Zygmund (con núcleo ... -
Algebras de vértices libres y álgebras de Lie conformes no lineales
(2016-12)El presente trabajo constituye una revisión de la construcción del álgebra de vértices universal envolvente de un álgebra de Lie conforme. Comenzamos dando los resultados básicos relacionados con las álgebras conformes y ... -
Algoritmo de cálculo de cápsulas convexas
(2015-07)El presente trabajo se propone definir algoritmos eficientes implementados sobre placas de video para calcular el conjunto convexo que encierra a un conjunto de puntos dado. Los resultados obtenidos se analizaran mediante ... -
Un algoritmo numérico para localización de tumores
(2016)Desarrollamos un algoritmo numérico para estimar la localización y tamaño de un tumor inmerso en el tejido corporal utilizando como información perfiles de temperatura medidos sobre la superficie. Desde el punto de vista ... -
Algoritmos de tableaux para Xpath con datos
(2018-03-28)En este trabajo se presenta un cálculo correcto y completo para XPath con datos y caminos descendentes, enriquecido con nominales y operadores de satisfacción. Llamaremos HXPath = (↓) al lenguaje híbrido que resulta de ... -
Algoritmos genéticos para análisis sintáctico
(2008)Las técnicas tradicionales de análisis sintáctico definen modelos probabilísticos que permiten recorrer exhaustivamente el espacio de busqueda en tiempos razonables. En lugar de explicitamente definir un modelo y buscar ... -
Algoritmos para decidir definibilidad de fragmentos de lógica en primer orden
(2023-06-29)Dada una estructura A, decimos que un conjunto T es definible en primer orden sin cuantificadores si y solo si existe una fórmula sin cuantificadores φ tal queA ⊨φ(x) para todo x∈T, mientras que A ⊭φ(x) para todo x∈A\T. ... -
Algoritmos para decidir definibilidad de relaciones en fragmentos de primer orden
(2016-03)En este trabajo desarrollamos algoritmos para decidir definibilidad de relaciones sobre familias finitas de estructuras finitas de primer orden. Presentamos algoritmos para los siguientes tipos de fórmulas: abiertas, ...