I. Fundamentele limbajelor de programare. Note de curs.
Cuprins:
Preliminarii
In primul rand semantica
Rescriere locala, forme normale
Rescriere in subtermeni
Rescriere modulo ecuatii
Demonstarrea ecuatiilor conditionate
Corectitudinea programelor
Logica ecuationala
Procedura Knuth-Bendix
Institutii
Institutia logicii ecuationale
Colimite in institutii
Functorul Alg conserva colimitele
Sisteme de incluziuni
Liberalitatea institutiilor cu diagrame elemantare
Institutii cu diagrame elementare
si incluziuni de modele
Categorii indexate, categoria Groethendick