Estimados estudiantes,
Les escribo para solicitarles leer un material de lógica e inducción-recursión, que considero puede ser relevante para ustedes y el curso.
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 (preferiblemente para el 25/8). La información que aporten, aún con una lectura ligera del capítulo, será relevante!
Si tienen dudas escríbanme directamente a cluna@fing.edu.uy.
Muchas gracias desde ya!
Saludos, Carlos