Diferencias

Muestra las diferencias entre dos versiones de la página.

--- compiladores:main [2020/06/01 12:41] – [Contenidos de cada Clase - Año 2020] gramagli
+++ compiladores:main [2020/07/21 13:38] (actual) – [Lenguajes y Compiladores] gramagli
@@ Línea 6: / Línea 6: @@
   * Para incorporarse al grupo enviar un mail a cualquier miembro de la cátedra.
+  * IMPORTANTE: La información completa sobre la materia y los turnos de exámenes la encontrará en el aula virtual de la materia: https://www.famaf.proed.unc.edu.ar/course/view.php?id=587
@@ Línea 112: / Línea 114: @@
     * ** Semana del 26 al 29 de mayo ** Semántica denotacional para las evaluaciones eager y normal del CL. Ecuaciones semánticas. Ejemplos. Análisis de la validez de propiedades de la semántica: regla beta, eta, Teoremas de Coincidencia, renombre y sustitución.
     * ** Semana del 1 al 5 de junio ** Lenguajes aplicativos eager y normal. Fragmento básico. Sintaxis abstracta. Semántica operacional big-step: reglas para las evaluaciones eager y normal. (Los contenidos no reproducen el orden de las diapositivas: ver Diap. 4 a 11, 26 a 29 y 37 a 40)
+    * ** Semana del 8 al 12 de junio ** Semántica denotacional eager y normal del lenguaje aplicativo (fragmento básico) Diapositivas 12-25
+    * ** Semana del 16 al 19 de junio ** Semántica denotacional eager y normal de la recursión en el lenguaje aplicativo. Diapositivas 40 al final.
 /*
 ==== Contenidos de cada Clase - Año 2019 ====
@@ Línea 162: / Línea 164: @@
    - {{:compiladores:2020:7_2020.pdf| Guía del 6 de mayo}} Cálculo Lambda, sintaxis. Reducción. Formas canónicas y normales.  Evaluación Normal e eager.
    - {{:compiladores:2020:8_2020.pdf| Guía del 20 de mayo}} Semántica denotacional del Cálculo Lambda, la evaluación normal y la evaluación eager.
+   - {{:compiladores:2020:9_eval_2020.pdf| Guía del 03 de junio}} Lenguaje aplicativo. Evaluación eager y normal.
+   - {{:compiladores:2020:9_deno_2020.pdf| Guía del 10 de junio}} Lenguaje aplicativo. Semántica denotacional eager y normal.
 === Prácticos 2019 ===
-   - {{:compiladores:9_2019.pdf| Guía del 17 de mayo}} Lenguaje aplicativo. Evaluación y semántica denotacional eager y normal.
   - {{:compiladores:10_2019.pdf| Guía del 5 de junio}} Lenguaje aplicativo con referencias y asignación.