Novedades | FING

Mostrando 100 de 150 discusiones
Debate	Comenzado por	Último mensaje	Réplicas
Práctico 3 y cierre de la primera mitad del curso/taller	Carlos Luna 13 abr 2024	Carlos Luna 23 abr 2024	2
Habilitados en el curso según Bedelía	Carlos Luna 9 abr 2024	Carlos Luna 9 abr 2024	0
Tema 2 y práctico 2	Carlos Luna 1 abr 2024	Carlos Luna 1 abr 2024	0
Semana del 18 de marzo y próximas actividades	Carlos Luna 16 mar 2024	Carlos Luna 16 mar 2024	0
zoom de la clase	Carlos Luna 12 mar 2024	Carlos Luna 12 mar 2024	0
Resumen de la primera reunión del curso (5/3)	Carlos Luna 5 mar 2024	Carlos Luna 5 mar 2024	0
Posibles temas de investigación y para proyectos de grado o tesinas	Carlos Luna 19 dic 2023	Carlos Luna 19 dic 2023	0
Resultados finales de curso - edición 2023	Carlos Luna 19 dic 2023	Carlos Luna 19 dic 2023	0
Novedades	Carlos Luna 27 nov 2023	Carlos Luna 18 dic 2023	3
Encuesta de opinión estudiantil del curso y sus docentes	Carlos Luna 26 oct 2023	Carlos Luna 18 dic 2023	2
Novedades del 14 de noviembre	Carlos Luna 14 nov 2023	Carlos Luna 14 nov 2023	0
Cronograma de las últimas semanas del curso y PARCIAL	Carlos Luna 1 nov 2023	Carlos Luna 13 nov 2023	1
Sobre el práctico 6 y Coq	Carlos Luna 2 nov 2023	Carlos Luna 2 nov 2023	0
Manual de Coq en PDF	Carlos Luna 31 oct 2023	Carlos Luna 31 oct 2023	0
Próximas actividades del curso	Carlos Luna 21 oct 2023	Carlos Luna 21 oct 2023	0
Próximas actividades del curso y PRIMER PARCIAL	Carlos Luna 10 sept 2023	Carlos Luna 4 oct 2023	2
Semana del 4 de Setiembre	Carlos Luna 3 sept 2023	Carlos Luna 3 sept 2023	0
Mañana 29/8 hay clases a la hora 18	Carlos Luna 28 ago 2023	Carlos Luna 28 ago 2023	0
Novedades sobre los dos primeros temas (prácticos)	Carlos Luna 18 ago 2023	Carlos Luna 18 ago 2023	0
Primera semana de clases...	Carlos Luna 9 ago 2023	Carlos Luna 9 ago 2023	0
Bienvenidas y bienvenidos al curso, edición 2023	Carlos Luna 28 jul 2023	Carlos Luna 28 jul 2023	0
RESULTADOS FINALES DEL CURSO	Carlos Luna 13 dic 2022	Carlos Luna 13 dic 2022	0
Resultados del Segundo Parcial	Gustavo Betarte 12 dic 2022	Gustavo Betarte 12 dic 2022	0
Práctico 7 - Mappings/funciones parciales	Carlos Luna 25 nov 2022	Carlos Luna 25 nov 2022	0
Próximas actividades del curso	Carlos Luna 7 nov 2022	Carlos Luna 10 nov 2022	1
Encuesta de opinión estudiantil del curso y sus docentes	Carlos Luna 27 oct 2022	Carlos Luna 9 nov 2022	1
Clase del próximo martes	Carlos Luna 28 oct 2022	Carlos Luna 28 oct 2022	1
Extensión del tiempo para entregar el práctico 4	Carlos Luna 8 oct 2022	Carlos Luna 8 oct 2022	0
Correcciones de los tres primeros prácticos	Carlos Luna 19 sept 2022	Carlos Luna 19 sept 2022	0
Próximas actividades del curso y PARCIAL	Carlos Luna 11 sept 2022	Carlos Luna 11 sept 2022	0
Tema 3 - práctico 3	Carlos Luna 28 ago 2022	Carlos Luna 28 ago 2022	0
Consultas del práctico 2	Carlos Luna 23 ago 2022	Carlos Luna 23 ago 2022	0
Sobre la primera clase (2/8) y el link de acceso	Carlos Luna 2 ago 2022	Carlos Luna 2 ago 2022	1
Resultados finales !!!	Carlos Luna 7 dic 2021	Carlos Luna 7 dic 2021	0
Encuesta de opinión estudiantil sobre el curso y sus docentes	Carlos Luna 15 nov 2021	Carlos Luna 15 nov 2021	0
Últimas instancias del curso y segundo parcial	Carlos Luna 11 nov 2021	Carlos Luna 11 nov 2021	0
Recuerden: hoy hay clases	Carlos Luna 9 nov 2021	Carlos Luna 9 nov 2021	0
Entrega del práctico 3 y primer parcial	Carlos Luna 23 sept 2018	Carlos Luna 11 oct 2021	2
Clase del 28/9 y próximos eventos	Carlos Luna 27 sept 2021	Carlos Luna 4 oct 2021	1
Hoy (21/9) y dudas del práctico 3	Carlos Luna 21 sept 2021	Carlos Luna 21 sept 2021	0
Clase de mañana 7/09	Gustavo Betarte 6 sept 2021	Gustavo Betarte 6 sept 2021	0
Mañana (31/8)	Carlos Luna 30 ago 2021	Carlos Luna 30 ago 2021	0
Aviso sobre regularización de inscripciones a cursos	Carlos Luna 23 ago 2021	Carlos Luna 23 ago 2021	0
Encuesta estudiantil sobre el curso y los docentes	Carlos Luna 16 nov 2020	Carlos Luna 9 dic 2020	1
Parcial 2	Carlos Luna 4 dic 2020	Carlos Luna 6 dic 2020	2
prácticos 5 y 6	Carlos Luna 22 nov 2020	Carlos Luna 22 nov 2020	0
Teórico del módulo 6	Carlos Luna 16 nov 2020	Carlos Luna 16 nov 2020	2
práctico 5	Carlos Luna 9 nov 2020	Carlos Luna 9 nov 2020	0
clase del 26/10	Carlos Luna 26 oct 2020	Carlos Luna 26 oct 2020	0
Calificación de los prácticos 1,2 y 3 y Parcial 1	Gustavo Betarte 25 oct 2020	Gustavo Betarte 25 oct 2020	0
Segunda parte del curso	Carlos Luna 18 oct 2020	Carlos Luna 19 oct 2020	2
Primer parcial - miércoles 14/10	Carlos Luna 10 oct 2020	Carlos Luna 14 oct 2020	1
Entrega del práctico 3 y parcial	Carlos Luna 6 oct 2020	Carlos Luna 6 oct 2020	0
Clase del lunes 28/9 y consultas de la práctica 3	Carlos Luna 27 sept 2020	Carlos Luna 3 oct 2020	1
Grabación de clases	Carlos Luna 25 ago 2020	Carlos Luna 21 sept 2020	2
Clase de 21/9 y entrega del práctico 2	Carlos Luna 21 sept 2020	Carlos Luna 21 sept 2020	0
Teórico del módulo 2 y entrega del práctico 1	Carlos Luna 7 sept 2020	Carlos Luna 8 sept 2020	2
Lunes 31/8 - no hay clases por paro de Udelar	Carlos Luna 29 ago 2020	Carlos Luna 29 ago 2020	0
Invitación a charla: "Algoritmos y pruebas simples en Coq" dictada por Yves Bertot (investigador ...	Carlos Luna 25 ago 2020	Carlos Luna 25 ago 2020	0
Primera Clase del curso, lunes 17/8 a la hora 18	Carlos Luna 14 ago 2020	Carlos Luna 14 ago 2020	0
posibilidades en métodos formales	Carlos Luna 12 feb 2020	Carlos Luna 12 feb 2020	0
Actividades y cronograma hasta el final del curso	Carlos Luna 19 nov 2019	Carlos Luna 4 dic 2019	2
Clase de mañana martes 26/11 2019	Gustavo Betarte 25 nov 2019	Gustavo Betarte 25 nov 2019	0
Clase de mañana martes 5/11	Gustavo Betarte 4 nov 2019	Gustavo Betarte 4 nov 2019	0
Clase de mañana 22/10	Gustavo Betarte 21 oct 2019	Gustavo Betarte 21 oct 2019	0
Clase de hoy (martes 15/10)	Gustavo Betarte 15 oct 2019	Gustavo Betarte 15 oct 2019	0
Clase de hoy	Gustavo Betarte 8 oct 2019	Gustavo Betarte 8 oct 2019	0
Resultados y Teórico del martes 8/10	Gustavo Betarte 6 oct 2019	Gustavo Betarte 6 oct 2019	0
Entrega de práctico 3 y primer parcial	Carlos Luna 17 sept 2019	Carlos Luna 1 oct 2019	1
Coq Andes Summer School	Carlos Luna 24 sept 2019	Carlos Luna 24 sept 2019	0
Clase teórica del martes 17/09	Gustavo Betarte 16 sept 2019	Gustavo Betarte 16 sept 2019	0
Clase Teórica del martes 03/09	Gustavo Betarte 3 sept 2019	Gustavo Betarte 3 sept 2019	0
Hoy no hay Teórico	Gustavo Betarte 27 ago 2019	Gustavo Betarte 27 ago 2019	0
Primera reunión del curso Construcción Formal de Programas en Teoría de Tipos - edición 2019	Carlos Luna 17 jul 2019	Carlos Luna 17 jul 2019	0
Posibilidades de proyectos de grado	Carlos Luna 12 feb 2019	Carlos Luna 12 feb 2019	0
Resultados de CFPTT 2018	Gustavo Betarte 24 dic 2018	Gustavo Betarte 24 dic 2018	0
Segundo Parcial	Carlos Luna 29 nov 2018	Carlos Luna 29 nov 2018	0
Suspensión de actividades hoy	Carlos Luna 27 nov 2018	Gustavo Betarte 27 nov 2018	1
Verificación de programas	Gustavo Betarte 13 nov 2018	Gustavo Betarte 13 nov 2018	0
Clase de hoy	Carlos Luna 30 oct 2018	Carlos Luna 30 oct 2018	0
Entrega del práctico 4, consulta y próxima clase	Carlos Luna 23 oct 2018	Carlos Luna 23 oct 2018	0
Clase de mañana (martes 16/10/2018) y resultado Parcial 1	Gustavo Betarte 15 oct 2018	Gustavo Betarte 15 oct 2018	0
Módulo de Inducción y Recursión: clase y material	Carlos Luna 5 oct 2018	Carlos Luna 5 oct 2018	0
Martes 11/9 - Práctico 2	Carlos Luna 10 sept 2018	Carlos Luna 10 sept 2018	0
Teóricos 3 y 4 y material práctico	Gustavo Betarte 3 sept 2018	Gustavo Betarte 3 sept 2018	0
Diapos Teórico 2 y material de práctico	Gustavo Betarte 21 ago 2018	Gustavo Betarte 21 ago 2018	0
Diapos Teórico 1 y material práctico	Gustavo Betarte 14 ago 2018	Gustavo Betarte 14 ago 2018	0
Primera clase del curso Construcción Formal de Programas en Teoría de Tipos, 7 de Agosto - 17hs	Carlos Luna 3 ago 2018	Carlos Luna 9 ago 2018	1
Notas finales del curso	Carlos Luna 21 dic 2017	Carlos Luna 21 dic 2017	0
Teórico de hoy martes 28/11	Gustavo Betarte 28 nov 2017	Gustavo Betarte 28 nov 2017	0
Segundo parcial del curso	Carlos Luna 26 nov 2017	Carlos Luna 27 nov 2017	1
Último teórico del curso	Gustavo Betarte 20 nov 2017	Gustavo Betarte 20 nov 2017	0
Teórico de hoy martes 7/11	Gustavo Betarte 7 nov 2017	Gustavo Betarte 7 nov 2017	0
Mañana martes 31 de octubre ...	Gustavo Betarte 30 oct 2017	Gustavo Betarte 30 oct 2017	0
Teorico hoy (martes 24/10)	Gustavo Betarte 24 oct 2017	Gustavo Betarte 24 oct 2017	0
Teórico de hoy (martes 03/10)	Gustavo Betarte 3 oct 2017	Gustavo Betarte 3 oct 2017	0
Resultados de los tres primeros prácticos y del parcial 1	Carlos Luna 2 oct 2017	Carlos Luna 2 oct 2017	0
Diapos teórico de hoy martes 26/09	Gustavo Betarte 26 sept 2017	Gustavo Betarte 26 sept 2017	0
Clase Teórica Martes 26/09	Gustavo Betarte 22 sept 2017	Gustavo Betarte 22 sept 2017	0
Primer parcial, 28/9	Carlos Luna 22 sept 2017	Carlos Luna 22 sept 2017	0