BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Departamento de Computación - ECPv6.15.18//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Departamento de Computación
X-ORIGINAL-URL:https://www.dc.uba.ar
X-WR-CALDESC:Eventos para Departamento de Computación
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:America/Sao_Paulo
BEGIN:STANDARD
TZOFFSETFROM:-0300
TZOFFSETTO:-0300
TZNAME:-03
DTSTART:20250101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20260430T100000
DTEND;TZID=America/Sao_Paulo:20260430T110000
DTSTAMP:20260423T031855
CREATED:20260421T132442Z
LAST-MODIFIED:20260421T132442Z
UID:10580-1777543200-1777546800@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Julia Zanette
DESCRIPTION:Título: «Demostraciones de una proposición como puntos fijos de un operador idempotente»\nDirector: Dr. Pablo Barenbaum\nJurado:\n– Dr. Santiago Figueira\n– Dr. Alejandro Petrovich \nResumen:\nEn este trabajo exploramos una idea de Dana Scott\, de acuerdo con la cual es posible interpretar a cada proposición lógica como un operador idempotente y a cada demostracion como un punto fijo del correspondiente operador. Usamos una extensión del cálculo-lambda sin tipos como lenguaje para expresar a los operadores y a sus argumentos. Estudiamos esta interpretación primero en el marco de la lógica minimal: demostramos que es correcta e identificamos restricciones adicionales para que resulte ser completa. Extendemos además los resultados al marco de la lógica intuicionista de segundo orden.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-julia-zanette/
LOCATION:Aula 1208
CATEGORIES:Agenda
END:VEVENT
END:VCALENDAR