jueves, octubre 14, 2004

Semestre Invierno 2004-2005

Para todos los interesados en las materias que curso este semestre, he aquí un listado (pongo los nombres en inglés para evitar problemas de traducción):
- Logic
- Complexity Theory
- Computer Algebra
- Foundations of Logic Programming
- Logic Programming Engineering
- Combinatorics and Analysis of Algorithms
- Syntax Directed Semantics
- Provable Program Correctness
- Automata and Logic

y todavía está por verse si tomo Formal Models of Concurrency (hoy lo decido, en una hora es mi clase).
Además, durante el semestre voy a tomar:
- Science of Computational Logic
- Foundations of Constraint Programming
y otra materia de incertidumbre, de cuyo nombre no puedo acordarme.
Todo parece indicar que lo poco de cordura que aún tenía está por desaparecer.

2 comentarios:

Anónimo dijo...

Son un chingo, no? digo para un semestre y para maestria

Ruy

El hombre sonriente dijo...

Oye se escuchan padres... que envidia... saludos