Archivo de Agosto 2006|Página de archivo por mes
Seminario de Filosofía de las Matemáticas
Dejar un comentarioEste semestre, Fernando Zalamea está llevando a cabo un Seminario de Filosofía de las Matemáticas realmente excelente. En el blog SemFilMat hay mucha información útil (enlaces a sitios relevantes y a trabajos que usan en el seminario). MUY recomendado.
Temas de tarea, etc.
Dejar un comentarioHay varias tareas: por un lado, los ejercicios 1.16 (p. 7) y 1.27(a) (p. 9) para entregar hoy jueves. Adicionalmente, en los temas que siguen de aquí al parcial (el parcial es el jueves 7 de septiembre; es un parcial de 50 minutos en clase) esperaré que expongan ustedes mismos el siguiente material del libro:
2.11, 2.12, 3.10, 4.5, 4.7, 4.11, 4.12 y 4.15. Todo ese material lo veremos en las próximas dos semanas – llegaremos hasta la página 25 para el parcial. Parte del material será cubierta en clase (explicaciones mías o exposiciones) y parte debe ser cubierto por usted para el parcial.
Todo el mundo debe exponer varias veces durante el curso. No asigno exposiciones – ustedes mismos deben pasar como voluntarios. Al final de la primera mitad del semestre, parte de su nota de parcial (por lo menos el 30% de los parciales) incluirá la nota de exposiciones.
El curso
Dejar un comentarioEsta vez el curso será dado por dos profesores: Andrés Villaveces (hasta el 10 de octubre) y Alexander Berenstein (desde el 12 de octubre). La razón es sencillamente que otro curso (Tópicos Avanzados de Lógica) será dado por esos mismos profesores, junto con un módulo por Alf Onshuus (UniAndes).
El libro a seguir son (principalmente) las notas de clase de Ward Henson. De vez en cuando usaremos material adicional.
Otros libros útiles (sobre todo para ejercicios – el libro de clase tiene pocos ejercicios) incluyen
- Model Theory: An Introduction, de David Marker.
- Model Theory, de Chang y Keisler.
- A short Model Theory, de Wilfred Hodges.
- A course in Model Theory, de Rami Grossberg (notas en archivo pdf – hablar con Andrés Villaveces).
El curso tendrá cuatro exámenes (dos por A. Villaveces y dos por A. Berenstein). Los valores serán anunciados más adelante.
