miércoles, julio 12, 2006

Notas habilitación

Las notas de la habilitación están publicadas en la puerta de la oficina 205 edificio 405, y también en la cartelera que está al frente del salón 203 del edificio 404 (edif. viejo de matemáticas).

martes, julio 04, 2006

Cambio horario exposiciones Trabajos de Grado Carrera de Matemáticas

Julio 6:

HORA: 9:30 AM
ESTUDIANTE: Benavides Vega Roberto Carlos
DIRECTOR: Alexander Berenstein O.
TITULO: Teoría de Modelos de Espacios de Probabilidad

Julio 7:

HORA: 9:30 AM
ESTUDIANTE: Verónica Isabel Morales
DIRECTOR: Clara Helena Sánchez
TITULO: Lógica paraconsistente y algunas aplicaciones

HORA: 2:30 PM
ESTUDIANTE: Hernández Mora Martha Soledad
DIRECTOR: Fernando Zalamea Traba
TITULO: Semánticas completas para la lógica modal S4

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.

martes, junio 20, 2006

Bono 4 para el parcial 3

Un nuevo bono se encuentra disponible desde esta tarde, como ayuda para el parcial 3.

Esta ayuda será recogida este viernes 23 de junio en el horario de clase y a lo sumo tendrá un valor de 0.5 puntos adicionales en dicho parcial.

jueves, junio 15, 2006

Talleres 6 y 7 disponibles.

Ya se encuentran disponibles en la página del curso el taller 6 y el taller 7. Recuerden que el taller 6 es para entregar de manera individual este miércoles 21 de junio, mientras que el taller 7 no es para recoger, pero sí es bueno que lo miren pues podría ser de mucha ayuda para el parcial.

jueves, mayo 25, 2006

Solucionario segundo parcial

Estimados estudiantes:
Debido al cierre de la universidad en esta época preelectoral, desafortunadamente vamos a perder la clase de mañana viernes. En esta clase, pretendía hablar sobre una posible solución del parcial que tuvimos el día de ayer. Por esta razón y para "recuperar" esta clase, elaboré un documento con una posible solución del segundo parcial. Este puede ser descargado desde la página del curso

http://matematicas.unal.edu.co/~pzambrano/log2_2006/solparcial2.pdf

Entonces el miércoles iniciamos tema nuevo (Cálculo de Predicados de Primer Orden clásico), si tienen dudas sobre la solución del parcial pueden consultarme vía email, comentarios por medio del blog o de la página, antes o después de clase o en el horario de atención de estudiantes (Mc 9-10).

sábado, mayo 20, 2006

Ejercicios para estudiar: taller de monitoría 2

He preparado un segundo taller de monitoría con tres ejercicios que pueden ser de utilidad para fortalecer (o confirmar) las habilidades que serán evaluadas en el próximo parcial. Aunque la presentación de este taller --como en el caso del anterior taller de monitoría-- no es obligatoria, es a todas luces recomendable que lo presenten.

El taller lo pueden encontrar aquí:

http://www.geocities.com/javierguillot/tallermon2.pdf

Más tarde también estará disponible en la página del curso. El lunes lo dejo en la fotocopiadora junto a filosofía. La idea es que el taller lo entreguen el día del parcial, antes de comenzar (si no, no tendría mucho sentido como taller de preparación).

Recuerden que si tienen cualquier duda pueden expresarla a través de los comentarios en este blog (¡hasta hoy, sólo se ha comentado una vez!), o pueden enviarla por correo electrónico al profesor o a mí.

Nos vemos el lunes puntualmente para la clase. Ese día también habrá horario de atención desde las 11:00 hasta la 13:00, como todos los lunes.