BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Departamento de Computación - ECPv6.15.18//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
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:20260416T100000
DTEND;TZID=America/Sao_Paulo:20260416T110000
DTSTAMP:20260421T140440
CREATED:20260410T121425Z
LAST-MODIFIED:20260415T143749Z
UID:10569-1776333600-1776337200@www.dc.uba.ar
SUMMARY:Defensa Tesis Licenciatura Numa Grinberg
DESCRIPTION:Tìtulo: «Propiedades lógicas de estructuras aleatorias» \nDirector: Sergio Abriola\n\nJurados: Inés Armendariz y Santiago Figueira\n\nResumen:\nLa ley 0-1 de Fagin establece que\, para toda propiedad P expresable en la lógica de primer orden de grafos\, la probabilidad de que un grafo aleatorio cumpla P tiende a 0 o a 1. En este trabajo exploraremos variaciones y generalizaciones del anterior resultado\, con énfasis en versiones efectivas\, es decir\, con cotas en la velocidad de convergencia y la complejidad del problema de decisión asociado.
URL:https://www.dc.uba.ar/event/defensa-tesis-licenciatura-numa-grinberg/
LOCATION:Aula 1113
CATEGORIES:Agenda
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=America/Sao_Paulo:20260430T100000
DTEND;TZID=America/Sao_Paulo:20260430T110000
DTSTAMP:20260421T140440
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