This shows you the differences between two versions of the page.
pp:23:cursuri:andrei [2023/03/30 19:09] andrei.olaru |
pp:23:cursuri:andrei [2023/06/01 14:17] (current) andrei.olaru |
||
---|---|---|---|
Line 3: | Line 3: | ||
== 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 14: | ||
* {{.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+ | * Capitolul 4: Racket+ | ||
* {{.andrei:pp-04-racket-functionale.rkt|funcții curry și funcționale}} | * {{.andrei:pp-04-racket-functionale.rkt|funcții curry și funcționale}} | ||
* {{.andrei:pp-04-racket-legare.rkt|structuri care leagă}} | * {{.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-lazy.pdf|Capitolul 5: Evaluare întârziată în Racket}} |
* {{.andrei:pp-05-racket-prod.rkt|implementare prod}} | * {{.andrei:pp-05-racket-prod.rkt|implementare prod}} | ||
* {{.andrei:pp-05-racket-stream.rkt|fluxuri}} | * {{.andrei:pp-05-racket-stream.rkt|fluxuri}} | ||
* {{.andrei:ppinchidere.zip|exemplu Java}} | * {{.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]]** | **[[https://curs.upb.ro/2022/mod/url/view.php?id=143401 | Feedback pentru cursul de la seria CC]]** | ||