Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | Next revisionBoth sides next revision | ||
| teaching:cc7110:2023:presentaciones [2023/11/21 12:57] – [Lenguajes Específicos y sus formalizaciones] smalewski | teaching:cc7110:2023:presentaciones [2023/12/01 09:06] – [CC7110 - Presentaciones finales] smalewski | ||
|---|---|---|---|
| Line 8: | Line 8: | ||
| ===Presentaciones=== | ===Presentaciones=== | ||
| * Cada presentación es individual | * Cada presentación es individual | ||
| - | * Las presentaciones deben durar 15 minutos | + | * Las presentaciones deben durar al rededor de 15 minutos |
| - introducción (3 min) | - introducción (3 min) | ||
| - motivación (5 min): Demostración de la utilidad del sistema/ | - motivación (5 min): Demostración de la utilidad del sistema/ | ||
| Line 15: | Line 15: | ||
| ===Evaluación=== | ===Evaluación=== | ||
| - | * se considerará su presentación (50%), manejo de las preguntas (25%), y su participación general en el workshop (25%) | + | * Se considerará su presentación (50%), manejo de las preguntas (25%), y su participación general en el workshop (25%) |
| + | * Deben demostrar que son capaces de leer, entender, explicar y presentar sobre sistemas formales, por lo que no se aceptarán presentaciones que no incluyan reglas de tipado o reducción. | ||
| ---- | ---- | ||