Diferencia entre revisiones de «Temas»
De Seminario de Lógica Computacional (2018)
(Página creada con '== Temas de ''Seminario de lógica computacional (2018)'' == En esta página se irán publicando los temas conforme se vayan estudiando.') |
(→Temas de Seminario de lógica computacional (2018)) |
||
| Línea 2: | Línea 2: | ||
En esta página se irán publicando los temas conforme se vayan estudiando. | En esta página se irán publicando los temas conforme se vayan estudiando. | ||
| + | |||
| + | * [http://www.seas.upenn.edu/~cis500/current/lectures/lec01.pdf Introducción de B. Pierce a "Software foundations"]. | ||
Revisión del 21:09 21 feb 2018
Temas de Seminario de lógica computacional (2018)
En esta página se irán publicando los temas conforme se vayan estudiando.