Lectii pentru studenti:

I. Algebre multisortate

II. RESCRIERE CLASICA

III. Programare logica ecuationala

IV. Algebra programelor

V. Alte lectii

VI.Fundamentele limbajelor de programare.

VII. Introducere in informatica teoretica

Nota: Majoritatea cursurilor sunt in format <.pdf>. Cele mai vechi sunt postscript. Pentru a le putea vedea trebuie sa aveti un utilitar capabil de a citi aceste formate.