Differences
This shows you the differences between two versions of the page.
|
pp:26:teme:haskell-graphs-draft [2026/05/13 17:26] mihnea.muraru [Etapa 4] |
pp:26:teme:haskell-graphs-draft [2026/05/13 17:37] (current) mihnea.muraru [Changelog] |
||
|---|---|---|---|
| Line 267: | Line 267: | ||
| Se impun următoarele **constrângeri**: | Se impun următoarele **constrângeri**: | ||
| - | * Pentru funcțiile ''nodesEdges'' din modulul ''AlgebraicGraph'' și ''dfsStack'' din modulul ''Algorithms'', a căror implementare trebuie obținută prin **//equational reasoning//**, trebuie să redactați în comentarii pașii prin care ați trecut (vedeți exemplele și exercițiile din laboratorul 11). | + | * Pentru funcțiile ''nodesEdges'' din modulul ''AlgebraicGraph'' și ''dfsStack'' din modulul ''Algorithms'', a căror implementare trebuie obținută prin **//equational reasoning//**, trebuie să redactați în comentarii, în porțiunea ''DERIVARE: ...'', pașii prin care ați trecut (vedeți exemplele și exercițiile din laboratorul 11). |
| Este suficient ca arhiva pentru **vmchecker** să conțină modulele ''AlgebraicGraph'', ''StandardGraph'' și ''Algorithms''. | Este suficient ca arhiva pentru **vmchecker** să conțină modulele ''AlgebraicGraph'', ''StandardGraph'' și ''Algorithms''. | ||
| Line 273: | Line 273: | ||
| ==== Depunctări ==== | ==== Depunctări ==== | ||
| - | Funcțiile care nu respectă constrângerile din schelet vor fi **depunctate total**. | + | Funcțiile care nu respectă constrângerile de mai sus sau pe cele din schelet vor fi **depunctate total**. |
| Line 287: | Line 287: | ||
| * [[https://ocw.cs.pub.ro/courses/_media/pp/26/teme/haskell/etapa2.zip|Schelet etapa 2]] | * [[https://ocw.cs.pub.ro/courses/_media/pp/26/teme/haskell/etapa2.zip|Schelet etapa 2]] | ||
| * [[https://ocw.cs.pub.ro/courses/_media/pp/26/teme/haskell/etapa3.zip|Schelet etapa 3]] | * [[https://ocw.cs.pub.ro/courses/_media/pp/26/teme/haskell/etapa3.zip|Schelet etapa 3]] | ||
| + | * [[https://ocw.cs.pub.ro/courses/_media/pp/26/teme/haskell/etapa4.zip|Schelet etapa 4]] | ||
| ===== Referințe ===== | ===== Referințe ===== | ||
| Line 294: | Line 295: | ||
| ===== Changelog ===== | ===== Changelog ===== | ||
| - | * 13.05, 17:30: Publicat etapa 4 | + | * 13.05, 17:40: Publicat etapa 4 |
| * 09.05, 21:02: Adăugat clarificare la etapa 2 despre semnificația constrângerii de recursivitate explicită. | * 09.05, 21:02: Adăugat clarificare la etapa 2 despre semnificația constrângerii de recursivitate explicită. | ||
