Bogdan Macovei

Programare Logică și Funcțională

Pe acestă pagină găsiți suportul pentru activitățile de laborator și seminar la materia Programare Logică și Funcțională.

Pregătirea (mai mult consultația) pentru examen va fi luni dimineață, ora 10, Online
Extrasul de teorie pe care îl puteți folosi la examen este extrasul de teorie pe care îl aveți în fișierul cu exercițiile de la seminar. Voi pune și documentul final, pentru a-l putea avea printat.
Pentru Haskell vă voi pregăti un document similar celui pe care l-ați avut la Prolog. Puteți veni cu el printat, sau puteți să îl folosiți direct de pe laptop/calculator la examen. Spre deosebire de Prolog, voi separa documentul cu informații teoretice de subiectul de examen.
V-am pus mai sus un curs foarte important pe care vă rog să îl parcurgeți pentru examen, pe care îl vom relua și luni (aveți în curs QuickCheck și un model de examen).
Recomand, evident, parcurgerea tuturor cursurilor pentru examen, în special a celor de Haskell. Orice din materia de curs se poate regăsi la examen!
Vă reamintesc punctajele necesare pentru promovare pentru Haskell și Teorie: 15 din 30 la Haskell, 15 din 30 la Teorie.
Rezultatele la Haskell încerc să vi le dau tot marți, după susținerea probei.
Mult succes! (aveți nevoie)