Estimados estudiantes,
Les escribo de nuevo para solicitarles leer un material de lógica e inducción-recursión, que considero puede ser relevante para ustedes y el curso (lo envié hace unos días, pero no había muchos estudiantes matriculados en ese momento).
Concretamente la solicitud es para que lean el capítulo 1 del libro "Temas de Teoría de la Computación" disponible online en:
http://latinproject.org/books/Temas_de_Teoria_de_la_Computacion_CC_BY-SA_3.0.pdf
Luego de leer este capítulo (solo el cap.1) les pediría que llenaran una encuesta rápida que también está online:
http://www.igualproject.org/surveytool/index.php?sid=46973
Recuerden al llenar la encuesta que el nombre del libro es "Temas de Teoría de la Computación" y por las dudas que lo pida, mi nombre es Carlos Luna y el curso en el que se realiza la encuesta sería este (Construcción Formal de Programas en Teoría de Tipos).
Desde ya les estaría muy agradecido si pudiesen llenar la encuesta antes de que termine Agosto. La información que aporten, aún con una lectura ligera del capítulo, será relevante! Agradecería me avisen a cluna@fing.edu.uy si pudieron llenar la encuesta; asimismo si tienen dudas.
Muchas gracias desde ya!
Saludos, Carlos