[Todos CMAT] Curso de Realizabilidad a cargo de Alexandre Miquel

[mauricio en cmat.edu.uy]

Estimados,

           Mis disculpas a quienes no les interesa, pero me decidi a  
usar el "todos" ya que queda poco tiempo para difundir esta actividad.

           Durante 4 semanas el profesor Alexandre Miquel dictara un  
curso introductorio a la Realizabilidad intuicionista y clasica. Se  
trata de una disciplina a la frontera entre la informatica teorica y  
la logica, en la cual se explora la conocida correspondencia entre  
demostraciones de logica intuicionista y programas (correspondencia de  
Curry-Howard) y diversas formas de extenderla a la logica clasica y a  
teorias matematicas complejas como el analisis.

           El curso esta dirigido a estudiantes de posgrado e  
investigadores aunque tiene pocos prerrequisitos y estos seran  
presentados brevemente mediante charlas introductorias.  Fue  
solicitado a la comision de posgrado del Pedeciba y a la maestria en  
ingenieria matematica, que se lo acepte como materia curricular,  
asignandole creditos. El tramite esta pendiente.

           Quien suscribe ofrecera 4 charlas sobre calculo lambda,  
sistemas de tipado y correspondencia de Curry-Howard, las cuales se  
dictaran los dias 10, 12, 17 y 19 de noviembre en el cmat (salas y  
horarios a confirmar). El curso propiamente dicho comienza el dia 24 y  
durara 4 semanas. Su carga horaria sera de 16 horas de teorico y 6  
horas de practico. Se evaluara mediante un trabajo final, el cual sera  
valido para la ganancia del curso y el examen final.

           Les envio el programa del curso. Un saludo cordial,

                      Mauricio GUILLERMO.

PS: Las clases del curso se dictaran en idioma ingles.

----------------------------------------------------------------
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>>

------------ próxima parte ------------
A non-text attachment was scrubbed...
Name: abstract-1.pdf
Type: application/pdf
Size: 124265 bytes
Desc: no disponible
URL: <http://www.cmat.edu.uy/pipermail/todos/attachments/20101101/39f2a875/attachment-0001.pdf>