|
Hora
|
Lunes 7
|
Martes 8
|
Miercoles 9
|
|
8:30-9:50
|
Desayuno
|
Desayuno
|
Desayuno
|
|
9:50-10:00
|
Inauguración
|
Desayuno
|
Desayuno
|
|
10:00-11:00
|
Matemática Computable
Por Dr. Antonio Montalban
|
Matemática Computable
Por Dr. Antonio Montalban
|
Matemática Computable
Por Dr. Antonio Montalban
|
|
11:00-11:50
|
Un vistazo a las matemáticas formalizadas
Por Dr. Favio Miranda Perea
|
Por Dr. Fidel Casarrubias
|
Algoritmos de Búsquedas por Similitud
Por Dra. Karina Figueroa Mora
|
|
11:50-12:10
|
CaféCaféCafé |
|
|
|
12:10-12:35
|
|
El algoritmo DPLL en Coq
Fernando Abigail Galicia Mendoza
|
Árboles y Líneas de Suslin
|
|
|
Teorema de Los para lenguajes infinitarios
|
Algunos resultados sobre normalidad de espacios de funciones continuas sobre $Psi$-espacios
Roberto Lara Sarmiento
|
|
La Teoria de Ramsey y los espacios de Banach
Por M. en C. Eduardo Abdón Calderón
|
|
12:35-13:00
|
|
La problemática correctud del Teorema de la Deducción para la Lógica Modal
Estefania Prieto Larios
|
Líneas de Countryman y su relación con las bases para la clase de los órdenes totales no contables
Naim Nuñez Morales
|
|
|
Una semántica sobre conjuntos no bien fundados para la familia de lógicas para la revisión de creencias
Cecilia Chávez Aguilera
|
Open Coloring Axiom
|
José Antonio Corona García
|
|
|
La Teoria de Ramsey y los espacios de Banach
Por M. en C. Eduardo Abdón Calderón
|
|
13:00-14:00
|
Una introducción a los submodelos elementales de la teoría de conjuntos
Por M. en C. Osvaldo Guzmán González
|
Una introducción a los submodelos elementales de la teoría de conjuntos
Por M. en C. Osvaldo Guzmán González
|
Una introducción a los submodelos elementales de la teoría de conjuntos
Por M. en C. Osvaldo Guzmán González
|
|
14:00-16:00
|
Comida
|
Comida |
Comida de clausura |
|
16:00-16:25
|
|
URM, un modelo equivalente a las Máquinas de Turing
Jorge Santiago Alvarez Cuadros
|
Ultrafiltros de Ramsey
Arturo Antonio Martínez Celis Rodríguez
|
|
|
Algunas definiciones de finitud
| Alejandra Osiris Romero Juárez |
|
Algunas propiedades cubrientes y familias casi-ajenas
Javier Casas de la Rosa
|
|
|
|
16:25-16:50
|
|
Lógicas conexivas mediante debilitación semántica
Elisángela Ramírez Cámara
|
Técnicas no estándar en la Teoría de Punto Fijo
Juan Rafael Acosta Portilla
|
|
|
Introducción a los espacios de Ramsey
|
Productos caja y la clase de los espacios discretamente generados
Hector Alonso Barriga Acosta
|
|
|
|
16:50-17:10
|
Café
|
Café
|
|
|
17:10-18:00
|
Algunas implicaciones filosóficas de las limitaciones de teorías de conjuntos ingenuas basadas en lógicas no clásicas
Por Dr. Luis Estrada González
|
Familias casi ajenas
Por Dr. Osvaldo Téllez Nieto
|
|
|
18:00-18:25
|
|
¿Qué es la lógica modal intuicionista?
Miguel Pérez Gaspar
|
Familias Independientes y algunas consecuencias
Estefanía del Carmen Riviello Rodríguez
|
|
|
La Guerra de los Mundos Aritméticos
Norberto Javier Rivas González
|
K-clausura y submodelos elementales
Armando Romero
|
|
|
