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ă.

Testare de Laborator - 14 aprilie 2025, ora 14

Material de laborator permis
Exercitii de antrenament [Soluție]

Laboratoare

Laboratorul 1: Introducere în limbajul Prolog - sintaxă, programe, aritmetică și recursivitate
[Soluție]

Laboratorul 2: Liste și recursivitate
[Soluție]

Laboratorul 3: Implementarea evaluărilor în calculul propozițional
[Soluție]

Laboratorul 4: Algoritmul de unificare. Probleme de căutare
[Soluție]

Laboratorul 5: Probleme de căutare
[Soluție]

Laboratorul 8: Introducere în Haskell
[Soluție]

Laboratorul 9: Liste, funcții de nivel înalt, tipuri de date algebrice
[Soluție]

Laboratorul 10: Foldable. Tipul Maybe. Evaluări propoziționale.

Seminare

Seminarul 1: Elemente de calcul cu mulțimi. Introducere în calculul propozițional
Seminarul 2: Semantica logicii propoziționale
Seminarul 3: Rezoluția în calulul propozițional. Rezoluția SLD.
Seminarul 4: Puncte fixe. Teorema Knaster-Tarski
Seminarul 5: Sistemul deducției naturale în logica propozițională
Seminarul 6: Semantică operațională
Seminarul 7: Lambda-calcul fără tipuri