https://sites.google.com/view/pl2017/home
Dacă ai ajuns pe pagina asta și încă faci PL cu VEC și vrei să treci, atunci ai tot respectul meu.
https://www.facebook.com/programaredeclarativa
- 16.09.2015 grupa 234/244 - 1. Proiectivitatea alg libere si 2. (Nu mai stiu sigur) Comparatie intre Sub, Rew, SRew. Corectitudinea gamma-rescrierii...congruenta semantica. (via Cristina Oană)
- 11.09.2015 1. Proprietatea de univ a multimii si algebrei cat - def, enunt, dem 2. Intalnirea prin rescriere e inchisa la sub. Completitudinea intalnirii prin rescriere fata de congruenta semantica - def sub, enunt si dem pt cele 2 (via Cristina Oană)
- 08.09.2015 grupa 233/232 - 1) Initialitatea arborilor de derivare + definitii aferente și 2) Confluenta si intalnire
- 06.09.2015 grupa 234 - Unicitatea Algebrei Libere pagina 10 jos și punctul 11.2 de la pagina 31 (suportul de curs mic)
- 14.06.2015 grupa 234 via Dayanna Amegica
- Definitii echivalente ale congruentei semantice (+ o definitie informala). Rolul in Maude. Congruenta semantica e inclusa in orice multime inchisa la substitutie (demonstratie) .
- Rescrierea e cea mai mica multime inchisa la R, T si SRew (demonstratie) . - Teorema 13.1
- 06.2015 grupa 231: "Teorema teoremelor - 9.4" si "Herbrand". Poza cu subiectele.
- 06.2015 grupa 233: "Propozitia 7.4" si "Ceva cu ce sunt solutiile" (cursul 13)
- lista de teorie veche
- http://fmi.is-a-geek.net/index.php/Programare_logica_%28Emil_Cazanescu%29
Probleme de la testul de seminar:
- numarul de aparitii al unei cifre intr-un numar
- roteste o lista cu X elemente in stange
- se da o lista si doua pozitii la care trebuie sa faci swap
- numarul de zerouri de la sfarsitul lui N factorial
- take every Nth element from a list
Rezolvari. Recomand cateva ore de bagat probleme in Maude.