3000

Asistencia y participación activa en un seminario regular del Departamento.

Anillos, dominios de integridad, campos. Extensiones algebraicas y trascendentes. Dominios de factorización única y dominios euclidianos. Automorfismos de campo, teoría de Galois y solubilidad de ecuaciones.

Aprender el uso de métodos algebraicos (valores propios, acciones de grupos, cuerpos finitos) para resolver problemas fundamentales y aplicables en la combinatoria.
Conteo de caminos y árboles generadores en grafos, la transformada de Radon, caminos aleatorios, conteo bajo acciones de grupos, diagramas y tableaux de Young, y la propiedad de Sperner. Las aplicaciones de estos temas incluyen la topología, la teoría de redes eléctricos y la teoría de representaciones.

Este curso es una introducción con énfasis matemático a la lógica. El contenido mínimo del curso incluye el estudio del cálculo de proposiciones y de predicados: simbolización, sintaxis, semántica, deducción formal, teoremas de validez y completitud para estos cálculos. Se da una introducción a calculabilidad: funciones recursivas, funciones Turing-calculables, equivalencia entre ellas. Se estudian algunas relaciones entre calculabilidad y propiedades formales de los cálculos lógicos estudiados.

La siguiente lista contiene más temas de los que se podrán cubrir en un semestre. El programa se adaptará a los intereses y formación previa del grupo de estudiantes.

0. Cálculo de predicados. (Supondremos conocimiento previo de los conceptos y resultados básicos del cálculo de predicados de esta sección, aunque se podría incluir un rápido repaso). Lenguajes de primer orden. Fórmulas, sentencias. Estructuras. Subestructuras de una estructura, inmersion de una estructura en otra, isomorfismo. Verdad en una estructura, validez lógica. Sistemas deductivos. Un sistema axiomático para la lógica de primer orden. El teorema de Completitud, el teorema de compacidad.                           1.Computabilidad e incompletitud. Nociones básicas de computabilidad. Máquinas de Turing. El problema de la parada. Funciones primitivas recursivas, funciones recursivas. Conjuntos recursivamente enumerables, conjuntos recursivos. Aritmética de Peano. Aritmetización del lenguaje, números de Godel. Representabilidad de relaciones y funciones recursivas. El teorema de incompletitud de Godel.

2. Nociones de teoría de modelos. Equivalencia elemental de estructuras. Subestructuras elementales. Teorema de Lowenheim Skolem. Apectos de categoricidad. Ejemplos Tipos. Realización de tipos y omisión de tipos.Modelos saturados. Modelos atómicos. Modelos numerables de teorías completas. Teoría de Fräissé. Ultraproductos y ultrapotencias.

3. Teoría Axiomática de Conjuntos. Axiomas de Zermelo Fraenkel. Propiedades básicas de los conjuntos bien ordenados. Inducción transfinita y definiciones por recursión. Ordinales. Aritmética de ordinales. El axioma de elección y algunos enunciados equivalentes. Cardinales y una introducción a la aritmética de cardinales. Cofinalidad, cardinales regulares, cardinales inaccesibles. Conjuntos cerrados no acotados y conjuntos estacionarios.

Las lógicas modales son una herramienta muy útil de modelaje y análisis en disciplinas tan diversas como computación, filosofía y lingüística. Desde el punto de vista matemático, el estudio de éstas lógicas ofrece una gama variada de resultados teóricos interesantes y métodos de demostración. En este curso el estudiante obtendrá los fundamentos básicos para profundizar en el estudio de la teoría de lógicas modales, a partir de la perspectiva de la semántica relacional de estas lógicas en el caso proposicional. Estos fundamentos incluyen técnicas básicas de demostración, varios teoremas de correspondencia, resultados sobre decibilidad y ejemplos de aplicaciones a otras disciplinas.

Este curso está dirigido a estudiantes de matemáticas y estudiantes de otras ciencias que quieran usar la teoría de grupos en su carrera. Profundizaremos y extenderemos las ideas y construcciones que aparecen en el curso Álgebra Abstracta I para estudiar grupos de permutaciones y sus aplicaciones en la combinatoria y en la teoría de representaciones. Construcciones y estructura del grupo de permutaciones S_n y sus subgrupos, órbitas y estabilizadores, transitividad y k-transitividad, productos semidirectos y productos de corona, grupos primitivos y imprimitivos, permutaciones de conjuntos infinitos, y representaciones y caracteres de S_n.

El curso tiene como propósito la presentación teórica de las ecuaciones básicas da la Física Matemática tales como las ecuaciones de Laplace y Poisson, las ecuaciones de transmisión de calor y de onda, los sistemas de ecuaciones en derivadas parciales de tipo Navier-Stokes y similares. Una de las características del curso es la deducción detallada de todos los resultados con demostraciones. El curso tiene un énfasis teórico y es orientado principalmente a los estudiantes de las carreras Matemática y Física, aunque también puede ser útil para los estudiantes de Ingeniería que están interesados en una avanzada base teórica.

La geometría Riemanniana ha sido una de las áreas más importantes de las matematicas desde su inicio, en el siglo XIX, y sus aplicaciones en física teórica (en relatividad general, en particular) revolucionaron nuestra concepción del mundo. El curso que se presenta a continuación tiene como objetivo introducir las ideas fundamentales y las herramientas básicas de la geometría Riemanniana, presentando al mismo tiempo los resultados más importantes en el área y algunas de sus aplicaciones (clásicas y recientes) en el estudio de la topología de variedades diferenciales.

Introducción a las variedades: Topología general. Variedades topológicas. Funciones de varias variables: Diferenciabilidad de funciones de varias variables. Diferenciabilidad de funciones de R^n en R^m. Espacio de vectores tangentes a un punto en R^n. Otra definición de Ta (R^n). Campos vectoriales de subconjuntos abiertos de R^n. El Teorema de la Función Inversa. El Rango de una función. Variedades diferenciables y subvariedades: Definición de variedad diferenciable. Funciones diferenciables entre variedades. Rango de una función. Inmersiones. Subvariedades. Campos vectoriales en una variedad: El espacio tangente en un punto a una variedad. Campos vectoriales. Tensores y campos tensoriales en variedades: Covectores tangentes. Formas bilineales. Campos tensoriales. Multiplicación de tensores. Derivada exterior. Integración en variedades. Integración en variedades. Variedades con borde. El Teorema de Stokes.

La topología es la rama de las matemáticas dedicada al estudio de las propiedades de los cuerpos geométricos que permanecen inalteradas por deformaciones continuas. La disciplina origina como una formalización y generalización de conceptos, tales como límite y transformación continua que aparecen en análisis y en geometría. En el curso se da una presentación básica a los conceptos de esta disciplina.

El alumno será capaz de manejar los principales modelos de la teoría moderna de procesos estocásticos y sus aplicaciones. Cadenas de Markov: Definiciones y ejemplos. Construcción y propiedades.  Clasificación de estados y de cadenas. Cadenas de Markov contables.  Teoremas del Límite. Distribución estacionaria. Cadenas de Markov finitas. Procesos de Renovación:   Ecuación de Renovación. Leyes de números grandes. Edad y vida residual. Procesos puntuales: Generalizaciones de los procesos de Poisson. Proceso no homogéneo. Procesos Compuestos de Poisson. Cadenas de Markov en tiempo continuo: Introducción. Estabilidad. La Propiedad de Markov. Ecuaciones “backward” y matriz generadora. Método de Trnsformada de Laplace. Redes de Colas.

Métodos de estimación: puntual por intervalos de confianza. Métodos de los momentos, mínimos cuadrados, máxima verosimilitud. Teoría de optimalidad: Criterios de estimación, UMVU, la información. Estimadores consistentes, distribución asintótica, estimadores eficientes, insesgasdos. Intervalos de confianza y Pruebas de hipótesis. Lema de Neyman- Pearson. Razón de verosimilitud. Pruebas de ajuste, tablas de contingencia. Modelos lineales, Teorema de Gauss- Markov, Pruebas en modelos lineales.

El curso tiene dos objetivos principales: Por una parte familiarizar al estudiante con las ideas  básicas de la geometría convexa y las clases principales de conjuntos convexos importantes en optimización: politopos, conos cuadráticos y espectrahedros. Por otra parte el curso quiere enseñar al estudiante a modelar y resolver problemas concretos de optimización   (principalmente provenientes de finanzas, estadística, ingeniería y matemáticas puras) mediante el uso de computadores (específicamente, aprenderán a usar el lenguaje AMPL que permite resolver problemas a gran escala en la nube).

Este curso busca formalizar el pensamiento estratégico  para la toma de decisiones en problemas que involucran interacciones entre agentes. Está dirigido a estudiantes que no sólo valoran el rigor formal en la formulación y análisis de los problemas, sino que también están interesados en la relación entre teoría y las aplicaciones. En el curso se desarrollan los conceptos relacionados con los juegos no cooperativos, cooperativos y evolutivos. Se analizan formalmente las ideas de racionalidad y equilibrio en juegos de diferente naturaleza, teniendo en cuenta la presencia de incertidumbre y utilizando diferentes métodos de solución. Se estudian aplicaciones en economía, finanzas, elección social, biología, ingeniería y redes, entre otras disciplinas.

Entrenamiento en metodología de la enseñanza. Prácticas de micro-enseñanza sobre manejo de preguntas, uso de tablero y sesión de diagnóstico. Instrucciones previas a cada clase, observaciones sobre su desarrollo, elaboración de exámenes. El estudiante dicta una sección de problemas de una magistral bajo la dirección de un profesor del Departamento.

Instrucciones para dictar clase, lectura y discusión de artículos en Educación Matemática elaboración de exámenes, observaciones. El estudiante dicta un curso bajo la dirección de un profesor del Departamento.

Elaboración de un trabajo escrito en un área específica de las matemáticas, en el cual se demuestre capacidad para la investigación y para la exposición de un tema con todos los requisitos de claridad, corrección y estilo apropiado.

En el curso se explica la metodología para encontrar temas de investigación en el área de las Matemáticas.

En este curso los estudiantes asisten al Coloquio de nuestro departamento para poder de esta forma conocer temas avanzados de investigación que podrían ser el objeto de un proyecto de grado. Al final del curso los estudiantes tienen que escoger un tema de proyecto de grado y escribir una propuesta de trabajo aprobada por un profesor de planta del departamento. El Coloquio puede ser reemplazado por la asistencia y participación activa en un seminario regular del Departamento.

 

Este curso lo deben inscribir los estudiantes de pregrado que planean recibir su grado el semestre siguiente.