Now showing items 1-4 of 4

Ad-compacidad

Pinzón Henao, Carlos Antonio (Escuela Colombiana de Ingeniería Julio GaravitoMatemáticas, 2017)

En este trabajo de grado presentamos una noción débil de compacidad en espa- cios topológicos, llamada ad-compacidad, y exponemos algunas de sus propieda- des.
Especificación formal y verificación de invariantes para un protocolo de coherencia del caché

Ramirez Rico, Sergio Steven (Escuela Colombiana de Ingeniería Julio GaravitoMatemáticas, 2015)

This document presents a case study in the specification and verification of invariants of a cache coherence protocol. This protocol is based on the ESI coordination technique based on exclusive or shared access to a ...
La función zeta de Riemann y su relación con otras funciones aritméticas

Castañeda García, Andrés Diego (Escuela Colombian de IngenieríaColombiaMatemáticas, 2023)

En este texto se estudiará la relación que tiene la función zeta de Riemann con funciones aritméticas, para esto se usarán herramientas de la teoría de cuerpos, análisis complejos y teoría de números. La primera parte ...
Resultados relacionados con la función zeta de Riemann

Castañeda García, Andrés Diego (Matemáticas, 2023-06-14)

En este texto se estudiará el comportamiento de los ceros no triviales de la función zeta de Riemann. En la primera parte del documento se presentan algunos resultados preliminares de variable compleja y análisis que ...

Envíos recientes

Ad-compacidad
...
Pinzón Henao, Carlos Antonio | 2017

En este trabajo de grado presentamos una noción débil de compacidad en espa- cios topológicos, llamada ad-compacidad, y exponemos algunas de sus propieda- des.

LEER
Especificación formal y verificación de invariantes para un protocolo de coherencia del caché
...
Ramirez Rico, Sergio Steven | 2015

This document presents a case study in the specification and verification of invariants of a cache coherence protocol. This protocol is based on the ESI coordination technique based on exclusive or shared access to a resource. Invariant verification uses algorithmic and deductive analysis, and Maude is used as the specification language and verification system.

LEER
La función zeta de Riemann y su relación con otras funciones aritméticas
...
Castañeda García, Andrés Diego | 2023

En este texto se estudiará la relación que tiene la función zeta de Riemann con funciones aritméticas, para esto se usarán herramientas de la teoría de cuerpos, análisis complejos y teoría de números. La primera parte del documento se centra en explicar la estructura de un espacio de probabibilidad algebraico, sus propiedades, ejemplos y como relacionar dos de estos espacios. Con lo anterior será posible encontrar un ⋆-homomor smo entre el espacio de las funciones aritméticas y el espacio de las series de Dirichlet, como la función zeta de Riemann está de nida inicialmente como una serie de Dirichlet en el semiplano ℜ(s) > 1 esto nos permitirá asociar a la función zeta con la función aritmética u. En la última parte del documento se presentan ,en primera instancia, resultados conocidos; pero su deducción será realizada desde el enfoque de los espacios de probabibilidad algebraicos. Luego de esto se trabajará con funciones aritméticas no convencionales lo cual permite encontrar nuevas expresiones e igualdades que involucran a la función zeta.

LEER
Resultados relacionados con la función zeta de Riemann
...
Castañeda García, Andrés Diego | 2023-06-14

En este texto se estudiará el comportamiento de los ceros no triviales de la función zeta de Riemann. En la primera parte del documento se presentan algunos resultados preliminares de variable compleja y análisis que serán útiles en la parte principal del trabajo. Luego de esto, se comienza por dar la de nición de la función zeta como suma de Dirichlet para luego mostrar sus extensiones analíticas en el plano complejo, en esta parte algunos resultados generales sobre la función zeta serán solamente mencionados, ya que se da por hecho que el lector conoce y domina estos temas. Entre los resultados más in uyentes de esta sección se encuentran los relacionados con la función theta de Jacobi y la función de von Mangoldt. En la última parte del documento se presentan demostraciones detalladas de la fórmula de Riemann - von Mangoldt y el teorema de Hardy, los cuales corroboran la existencia de in nitos ceros no triviales en la banda crítica, que es donde se plantea la hipótesis de Riemann

LEER