Differences
This shows you the differences between two versions of the page.
|
pp:25:cursuri:andrei [2025/03/12 18:39] andrei.olaru |
pp:25:cursuri:andrei [2025/06/02 16:07] (current) andrei.olaru |
||
|---|---|---|---|
| Line 13: | Line 13: | ||
| * {{:pp:25:cursuri:andrei:pp-03-lambda.pdf|Curs 3: Calcul Lambda}} | * {{:pp:25:cursuri:andrei:pp-03-lambda.pdf|Curs 3: Calcul Lambda}} | ||
| * {{:pp:25:cursuri:andrei:pp-03-lambda-exemplu-aparitii.rkt|exemplu apariții în Racket}} | * {{:pp:25:cursuri:andrei:pp-03-lambda-exemplu-aparitii.rkt|exemplu apariții în Racket}} | ||
| + | * {{:pp:25:cursuri:andrei:pp-03-lambda-executie-haskell.txt|exemplu execuție Haskell}} | ||
| + | * {{:pp:25:cursuri:andrei:pp-03-lambda-executie.rkt|exemplu execuție Racket}} | ||
| + | * {{:pp:25:cursuri:andrei:pp-03-lambda-recapitulare.pdf|Recapitulare calcul Lambda}} | ||
| + | * Opțional: {{:pp:25:cursuri:andrei:pp-03-lambda-demo-recursivitate.pdf|demonstrație recursivitate semantică pentru length}} | ||
| + | * Opțional: {{:pp:25:cursuri:andrei:pp-03-lambda-tda.pdf|Lambda TDA}} | ||
| * {{:pp:25:cursuri:andrei:pp-04-racket-functionale.rkt|Curs 4: Funcționale în Racket}} | * {{:pp:25:cursuri:andrei:pp-04-racket-functionale.rkt|Curs 4: Funcționale în Racket}} | ||
| * {{:pp:25:cursuri:andrei:pp-04-racket-legare.pdf|Curs 4: Limbajul Racket; Legare}} | * {{:pp:25:cursuri:andrei:pp-04-racket-legare.pdf|Curs 4: Limbajul Racket; Legare}} | ||
| + | * {{:pp:25:cursuri:andrei:pp-04-racket-legare.rkt|cod discutat la curs}} | ||
| + | * {{:pp:25:cursuri:andrei:pp-05-racket-lazy.pdf|Curs 5: Evaluare întârziată în Racket}} | ||
| + | * cod discutat la curs: {{:pp:25:cursuri:andrei:pp-05-racket-prod.rkt|prod}}, {{:pp:25:cursuri:andrei:pp-05-racket-stream.rkt|stream}}, {{:pp:25:cursuri:andrei:pp-05-py.zip|cod Python}}, {{:pp:25:cursuri:andrei:pp-05-exemplu-quotes.txt|exemplu quote}} | ||
| + | * {{:pp:25:cursuri:andrei:pp-05-racket-stream-bfs.rkt|cod Lazy BFS}} | ||
| + | * {{:pp:25:cursuri:andrei:pp-06-haskell-intro.pdf|Curs 6: Introducere în Haskell}} | ||
| + | * {{:pp:25:cursuri:andrei:pp-06-haskell-intro-console.txt|interogări consolă}} + {{:pp:25:cursuri:andrei:pp-06-haskell-intro.hs|cod discutat la curs}} | ||
| + | * {{:pp:25:cursuri:andrei:pp-07-haskell-lazy.hs|cod discutat despre evluare leneșă și point-free programming}} | ||
| + | * {{:pp:25:cursuri:andrei:pp-07-haskell-typing.pdf|Curs 7: Tipuri în Haskell}} | ||
| + | * {{:pp:25:cursuri:andrei:pp-07-haskell-types.hs|cod și interogări la consolă}} | ||
| + | * {{:pp:25:cursuri:andrei:pp-07-haskell-types-2.hs|cod tipuri de date utilizator}} | ||
| + | * {{:pp:25:cursuri:andrei:pp-08-haskell-classes.pdf|Curs 8: Clase în Haskell}} | ||
| + | * {{:pp:25:cursuri:andrei:pp-08-container.hs|cod discutat la curs}} | ||
| + | * {{:pp:25:cursuri:andrei:pp-09-functional-recap.pdf|Curs 9: Încheiere paradigma funcțională}} | ||
| + | * {{:pp:25:cursuri:andrei:pp-10-prolog-intro.pdf|Curs 10: Introducere în Prolog}} | ||
| + | * {{:pp:25:cursuri:andrei:pp-10-prolog-intro.pl|cod discutat la curs}} (inclusiv interogările de la consolă) | ||
| + | * cod discutat în {{:pp:25:cursuri:andrei:pp-11-prolog2.pl|20 mai}} și în {{:pp:25:cursuri:andrei:pp-12-prolog-plus.pl|22 mai}} | ||
| + | * {{:pp:25:cursuri:andrei:pp-11-lpoi.pdf|Curs 11: Logica cu predicate de ordinul I}} | ||
| + | * {{:pp:25:cursuri:andrei:pp-13-markov.pdf|Curs 12: Algoritmi Markov}} | ||
| + | |||
| + | |||
| + | |||
| + | |||
| + | |||
| + | |||
| + | |||
| + | |||
| + | |||
| + | |||
