Listar JA - Trabajos Dirigidos de Matemáticas por título
Mostrando ítems 16-20 de 20
-
Una semántica formal para Apache Spark en lógica de reescritura
(Escuela Colombiana de Ingeniería Julio GaravitoMatemáticas, 2018)This document presents an executable semantics for Apache Spark in rewrite logic. Apache Spark is a work environment open source designed for data processing that provides an application programming interface for the ... -
Sobre la clasificación de transformaciones ergódicas
(Escuela Colombiana de Ingeniería Julio GaravitoMatemáticas, 2013)Este documento es la recopilación de varios resultados que permiten presentar una noción de lo problemas de clasificación en Teoría Ergódica. Tuvo como motivación los cursos de Sistemas Dinámicos y Teoría de la Medida ... -
Sobre la cohomología de De Rham
(Escuela Colombiana de Ingeniería Julio GaravitoMatemáticas, 2016)En este documento se presenta la construcción detallada de la cohomología de De Rham junto con algunas de sus propiedades y aplicaciones más importantes utilizadas en todo el campo de la topología diferencial. Todo esto, ... -
Sobre la función Zeta de Riemann
(Escuela Colombiana de Ingeniería Julio GaravitoMatemáticas, 2019)En este trabajo se presenta la construcción de la función zeta de Riemman, propiedades y otros resultados; a partir de herramientas de la variable compleja y el análisis. Hay que resaltar que esta no es la única manera de ... -
Sobre la teoría de Galois infinita
(Escuela Colombiana de IngenieríaBogotáMatemáticas, 2024)Este trabajo se centra en la construcción del teorema de la correspondencia de Galois para extensiones de cuerpos infinitos. Para lograr este objetivo, se recurre a una variedad de conceptos matemáticos de distintas áreas. ...