Fundamente de informatică - Tema 5

1. Lucrul cu liste
   Implementaţi funcţiile List.exists şi List.for_all care verifică o proprietate (funcţie booleană) pentru elementele unei liste, folosind List.fold_left .
2. Citirea de termeni
   Scrieţi o funcţie care citeşte un termen (constantă, variabilă, sau funcţie de termeni). În C, verificaţi doar sintaxa corectă. În ML, returnaţi reprezentarea termenului (identificatori cu iniţială mare sunt consideraţi variabile, cei cu iniţială mică sunt constante).
3. Union-Find
   Implementaţi o structură Union-Find pentru şiruri folosind o tabelă de asociere (în ML: Map).
   vezi dezvoltarea soluţiei pentru unificare de termeni