[Todos CMAT] Fwd: Curso de posgrado: pruebas y programas

[Lydia Tappa]

---------- Forwarded message ---------
De: amiquel <amiquel en fing.edu.uy>
Date: jue, 4 de mar. de 2021 a la(s) 13:20
Subject: Curso de posgrado: pruebas y programas
To: <todos_imerl en fing.edu.uy>, estudiantes de grado <
listaestudiantes en cmat.edu.uy>
Cc: <amiquel en fing.edu.uy>, Lydia Tappa <lydia en cmat.edu.uy>


Estimados estudiantes,

Durante el primer semestre de 2021, dictaré un curso de posgrado sobre
la correspondencia entre pruebas y programas (dicha de Curry-Howard),
que relaciona los objetos y conceptos de la teoría de la demostración
a los objetos y conceptos de la programación funcional, mediante una
idea a la vez muy sencilla y muy fructífera, a saber que cada fórmula
matemática constituye un tipo de datos, mientras cada demostración de
dicha fórmula constituye un programa informático que realiza el tipo
de datos correspondiente.

El objetivo de este curso introductorio es plantear las bases de la
correspondencia de Curry-Howard en el marco de la lógica intuicionista
(o constructiva), a través de la presentación de varios sistemas de
tipos que capturan el contenido computacional de varias teorías
matemáticas constructivas (especialmente: las aritméticas
intuicionistas de primer y de segundo orden).

El único pre-requisito (recomendado) es haber cursado el curso de
Fundamentos de la matemática que se dictó en la Facultad de ciencias
en 2016, 2018 y 2020. Para los detalles, véase el programa adjunto.

Invito a los estudiantes interesados que contesten este correo,
indicando sus disponibilidades horarias.  Organizaré la semana que
viene una reunión virtual para finalizar los detalles de organización
con los estudiantes que me habrán contactado.

El curso empezará la semana del 15 de marzo con la modalidad virtual
(dicha modalidad podría cambiar durante el semestre en función de la
evolución de la situación sanitaria y los pedidos de los estudiantes).

-- Alexandre Miquel
------------ próxima parte ------------
Se ha borrado un adjunto en formato HTML...
URL: <http://listas.cmat.edu.uy/pipermail/todos/attachments/20210304/28a65387/attachment-0001.html>
------------ próxima parte ------------
A non-text attachment was scrubbed...
Name: programa.pdf
Type: application/pdf
Size: 112984 bytes
Desc: no disponible
URL: <http://listas.cmat.edu.uy/pipermail/todos/attachments/20210304/28a65387/attachment-0001.pdf>