sábado, julio 01, 2006

Exposiciones trabajos de grado en Lógica - julio 6 y 7

Los días 6 y 7 de julio van a realizarse las exposiciones de algunos trabajos de grado desarrollados por estudiantes de la Carrera de Matemáticas de la Universidad Nacional.

Generalmente, las exposiciones de los trabajos de grado se han realizado en el auditorio 202 en el edificio nuevo de Matemáticas, estaré avisando si sé de algún cambio de auditorio donde se desarrollarán las presentaciones.

En esta entrada coloco la hora de algunos trabajos hechos en lógica matemática, que pueden ser de su interés:

Julio 6:
10 a.m.: Teoría de Modelos de espacios de probabilidad.
Autor: Roberto Benavides
Director: Alexander Berenstein.

Julio 7:
9:30 a.m.: Lógica paraconsistente y algunas aplicaciones.
Autora: Verónica Morales.
Directora: Clara Helena Sánchez.

2:30 p.m.: Semánticas completas para la lógica modal S4
Autora: Martha Hernández.
Director: Fernando Zalamea.