• Inicio

    Docente: Eduardo Bonelli
    Cuatrimestre: 
    primero del 2012.
    Horarios
    :  
      Prácticas: Jueves, 15 a 18
      Teóricas: Jueves 18 a 21

    Aula: Sala de reuniones del segundo piso

    Correlativas: es conveniente tener conocimientos básicos de lógica formal.

     

    Novedades

    • 19/Abr: Charla de Javier Legris.
    • 29/Mar: Primera clase. 17hs. Sala de reuniones del 2do piso.
    • 24/Feb: Reunión organizativa el 16/Mar.

     

    Objetivos

     

    La Teoría de Pruebas (TdeP) es una área de la lógica matemática que estudia el concepto matemático de prueba y de demostrabilidad. El objetivo de la materia es presentar conceptos básicos de Teoría de Pruebas con énfasis en su relación con Lenguajes de Programación. El enfoque estará centrado en la correspondencia lógica/computación establecida a través de la relación proposiciones/tipos, pruebas/programas, normalización/ejecución. Ejemplos salientes son 

    • lógica proposicional intuicionista/lambda cálculo
    • lógica modal intuicionista S4/mobile computation (staged computation)
    • lógica proposicional clásica/cálculo de continuaciones (Callcc, operadores de control, dualidad call-by-value/call-by-name, abstract machines)
    • lógica de primer orden intuicionista/lambda cálculo con tipos dependientes
    • lógica lineal/lambda cálculo con recursos, etc.