Laboratorio

Los lineamientos para la entrega de practicas son los siguientes:

1. Las prácticas se entregan individualmente a menos que se indique lo contrario.
2. Las prácticas se entregan a mas tardar a las 23:59 del día indicado.Se aceptan practicas con un día de retraso pero calificadas sobre 8.
3. Los lenguajes que se van a utilizar durante el curso serán Haskell , Prolog y Coq.
4. Las prácticas que no estén comentadas tendrán un punto menos de penalización
5. Las prácticas se van a enviar al siguiente correo : nieves@ciencias.unam.mx con el asunto : Practica<Número de la práctica>LC y se van a enviar una carpeta comprimida con formato .tar o .zip. La carpeta debe tener la siguiente estructura:
   • practica<Número de práctica>
     • README
     • src
       • programas
6. En el archivo README deben incluir el nombre del alumno , el número de cuenta y cualquier comentario sobre la práctica.
7. Cualquier duda con respecto a las prácticas las pueden mandar al mismo correo con el asunto DudaPractica<Número de la práctica>LC o lo pueden hacer por el grupo de google.