Contact Information
| Office: | 365 |
| Phone: | ++54 351 5353701 (ext. 41365) |
| Email: | sterraf at famaf dot unc dot edu dot ar |
| C. Vitæ: | [Web Version] [PDF] |
Pedro Sánchez Terraf
Research Interests
Set Theory [Formal verification of forcing]. Applications of Descriptive Set Theory to Computer Science [Dependable Systems Group].
Universal Algebra, Varieties,
Definability.
[Universal
Algebra and Logic Research Group]
My blog
Recent Papers
Search for me in the arXiv [zbMATH] [MathSciNet] [Scopus] [Scholar] [ORCID] [dblp] [ACM Digital Library]
This section requires Javascript.
Some slides.
Published reviews.
Teaching (in Spanish)
Teoría de Conjuntos
La materia “Teoría de Conjuntos” se dictó en 2016 y
2019
y se
está dictando
en 2022. Dicté
un fragmento
de la misma en diciembre de 2018 en
la UBA.
[Web de la materia] [Apunte
de 2019] [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]
Introducción a los Algoritmos
[Mi página web de la materia]
Dos opiniones contrapuestas acerca de Programación versus Matemática: [Sarah] [Amit]
Introducción a la Lógica
[Web de la materia (2021)] [Web de la materia (2020)]
Olimpíadas Matemáticas
[Apunte de Teoría de Números]
[Entrevista (sin cortes
publicitarios) en la
revista Rumbos]
Other Interests
