Buenas tardes.
Quería consultar si había fecha tentativa para el primer parcial.
Saludos.
Hola Juan Manuel
No está definida la fecha, pero una opción es el martes 19/9 en el horario habitual de clases. Les confirmamos en unos días.
Slaudos, Carlos
Buenas tardes.
¿Ya se podría confirmar fecha y lugar del parcial? Estimo que se usará alguna de las salas linux, ya que pude verificar que en las salas de windows (315 y 312) coq no parece estar instalado.
Saludos.
¿Ya se podría confirmar fecha y lugar del parcial? Estimo que se usará alguna de las salas linux, ya que pude verificar que en las salas de windows (315 y 312) coq no parece estar instalado.
Saludos.
Hola
Mando luego un mail general sobre esto, pero la gente de la Unidad de Recursos Informáticos actualizó Coq en 2022 en las salas windows.
Saludos, Carlos
Buenas tardes.
Voy a tratar de que me presten una laptop para el parcial, pero en caso de que no lo consiga tendría que usar una de la máquinas del 312. El pasado domingo revisé una máquina de este salón y no pude encontrar el programa del IDE de Coq. ¿La URI confirmó que se mantiene instalado actualmente?
Saludos.
Voy a tratar de que me presten una laptop para el parcial, pero en caso de que no lo consiga tendría que usar una de la máquinas del 312. El pasado domingo revisé una máquina de este salón y no pude encontrar el programa del IDE de Coq. ¿La URI confirmó que se mantiene instalado actualmente?
Saludos.
Hola
La URI confirmó que en las salas windows está instalado COQ. Iban a ver si quedó un acceso directo desde el escritorio, pero instalado está.
Sugiero que antes del día de la prueba vean si pueden acceder sin problemas y hacer los ejercicios del práctico sin problemas, si van a usar estas máquinas.
Saludos, Carlos