(3) Materie utila pentru examen, din cursuri si seminarii, de parcurs, macar la nivel orientativ:

din c1pl3.pdf, prezentarea specificatiilor la nivel intuitiv;

notitele de curs si seminar, dupa materia predata la tabla.

din cursul ProgLog2011-2012.pdf al Prof. I. Leustean:

-> multimi S-sortate, functii S-sortate, operatii cu functii si multimi S-sortate, proprietati

definite

pentru functii S-sortate: slide-urile 37-40;

-> signaturi S-sortate: slide-urile 41-45; facultativ, signaturi ordonat-sortate, de tipul celora cu

care se

lucreaza adesea in Maude (exemplu: liste de numere naturale, cu ordonarea pe sorturi Nat <

Lista): slide-ul 47;

-> algebre multisortate (Sigma-algebre): slide-urile 48-50, facultativ 53, cu algebre ordonat-sortate;

-> multime S-sortata de variabile peste o signatura: slide-ul 54; multimea termenilor cu variabile peste o

signatura: slide-ul 55; cazul particular al multimii vide de variabile (ca multime S-sortata): slide-ul 56;

exemple: slide-urile 58, 60, precum si Exemplul 2.2 din exsempl.pdf (a se revedea si specificatia lui Lawvere:

Exercitiul 2.1 din exsempl.pdf);

-> orientativ, inductia structurala pe termenii cu variabile peste o signatura: slide-ul 61;

-> organizarea multimii de termeni cu variabile peste o signatura ca Sigma-algebra: slide-urile 62, 63;

-> morfisme de Sigma-algebre: slide-urile 66-68 si definitiile si enunturile de propozitii si teoreme de pe

slide-urile 72, 73 (Teorema 2 spune ca algebra de termeni fara variabile peste o signatura este Sigma-algebra

initiala), 77, 78, 81, 90, 92; si din slide-urile enumerate mai jos, tot numai enunturile;

-> parti stabile (adica inchise la operatii) intr-o Sigma-algebra, Sigma-subalgebre: slide-urile 94, 95, 97-102;

-> recapitularea de pe slide-urile 106-108, apoi slide-urile 109, 113-117;

-> Sigma-ecuatii (neconditionate si conditionate), satisfacere, Gamma-algebre, specificatii:

slide-urile

122-125, 130-141, 160, precum si plsem1.pdf.

(4) Materie obligatoriu de parcurs pentru examen, care va serveste la rezolvarea exercitiilor tip seminar

pe care vi le voi da la examen:

notitele cu ce am predat la tabla la ultimele doua cursuri si ultimul seminar;

din ProgLog2011-2012.pdf:

-> regulile de deductie din ecuatii neconditionate: slide-urile 182-185, 202; si, orientativ:

slide-urile 190, 191;

doar ca idee: slide-urile 194, 200 (nu pierdeti vremea cu diferenta dintre deductia sintactica si deductia semantica!);

-> algoritmul de unificare: slide-urile 234-248, precum si doc-urile mele cu unificare si rescriere;

din exsempl.pdf: Exercitiile 2.7, 2.9.