Differences
This shows you the differences between two versions of the page.
|
pp:23:cursuri:andrei [2023/03/22 12:03] andrei.olaru |
pp:23:cursuri:andrei [2023/06/01 14:17] (current) andrei.olaru |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | |||
| - | **[[https://curs.upb.ro/2022/mod/url/view.php?id=143401 | Feedback pentru cursul de la seria CC]]** | ||
| == Cursuri seria CC == | == Cursuri seria CC == | ||
| + | |||
| + | {{.andrei:pp-all-slides.pdf|Toate slide-urile}} | {{.andrei:pp-handouts-4x2.pdf|Handouts 4x2}} | {{.andrei:pp-handouts-3x3.pdf|Handouts 3x3}} | ||
| * {{.andrei:pp-01-intro.pdf|Capitolul 1: Introducere}} | * {{.andrei:pp-01-intro.pdf|Capitolul 1: Introducere}} | ||
| Line 12: | Line 12: | ||
| * {{.andrei:pp-02-racket.pdf|Capitolul 2: Programare funcțională în Racket}} | * {{.andrei:pp-02-racket.pdf|Capitolul 2: Programare funcțională în Racket}} | ||
| * {{.andrei:pp-02-racket-recursivitate.rkt|tipuri de recursivitate}} | * {{.andrei:pp-02-racket-recursivitate.rkt|tipuri de recursivitate}} | ||
| - | * {{.andrei:pp-02-racket-functionale.rkt|funcții curry și funcționale}} | ||
| * {{.andrei:pp-03-lambda.pdf|Capitolul 3: Calcul Lambda}} | * {{.andrei:pp-03-lambda.pdf|Capitolul 3: Calcul Lambda}} | ||
| * {{.andrei:pp-03-lambda-cod.rkt|cod Racket discutat la curs}} | * {{.andrei:pp-03-lambda-cod.rkt|cod Racket discutat la curs}} | ||
| + | * {{.andrei:pp-03-lambda-cards.pdf|recapitulare calcul Lambda}} | ||
| + | * opțional: {{.andrei:pp-03-lambda-tda.pdf|implementare TDA în calcul lambda}} și {{.andrei:pp-03-lambda-demo-recursivitate.pdf|demonstrație recursivitate semantică pentru length}} | ||
| + | * Capitolul 4: Racket+ | ||
| + | * {{.andrei:pp-04-racket-functionale.rkt|funcții curry și funcționale}} | ||
| + | * {{.andrei:pp-04-racket-legare.rkt|structuri care leagă}} | ||
| + | * {{.andrei:pp-05-racket-lazy.pdf|Capitolul 5: Evaluare întârziată în Racket}} | ||
| + | * {{.andrei:pp-05-racket-prod.rkt|implementare prod}} | ||
| + | * {{.andrei:pp-05-racket-stream.rkt|fluxuri}} | ||
| + | * {{.andrei:ppinchidere.zip|exemplu Java}} | ||
| + | * opțional: {{.andrei:pp-05-racket-promises.pdf|implementare Promisiuni în Racket}} | ||
| + | * {{.andrei:pp-06-haskell-intro.pdf|Capitolul 6: Programare funcțională în Haskell}} | ||
| + | * {{.andrei:pp-06-haskell-intro.hs|cod scris la curs}} (6 aprilie și 13 aprilie) | ||
| + | * {{.andrei:pp-07-haskell-types.pdf|Capitolul 7: Tipuri în Haskell}} | ||
| + | * {{.andrei:pp-07-haskell-types.hs|cod scris la curs}}, include ce am discutat la clase | ||
| + | * {{.andrei:pp-08-haskell-classes.pdf|Capitolul 8: Clase în Haskell}} | ||
| + | * opțional: {{.andrei:pp-08-haskell-classes-monads.pdf|Monade în Haskell}} | ||
| + | * plus codul din fișierul de la capitolul 7 | ||
| + | * {{.andrei:pp-09-functional-recap.pdf|Capitolul 9: Paradigma funcțională și paradigme în general}} | ||
| + | * {{.andrei:pp-10-prolog.pdf|Capitolul 10: Introducere în Prolog}} | ||
| + | * {{.andrei:pp-10-prolog.pl|cod discutat la curs}} + {{.andrei:pp-10-prolog-consola.txt|interogări consolă}} | ||
| + | * {{.andrei:pp-11-lpoi.pdf|Capitolul 11: Logica cu predicate de ordinul I}} | ||
| + | * {{.andrei:pp-11-prolog2.pl|cod discutat la curs}} + {{.andrei:pp-11-prolog2-consola.txt|interogări consolă}} | ||
| + | * {{.andrei:pp-12-prolog-plus.pl|Capitolul 12: Probleme în Prolog}} | ||
| + | * {{.andrei:pp-13-markov.pdf|Capitolul 13: Mașina algoritmică Markov}} | ||
| + | |||
| + | **[[https://curs.upb.ro/2022/mod/url/view.php?id=143401 | Feedback pentru cursul de la seria CC]]** | ||
| + | |||
| + | |||
