This shows you the differences between two versions of the page.
pp:24:cursuri:andrei [2024/03/02 17:00] andrei.olaru |
pp:24:cursuri:andrei [2024/05/10 16:27] (current) andrei.olaru |
||
---|---|---|---|
Line 1: | Line 1: | ||
+ | |||
+ | |||
== Cursuri seria CC == | == Cursuri seria CC == | ||
Line 6: | Line 8: | ||
* {{.andrei:pp-01-intro-prolog.pl|exemplu cod Prolog}} | * {{.andrei:pp-01-intro-prolog.pl|exemplu cod Prolog}} | ||
* introducere în Racket: {{.andrei:pp-01-intro-racket-console.txt|consolă}}, {{.andrei:pp-01-intro-racket.rkt|program}} | * introducere în Racket: {{.andrei:pp-01-intro-racket-console.txt|consolă}}, {{.andrei:pp-01-intro-racket.rkt|program}} | ||
- | * {{.andrei:pp-02-racket.pdf|Capitolul 2: Programare funcțională în Racket}} (îl vom parcurge) | + | * {{.andrei:pp-02-racket.pdf|Capitolul 2/4: Programare funcțională în Racket}} |
- | * {{.andrei:pp-02-racket-recursivitate.rkt|tipuri de recursivitate}} (aproximativ, nu e chiar ce am făcut la curs) | + | * {{.andrei:pp-02-racket-recursivitate.rkt|tipuri de recursivitate}} |
+ | * {{.andrei:pp-04-racket-functionale.rkt|funcționale}} | ||
+ | * {{.andrei:pp-04-racket-legare.rkt|legare}} | ||
+ | * {{.andrei:pp-03-lambda.pdf|Capitolul 3: Calcul Lambda}} | ||
+ | * {{.andrei:pp-03-exemple-lambda.rkt|exemple în Racket}} | ||
+ | * {{.andrei:pp-03-lambda-demo-recursivitate.pdf|demonstrație recursivitate semantică}} | ||
+ | * {{.andrei:pp-05-racket-lazy.pdf|Capitolul 5: Evaluare leneșă în Racket}} | ||
+ | * {{.andrei:pp-05-racket-prod.rkt|exemplu prod}} | ||
+ | * {{.andrei:pp-05-racket-stream.rkt|fluxuri}} | ||
+ | * {{.andrei:pp-05-py.zip|exemplu generatoare python}} | ||
+ | * {{.andrei:pp-06-haskell.pdf|Capitolul 6: Programare funcțională în Haskell}} | ||
+ | * {{.andrei:pp-06-haskell-intro.hs|cod discutat la curs}} + {{.andrei:pp-06-haskell-consola.txt|interogări consolă}} | ||
+ | * {{.andrei:pp-06-point-free.hs|exemple programare point-free}} + {{.andrei:pp-06-exemple-consola.txt|interogări consolă}} | ||
+ | * {{.andrei:pp-07-haskell-typing.pdf|Capitolul 7: Tipuri în Haskell}} | ||
+ | * {{.andrei:pp-07-types.hs|cod discutat la curs}} | ||
+ | * {{.andrei:pp-07-types2.hs|cod discutat la curs}} 18 aprilie | ||
+ | * {{.andrei:pp-08-haskell-classes.pdf|Capitolul 8: Clase în Haskell}} | ||
+ | * {{.andrei:pp-08-container.hs|cod discutat la curs}} | ||
+ | * {{.andrei:pp-09-recap.pdf|Capitolul 9: Recapitulare paradigma funcțională}} | ||
+ | * {{.andrei:pp-10-lpoi.pdf|Capitolul 10: Logica cu Predicate de Ordinul I}} | ||
+ | * Capitolul 11: Introducere în Prolog | ||
+ | * {{.andrei:pp-10-intro-prolog.pl|cod discutat}} la cursul din 10 mai | ||
+ | [[https://curs.upb.ro/2023/mod/url/view.php?id=130192|Feedback continuu pentru cursul de la seria CC]] |