[Todos CMAT] charla de Realizabildad

mauricio en cmat.edu.uy mauricio en cmat.edu.uy
Mar Nov 23 16:44:28 UYST 2010


Estimados,

         Como ya informe, se hara en el cmat un curso intensivo de  
Realizabilidad Clasica e Intuicionista a cargo del Prof. Alexandre  
Miquel. El dia de ma~nana a las 16 horas en el cmat (seminarios, piso  
14), el prof. Miquel dara una charla introductoria para explicar de  
que se trata el tema y el curso, haciendo enfasis en los desarrollos  
recientes y sus consecuencias para la informatica teorica. La  
Realizabilidad es un tema a la frontera entre logica e informatica, el  
cual tiene como cometido estudiar la correspondencia entre pruebas  
matematicas y programas.

          Estan todos cordialmente invitados,


                                   Mauricio.

----------------------------------------------------------------
Centro de Matematica - www.cmat.edu.uy
Facultad de Ciencias - www.fcien.edu.uy
Universidad de la Republica - www.universidad.edu.uy

<<This message was sent using IMP, the Internet Messaging Program>>




Más información sobre la lista de distribución Todos