Profesores a cargo:  Dr. Alejandro J. García  y  Dr. Juan Carlos Augusto
Créditos 20           Código: 1671

Objetivos: Brindar nociones básicas sobre distintos formalismos que desempeñan un rol importante en la teoría de las ciencias de la computación y sus diversas aplicaciones en la resolución de problemas computacionales.
El curso está orientado especialmente a personas que comienzan un postgrado en ciencias de la computación y
desean obtener conocimientos en los aspectos fundamentales de esta ciencia.

Prerequisitos: nociones básicas de matemática y aprobación del profesor.

Programa de la materia

Horarios de clase: (año 2001) lunes 8.00 en el aula 6 B y jueves 16.00hs en el laboratorio

Clase 1 (pdf - ps) -- Clase 2 (pdf - ps) -- Clase 3 (pdf - ps) -- Clase 4 (pdf - ps) -- Clase 5 (pdf - ps)
Clase 6 (pdf - ps) -- Clase 7 (pdf - ps) -- Clase 8 (pdf - ps) -- Clase 9 (pdf - ps)

Práctico 1 (pdf - dvi)   Práctico 2 (pdf - dvi )   Práctico 3 (pdf - dvi)  Práctico 4 (pdf - dvi)

(dvi es el formato generado por LaTeX)