[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