Título: Pure Pattern Calculus à la de Bruijn Director: Andrés Ezequiel Viso Co-director: Alejandro Ríos Jurados:    Pablo Barenbaum (Universidad de Buenos Aires)    Hernán Melgratti (Universidad de Buenos Aires) Resumen: Es bien conocido en el estudio de lenguajes de programación que lidiar con ligadores y nombres de variables puede ocasionar conflictos como ser [...]

Título: Estudio lógico-matemático de una familia de operadores de actualización no-priorizados de bases de conocimiento Directora: M. Vanina Martinez Director adjunto: Ricardo O. Rodriguez Consejero de estudios: Daniel Acevedo Jurados: Dr. Eduardo Barrio UBA & CONICET, Buenos Aires, Argentina Dr. Ramón Pino Perez, Université Artois, Lens, Francia Dra. Renata [...]

Título: ¿Cómo ordenamos? Director: Matías Lopez-Rosenfeld Co-Director: Pablo Turjanski Jurados: Gabriela di Piazza, Ariel Salgado y Rodrigo Laje Resumen: Entre los temas iniciales que se suelen incluir en la currícula de las carreras de Ciencias de la Computación se encuentra el ordenamiento. Una de las estrategias didácticas para abordarlo [...]