Differences
This shows you the differences between two versions of the page.
|
pp:24:cursuri:mihaela [2024/02/26 08:25] mihaela.balint created |
pp:24:cursuri:mihaela [2024/05/29 00:17] (current) mihaela.balint |
||
|---|---|---|---|
| Line 2: | Line 2: | ||
| == Cursuri CB == | == Cursuri CB == | ||
| - | * {{ :pp:23:cursuri:mihaela:curs1.pdf |Cursul 1: Introducere. Modele de evaluare. Limbajul Racket. Recursivitate.}} | + | * {{ :pp:24:cursuri:mihaela:curs1.pdf |Cursul 1: Introducere. Modele de evaluare. Limbajul Racket. Recursivitate.}} |
| - | * {{ :pp:23:cursuri:mihaela:curs1_4.pdf |Cursul 1 mini (4 slide-uri/pagină)}} | + | * {{ :pp:24:cursuri:mihaela:curs1_4.pdf |Cursul 1 mini (4 slide-uri/pagină)}} |
| + | * {{ :pp:24:cursuri:mihaela:curs1.rkt |Exemple Racket}} | ||
| + | * {{ :pp:24:cursuri:mihaela:curs1.hs |Exemple Haskell}} | ||
| + | * {{ :pp:24:cursuri:mihaela:curs1.pl |Exemple Prolog}} | ||
| - | /* | + | * {{ :pp:24:cursuri:mihaela:curs2.pdf |Cursul 2: Recursivitate pe stivă / pe coadă / arborescentă. Calcul Lambda.}} |
| - | * {{ :pp:23:cursuri:mihaela:curs1.rkt |Exemple Racket}} | + | * {{ :pp:24:cursuri:mihaela:curs2_4.pdf |Cursul 2 mini (4 slide-uri/pagină)}} |
| - | * {{ :pp:23:cursuri:mihaela:curs1.hs |Exemple Haskell}} | + | * {{ :pp:24:cursuri:mihaela:curs2.rkt |Exemple la calculator}} |
| - | * {{ :pp:23:cursuri:mihaela:curs1.pl |Exemple Prolog}} | + | * {{ :pp:24:cursuri:mihaela:lambda-0.rkt |Programare în Calcul Lambda}} |
| - | */ | + | |
| - | * {{ :pp:23:cursuri:mihaela:curs2.pdf |Cursul 2: Recursivitate pe stivă / pe coadă / arborescentă. Calcul Lambda.}} | + | * {{ :pp:24:cursuri:mihaela:curs3.pdf |Cursul 3: Funcții ca valori de ordinul întâi. Funcționale. Abstractizare.}} |
| - | * {{ :pp:23:cursuri:mihaela:curs2_4.pdf |Cursul 2 mini (4 slide-uri/pagină)}} | + | * {{ :pp:24:cursuri:mihaela:curs3_4.pdf |Cursul 3 mini (4 slide-uri/pagină)}} |
| + | * {{ :pp:24:cursuri:mihaela:curs3.rkt |Exemple la calculator}} | ||
| - | /* | + | * {{ :pp:24:cursuri:mihaela:curs4.pdf |Cursul 4: Transparență referențială. Legare statică / dinamică. Modelul contextual de evaluare.}} |
| - | * {{ :pp:23:cursuri:mihaela:curs2.rkt |Exemple la calculator}} | + | * {{ :pp:24:cursuri:mihaela:curs4_4.pdf |Cursul 4 mini (4 slide-uri/pagină)}} |
| - | * {{ :pp:23:cursuri:mihaela:lambda-0.rkt |Programare în Calcul Lambda}} | + | * {{ :pp:24:cursuri:mihaela:curs4.rkt |Exemple la calculator}} |
| - | */ | + | |
| - | * {{ :pp:23:cursuri:mihaela:curs3.pdf |Cursul 3: Funcții ca valori de ordinul întâi. Funcționale. Abstractizare.}} | + | * {{ :pp:24:cursuri:mihaela:curs5.pdf |Cursul 5: Întârzierea evaluării. Închideri funcționale versus promisiuni. Fluxuri.}} |
| - | * {{ :pp:23:cursuri:mihaela:curs3_4.pdf |Cursul 3 mini (4 slide-uri/pagină)}} | + | * {{ :pp:24:cursuri:mihaela:curs5_4.pdf |Cursul 5 mini (4 slide-uri/pagină)}} |
| + | * {{ :pp:24:cursuri:mihaela:curs5.rkt |Exemple la calculator}} | ||
| + | * {{ :pp:24:cursuri:mihaela:curs5-inchideri.rkt |Exemplu de flux implementat cu închideri}} | ||
| - | /* | + | * {{ :pp:24:cursuri:mihaela:curs6.pdf |Cursul 6: Limbajul Haskell.}} |
| - | * {{ :pp:23:cursuri:mihaela:curs3.rkt |Exemple la calculator}} | + | * {{ :pp:24:cursuri:mihaela:curs6_4.pdf |Cursul 6 mini (4 slide-uri/pagină)}} |
| - | */ | + | * {{ :pp:24:cursuri:mihaela:curs6.hs |Exemple la calculator}} |
| - | * {{ :pp:23:cursuri:mihaela:curs4.pdf |Cursul 4: Transparență referențială. Legare statică / dinamică. Modelul contextual de evaluare.}} | + | * {{ :pp:24:cursuri:mihaela:curs7a.pdf |Cursul 7a: Tipare tare / slabă / statică / dinamică. Tipuri și expresii de tip. Tipuri definite de utilizator.}} |
| - | * {{ :pp:23:cursuri:mihaela:curs4_4.pdf |Cursul 4 mini (4 slide-uri/pagină)}} | + | * {{ :pp:24:cursuri:mihaela:curs7a_4.pdf |Cursul 7a mini (4 slide-uri/pagină)}} |
| + | * {{ :pp:24:cursuri:mihaela:curs7.hs |Exemple la calculator}} | ||
| - | /* | + | * {{ :pp:24:cursuri:mihaela:curs7b.pdf |Cursul 7b: Sinteză de tip.}} |
| - | * {{ :pp:23:cursuri:mihaela:curs4.rkt |Exemple la calculator}} | + | * {{ :pp:24:cursuri:mihaela:curs7b_4.pdf |Cursul 7b mini (4 slide-uri/pagină)}} |
| - | */ | + | |
| - | * {{ :pp:23:cursuri:mihaela:curs5.pdf |Cursul 5: Întârzierea evaluării. Închideri funcționale versus promisiuni. Fluxuri.}} | + | * {{ :pp:24:cursuri:mihaela:curs8.pdf |Cursul 8: Polimorfism. Clase în Haskell.}} |
| - | * {{ :pp:23:cursuri:mihaela:curs5_4.pdf |Cursul 5 mini (4 slide-uri/pagină)}} | + | * {{ :pp:24:cursuri:mihaela:curs8_4.pdf |Cursul 8 mini (4 slide-uri/pagină)}} |
| + | * {{ :pp:24:cursuri:mihaela:curs8.hs |Exemple la calculator}} | ||
| - | /* | + | * {{ :pp:24:cursuri:mihaela:curs9.pdf |Cursul 9: Logica propozițională. Logica cu predicate de ordinul întâi.}} |
| - | * {{ :pp:23:cursuri:mihaela:curs5.rkt |Exemple la calculator}} | + | * {{ :pp:24:cursuri:mihaela:curs9_4.pdf |Cursul 9 mini (4 slide-uri/pagină)}} |
| - | * {{ :pp:23:cursuri:mihaela:curs5-inchideri.rkt |Exemplu de flux implementat cu închideri}} | + | |
| - | */ | + | |
| - | * {{ :pp:23:cursuri:mihaela:curs6.pdf |Cursul 6: Limbajul Haskell.}} | + | * {{ :pp:24:cursuri:mihaela:curs10.pdf |Cursul 10: Limbajul Prolog.}} |
| - | * {{ :pp:23:cursuri:mihaela:curs6_4.pdf |Cursul 6 mini (4 slide-uri/pagină)}} | + | * {{ :pp:24:cursuri:mihaela:curs10_4.pdf |Cursul 10 mini (4 slide-uri/pagină)}} |
| + | * {{ :pp:24:cursuri:mihaela:curs10.pl |Exemple la calculator}} | ||
| - | /* | + | * {{ :pp:24:cursuri:mihaela:curs11.pdf |Cursul 11: Metapredicate. Probleme de căutare în spațiul stărilor. Probleme de satisfacere a constrângerilor.}} |
| - | * {{ :pp:23:cursuri:mihaela:curs6.hs |Exemple la calculator}} | + | * {{ :pp:24:cursuri:mihaela:curs11_4.pdf |Cursul 11 mini (4 slide-uri/pagină)}} |
| - | */ | + | * {{ :pp:24:cursuri:mihaela:cautare_in_spatiul_starilor.zip |Exemple de căutare în spațiul stărilor}} |
| + | * {{ :pp:24:cursuri:mihaela:satisfacerea_constrangerilor.zip |Probleme de satisfacere a constrângerilor}} | ||
| - | * {{ :pp:23:cursuri:mihaela:curs7a.pdf |Cursul 7a: Tipare tare / slabă / statică / dinamică. Tipuri și expresii de tip. Tipuri definite de utilizator.}} | + | * {{ :pp:24:cursuri:mihaela:curs12.pdf |Cursul 12: Antrenament pentru testul grilă.}} |
| - | * {{ :pp:23:cursuri:mihaela:curs7a_4.pdf |Cursul 7a mini (4 slide-uri/pagină)}} | + | * {{ :pp:24:cursuri:mihaela:curs12_4.pdf |Cursul 12 mini (4 slide-uri/pagină)}} |
| - | /* | + | * {{ :pp:24:cursuri:mihaela:curs13.pdf |Cursul 13: Rezumat.}} |
| - | * {{ :pp:23:cursuri:mihaela:curs7.hs |Exemple la calculator}} | + | * {{ :pp:24:cursuri:mihaela:curs13_4.pdf |Cursul 13 mini (4 slide-uri/pagină)}} |
| - | */ | + | |
| - | + | ||
| - | * {{ :pp:23:cursuri:mihaela:curs7b.pdf |Cursul 7b: Sinteză de tip.}} | + | |
| - | * {{ :pp:23:cursuri:mihaela:curs7b_4.pdf |Cursul 7b mini (4 slide-uri/pagină)}} | + | |
| - | + | ||
| - | * {{ :pp:23:cursuri:mihaela:curs8.pdf |Cursul 8: Polimorfism. Clase în Haskell.}} | + | |
| - | * {{ :pp:23:cursuri:mihaela:curs8_4.pdf |Cursul 8 mini (4 slide-uri/pagină)}} | + | |
| - | + | ||
| - | /* | + | |
| - | * {{ :pp:23:cursuri:mihaela:curs8.hs |Exemple la calculator}} | + | |
| - | */ | + | |
| - | + | ||
| - | * {{ :pp:23:cursuri:mihaela:curs9.pdf |Cursul 9: Logica propozițională. Logica cu predicate de ordinul întâi.}} | + | |
| - | * {{ :pp:23:cursuri:mihaela:curs9_4.pdf |Cursul 9 mini (4 slide-uri/pagină)}} | + | |
| - | + | ||
| - | * {{ :pp:23:cursuri:mihaela:curs10.pdf |Cursul 10: Limbajul Prolog.}} | + | |
| - | * {{ :pp:23:cursuri:mihaela:curs10_4.pdf |Cursul 10 mini (4 slide-uri/pagină)}} | + | |
| - | + | ||
| - | /* | + | |
| - | * {{ :pp:23:cursuri:mihaela:curs10.pl |Exemple la calculator}} | + | |
| - | */ | + | |
| - | + | ||
| - | * {{ :pp:23:cursuri:mihaela:curs11.pdf |Cursul 11: Metapredicate. Probleme de căutare în spațiul stărilor. Probleme de satisfacere a constrângerilor.}} | + | |
| - | * {{ :pp:23:cursuri:mihaela:curs11_4.pdf |Cursul 11 mini (4 slide-uri/pagină)}} | + | |
| - | + | ||
| - | /* | + | |
| - | * {{ :pp:23:cursuri:mihaela:curs11.zip |Exemple la calculator}} | + | |
| - | */ | + | |
| - | + | ||
| - | /* | + | |
| - | * {{ :pp:23:cursuri:mihaela:curs12.pdf |Cursul 12: Antrenament pentru testul grilă.}} | + | |
| - | */ | + | |
| - | + | ||
| - | * {{ :pp:23:cursuri:mihaela:curs13.pdf |Cursul 13: Rezumat.}} | + | |
| - | * {{ :pp:23:cursuri:mihaela:curs13_4.pdf |Cursul 13 mini (4 slide-uri/pagină)}} | + | |
