Hace escasas horas he acabado (por fin) con todas mis obligaciones otoño-académicas para con la Universidad de Chicago. Aunque terminé las clases el 30 de noviembre, esta semana es la “semana de examenes” (cuando les digo que en ESIDE los exámenes duran tres semanas, me miran raro), y menuda semanita ha sido. Antes de nada, recordemos las dos asignaturas que tengo este trimestre (cito textualmente de un post que escribí cuando empezó el trimestre)
- Teoría de la Complejidad: En la asignatura de Algoritmos nos metieron una caña espectacular con los fundamentos más matemáticos de la algoritmia, pero sólo tocamos muy brevemente el tema de la complejidad computacional, el área de la informática teórica que se centra en descubrir cómo podemos realizar eficientemente una tarea computacional. A este área pertenece, por ejemplo, el eterno problema de ¿P=NP?. Puesto que la informática teórica me interesa (sin llegar a ser algo en lo que trabajaría), pues me apunté a la asignatura. La verdad es que, de momento, no me está defraudando. Estamos viendo mogollón de cosas interesantes (incluyendo demostraciones que el profesor de Algoritmos no explicó porque “son muy complicadas”) y estoy descubriendo que P y NP no son más que dos clases de problemas dentro de un oceano de clases de complejidad: L, NL, P, NP, NPC, E, NE, EXP, NEXP, DTIME, NTIME, DSPACE, NSPACE, PSPACE, P/Poly, AL, AP, …
Para que os hagais una idea de lo que tenemos que hacer en clase, aquí va nuestro primer homework resuelto. Que conste que no pude resolver todos los problemas y que, al igual que en Algoritmos, eso es lo más habitual. Por cierto, el profesor de la asignatura tiene un blog titulado Computational Complexity.
- Lenguajes de Programación: Que no os engañe el nombre… en esta asignatura vemos de todo, menos programación :-D Es una asignatura en la que se ven los fundamentos teoricos de los lenguajes de programación pero, curiosamente, sin ver lo que habitualmente se ve en una asignatura de Compiladores. La asignatura tiene un temario un tanto peculiar, y vamos a ver todo tipo de movidas raras relacionadas con la descripción formal de lenguajes de programación, “type checking”, “type safety”, y otros temas relacionados con lenguajes funcionales. En particular, vamos a ver un lenguaje llamado SML que, por lo menos en este departamento, es bastante popular.
La asignatura de Lenguajes de Programación ha resultado ser la más llevadera, a pesar de ser una asignatura bastante teórica. La razón por la que ha sido bastante llevadera es porque, aunque estudiabamos lenguajes muy teóricos (basados en el cálculo λ), el profesor nos hacía escribir compiladores para muchos de esos lenguajes, con lo cual te acababas enterando mucho mejor que simplemente estudiando el lenguaje en el libro. Por ejemplo, echadle un vistazo al enunciado resuelto de nuestro último homework (abrid el fichero TAR y luego el PDF… mi parte favorita es el programa que determina si un número es primo o no… utilizando el cálculo λ).
Vamos, que esa asignatura no ha resultado nada traumática. El examen, de hecho, era un “take home exam”, que significa que el profesor te da el enunciado del examen, y tu te lo llevas a casa, y juras por tu honor no discutir el examen con otras personas (en algunas universidades incluso te hacen firmar un papel en el que “juras por tu honor”… en nuestro caso es algo implícito si el examen es un “take home”). Me lo dieron el martes al mediodía, y lo terminé sobre las ocho de la tarde. Aunque todavía no sé la nota, me parece que me salió bastante bien…
La espinita que he llevado clavada durante buena parte del trimestre ha sido la asignatura de Teoría de la Complejidad. A pesar de que las primeras semanas me enteraba de todo, a mediados del trimestre empecé a estar más perdido que los alambres del Bimbo. Ojo, que la asignatura es muy interesante y el profesor es buena persona, pero es que el temario resultó estar muy enfocado a los doctorandos del area de Teoría Computacional. Y por mucho que me interese la Teoría de la Complejidad, pues cuando se me ponen a hablar de Algebra Abstracta (que vi un poco en 1º de carrera, pero que aquí no he vuelto a ver), Probabilidad Avanzada, máquinas de Turing con estados existenciales y universales (¡que comida de tarro!), y expander graphs, pues yo me pierdo. Y claro, llegó un punto en el que para resolver un único problema de Complejidad tenía que tirarme toda la tarde (o todo el día) trabajando en ello. Ojo, que tampoco me iba tan mal como para suspender, pero sí que resultaba ser un sumidero de tiempo bastante incordiante. De hecho, esta semana (excepto el martes) la he pasado principalmente resolviendo problemas de Complejidad a tiempo completo, y estoy mentalmente agotado :-P Pero bueno, eso es precisamente lo que he entregado hace un par de horas. Ahora ya sólo falta ver la nota…
En fin, que ya se acabó el trimestre. Todavía no tengo vacaciones, porque las próximas dos semanas tengo que seguir currando en temas de investigación. Por lo menos eso será bastante más llevadero, y espero tener más tiempo para escribir más a menudo en el blog. Y la última semana del año me la pillo de vacaciones… una semana que dedicaré, como siempre, a entrenarme en los nobles deportes del rasquing y el tumbing.
Latest Comments
RSS