This shows you the differences between two versions of the page.
pp:23:cursuri:mihaela [2023/03/10 10:53] mihaela.balint |
pp:23:cursuri:mihaela [2023/05/23 17:55] (current) mihaela.balint |
||
---|---|---|---|
Line 19: | Line 19: | ||
* {{ :pp:23:cursuri:mihaela:curs4.pdf |Cursul 4: Transparență referențială. Legare statică / dinamică. Modelul contextual de evaluare.}} | * {{ :pp:23:cursuri:mihaela:curs4.pdf |Cursul 4: Transparență referențială. Legare statică / dinamică. Modelul contextual de evaluare.}} | ||
* {{ :pp:23:cursuri:mihaela:curs4_4.pdf |Cursul 4 mini (4 slide-uri/pagină)}} | * {{ :pp:23:cursuri:mihaela:curs4_4.pdf |Cursul 4 mini (4 slide-uri/pagină)}} | ||
- | | ||
- | /* | ||
* {{ :pp:23:cursuri:mihaela:curs4.rkt |Exemple la calculator}} | * {{ :pp:23:cursuri:mihaela:curs4.rkt |Exemple la calculator}} | ||
- | */ | ||
* {{ :pp:23:cursuri:mihaela:curs5.pdf |Cursul 5: Întârzierea evaluării. Închideri funcționale versus promisiuni. Fluxuri.}} | * {{ :pp:23:cursuri:mihaela:curs5.pdf |Cursul 5: Întârzierea evaluării. Închideri funcționale versus promisiuni. Fluxuri.}} | ||
* {{ :pp:23:cursuri:mihaela:curs5_4.pdf |Cursul 5 mini (4 slide-uri/pagină)}} | * {{ :pp:23:cursuri:mihaela:curs5_4.pdf |Cursul 5 mini (4 slide-uri/pagină)}} | ||
- | | ||
- | /* | ||
* {{ :pp:23:cursuri:mihaela:curs5.rkt |Exemple la calculator}} | * {{ :pp:23:cursuri:mihaela:curs5.rkt |Exemple la calculator}} | ||
* {{ :pp:23:cursuri:mihaela:curs5-inchideri.rkt |Exemplu de flux implementat cu închideri}} | * {{ :pp:23:cursuri:mihaela:curs5-inchideri.rkt |Exemplu de flux implementat cu închideri}} | ||
- | */ | ||
- | | ||
* {{ :pp:23:cursuri:mihaela:curs6.pdf |Cursul 6: Limbajul Haskell.}} | * {{ :pp:23:cursuri:mihaela:curs6.pdf |Cursul 6: Limbajul Haskell.}} | ||
* {{ :pp:23:cursuri:mihaela:curs6_4.pdf |Cursul 6 mini (4 slide-uri/pagină)}} | * {{ :pp:23:cursuri:mihaela:curs6_4.pdf |Cursul 6 mini (4 slide-uri/pagină)}} | ||
- | | ||
- | /* | ||
* {{ :pp:23:cursuri:mihaela:curs6.hs |Exemple la calculator}} | * {{ :pp:23:cursuri:mihaela:curs6.hs |Exemple la calculator}} | ||
- | */ | ||
* {{ :pp:23:cursuri:mihaela:curs7a.pdf |Cursul 7a: Tipare tare / slabă / statică / dinamică. Tipuri și expresii de tip. Tipuri definite de utilizator.}} | * {{ :pp:23:cursuri:mihaela:curs7a.pdf |Cursul 7a: Tipare tare / slabă / statică / dinamică. Tipuri și expresii de tip. Tipuri definite de utilizator.}} | ||
* {{ :pp:23:cursuri:mihaela:curs7a_4.pdf |Cursul 7a mini (4 slide-uri/pagină)}} | * {{ :pp:23:cursuri:mihaela:curs7a_4.pdf |Cursul 7a mini (4 slide-uri/pagină)}} | ||
- | | ||
- | /* | ||
* {{ :pp:23:cursuri:mihaela:curs7.hs |Exemple la calculator}} | * {{ :pp:23:cursuri:mihaela:curs7.hs |Exemple la calculator}} | ||
- | */ | ||
* {{ :pp:23:cursuri:mihaela:curs7b.pdf |Cursul 7b: Sinteză de tip.}} | * {{ :pp:23:cursuri:mihaela:curs7b.pdf |Cursul 7b: Sinteză de tip.}} | ||
Line 52: | Line 39: | ||
* {{ :pp:23:cursuri:mihaela:curs8.pdf |Cursul 8: Polimorfism. Clase în Haskell.}} | * {{ :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_4.pdf |Cursul 8 mini (4 slide-uri/pagină)}} | ||
- | | ||
- | /* | ||
* {{ :pp:23:cursuri:mihaela:curs8.hs |Exemple la calculator}} | * {{ :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.pdf |Cursul 9: Logica propozițională. Logica cu predicate de ordinul întâi.}} | ||
Line 62: | Line 46: | ||
* {{ :pp:23:cursuri:mihaela:curs10.pdf |Cursul 10: Limbajul Prolog.}} | * {{ :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_4.pdf |Cursul 10 mini (4 slide-uri/pagină)}} | ||
- | | ||
- | /* | ||
* {{ :pp:23:cursuri:mihaela:curs10.pl |Exemple la calculator}} | * {{ :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.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_4.pdf |Cursul 11 mini (4 slide-uri/pagină)}} | ||
- | | ||
- | /* | ||
* {{ :pp:23:cursuri:mihaela:curs11.zip |Exemple la calculator}} | * {{ :pp:23:cursuri:mihaela:curs11.zip |Exemple la calculator}} | ||
- | */ | ||
- | * Cursul 12 va fi un antrenament pentru testul grilă | + | * {{ :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.pdf |Cursul 13: Rezumat.}} | ||
* {{ :pp:23:cursuri:mihaela:curs13_4.pdf |Cursul 13 mini (4 slide-uri/pagină)}} | * {{ :pp:23:cursuri:mihaela:curs13_4.pdf |Cursul 13 mini (4 slide-uri/pagină)}} | ||