Información de Contacto
Oficina: | 365 |
Teléfono: | ++54 351 5353701 (int. 41365) |
Email: | sterraf arroba famaf punto unc punto edu punto ar |
C. Vitæ: | [Versión Web] [PDF] |
Oficina: | 365 |
Teléfono: | ++54 351 5353701 (int. 41365) |
Email: | sterraf arroba famaf punto unc punto edu punto ar |
C. Vitæ: | [Versión Web] [PDF] |
Teoría de Conjuntos [Verificación formal de forcing]. Aplicaciones de Teoría de Conjuntos Descriptiva a Ciencias de la Computación.
Álgebra Universal, Variedades,
Definibilidad.
[Grupo de
Álgebra Universal y Lógica]
Buscáme en arXiv [Scopus] [Scholar] [ORCID]
Algunas presentaciones.
La materia “Teoría de Conjuntos” se dictó en 2016 y
2019. Dicté
un fragmento
de la misma en diciembre de 2018 en
la UBA.
[Programa 2019] [Apunte preliminar] [Otras
lecturas recomendadas (en mi blog)]
La materia “Teoría de Conjuntos Descriptiva y
Aplicaciones” es una
versión mucho más “concreta” que trata sobre la
complejidad de subconjuntos en espacios métricos
completos. Está basada en
el libro
de Kechris y se dictó en 2009 y 2015.
[Notas de algunos temas]
[Mi página web de la materia]
Dos opiniones contrapuestas acerca de Programación versus Matemática: [Sarah] [Amit]
[Mi página web de la materia (2020)]
[Apunte de Teoría de Números]
[Entrevista (sin cortes
publicitarios) en la
revista Rumbos]
¡Nuevo! descriptive-set-theory