Diferencias

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

--- compiladores:main [2020/05/20 09:03] – [Prácticos] gramagli
+++ compiladores:main [2025/11/15 13:47] (actual) – editor externo 127.0.0.1
@@ 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 110: / Línea 112: @@
     * ** Semana del 11 al 15 de mayo ** Noción de evaluación. Evaluación normal e eager. Reglas axiomáticas.
     * ** Semana del 18 al 22 de mayo ** Semántica denotacional del CL: el dominio D infinito. Ecuaciones semánticas. Propiedades de la semántica: reglas beta y eta, Teorema de Coincidenia, Sustitución y Renombre. Ejemplos.
+    * ** 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 159: / Línea 163: @@
    - {{:compiladores:2020:6_2020.pdf| Guía del 17 de abril}} Productos y uniones disjuntas de predominios. Dominios recursivos. Output e Input.
    - {{: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:8.pdf |Guía del 20 de mayo}} Cálculo Lambda, semántica denotacional D infinito, eager y norma.
+   - {{: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:8_2019.pdf| Guía del 15 de mayo}} Semántica denotacional del Cálculo Lambda, la evaluación normal y la evaluación eager.
-   - {{: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.