Pedro Sánchez Terraf

CIEM-FaMAFUniversidad Nacional de Córdoba

Algunas filminas

General

  • 40 Aniversario CIEM: “Conjunteoría en Córdoba” [PDF] [Web del evento]
  • Seminario de Alumnes: “Análisis I*” [PDF] [Video]
  • Jornada de Matemática para estudiantes de grado: Resultados de imposibilidad versus construcciones (2018) [PDF].
  • Jornada de Matemática para estudiantes de grado: Lógica como estudio de la relación de satisfacción (2017) [PDF].

Teoría de Conjuntos

Procesos de Decisión de Markov. Bisimulación para procesos probabilistas.

  • Seminario del IMAL, sobre aplicaciones de la Teoría de Conjuntos Descriptiva a Computación (2015) [PDF].
  • Seminario Dagstuhl, sobre la definibilidad descriptiva de la bisimilitud (2012) [PDF].
  • Simposio Latinoamericano de Lógica Matemática, sobre lógicas que caracterizan bisimilitud para procesos de decisión de Markov no deterministas (2012) [PDF].
  • Reunión Anual de la UMA, sobre la falla de la propiedad de Hennessy-Milner para LMP (2010) [PDF].
  • Reunión Anual de la UMA (2009) [PDF].

Álgebra Universal

  • Simposio Latinoamericano de Lógica Matemática, sobre las bisimulaciones de un marco finito lineal (2014) [PDF].
  • Seminario de Álgebra Universal de TU-Dresden, sobre factorización única de álgebras y temas relacionados (2012) [PDF].
  • Defensa de tesis “Congruencias Factor Definibles” (2007) [PDF].