Doctorado en Computación

Seminario de Tesis de Doctorado
Sep-15 a Dic-15.

Los cursos siguientes han sido presentados exclusivamente para estudiantes inscritos en la Sección de Computación, en el Programa de Doctorado en Ciencias del Departamento de Ingeniería Eléctrica. Cada uno tuvo una duración de 50 horas de exposición.

Ene-96 a Abr-96: Métodos paralelos de demostración automática

Ene-95 a Abr-95: Demostración automática

Sep-94 a Dic-94: Teoría de la Complejidad

Sep-94 a Dic-94: Lingüística Computacional

May-94 a Ago-94: Especificación Formal

May-94 a Ago-94: Lenguajes de programación paralela

Ene-94 a Abr-94: Tópicos selectos de sistemas distribuídos

Sep-93 a Dic-93: Tratamiento del Lenguaje Natural y lógica

Sep-93 a Dic-93: Redes de computadoras