Pedro Sánchez Terraf

Associate Professor at FaMAF - UNC - Argentina

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]

Research Interests

Set Theory [Formal verification of forcing]. Applications of Descriptive Set Theory to Computer Science.
[Dependible Systems Group]

Universal Algebra, Varieties, Definability.
[Universal Algebra and Logic Research Group]

My blog

Recent Papers

Search for me in the arXiv

This section requires Javascript.

Full list

Some slides.

Teaching (in Spanish)

Teoría de Conjuntos

La materia “Teoría de Conjuntos” se dictó en 2016 y nuevamente se dictará en 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]

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

[Apunte de Lógica Proposicional] [Apunte -- versión para imprimir]
[en PS]

Olimpíadas Matemáticas

[Apunte de Teoría de Números]
[Entrevista (sin cortes publicitarios) en la revista Rumbos]

Other Interests

profile for Pedro Sánchez Terraf on Stack Exchange, a network of free, community-driven Q&A sites