Differences
This shows you the differences between two versions of the page.
|
pp:21:cursuri:mihaela [2021/03/29 13:03] mihaela.balint |
pp:21:cursuri:mihaela [2021/05/27 11:03] (current) mihaela.balint |
||
|---|---|---|---|
| Line 14: | Line 14: | ||
| * {{:pp:21:cursuri:mihaela:curs4.pdf|Curs 4: Transparență referențială. Legare statică / dinamică. Modelul contextual de evaluare.}} | * {{:pp:21:cursuri:mihaela:curs4.pdf|Curs 4: Transparență referențială. Legare statică / dinamică. Modelul contextual de evaluare.}} | ||
| + | * {{:pp:21:cursuri:mihaela:curs4_4.pdf|Curs 4 mini (4 slide-uri / pagină)}} | ||
| * {{:pp:21:cursuri:mihaela:curs4.rkt|exemple Racket}} | * {{:pp:21:cursuri:mihaela:curs4.rkt|exemple Racket}} | ||
| * {{:pp:21:cursuri:mihaela:curs5.pdf|Curs 5: Întârzierea evaluării. Închideri funcționale versus promisiuni. Fluxuri.}} | * {{:pp:21:cursuri:mihaela:curs5.pdf|Curs 5: Întârzierea evaluării. Închideri funcționale versus promisiuni. Fluxuri.}} | ||
| + | * {{:pp:21:cursuri:mihaela:curs5_4.pdf|Curs 5 mini (4 slide-uri / pagină)}} | ||
| + | * {{:pp:21:cursuri:mihaela:curs5.rkt|exemple Racket}}, {{:pp:21:cursuri:mihaela:curs5-inchideri.rkt|implementare cu închideri}} | ||
| + | |||
| + | * {{:pp:21:cursuri:mihaela:curs6.pdf|Curs 6: Limbajul Haskell.}} | ||
| + | * {{:pp:21:cursuri:mihaela:curs6_4.pdf|Curs 6 mini (4 slide-uri / pagină)}} | ||
| + | * {{:pp:21:cursuri:mihaela:curs6.hs|exemple Haskell}} | ||
| + | |||
| + | * {{:pp:21:cursuri:mihaela:curs7a.pdf|Curs 7a: Tipare tare / slabă / statică / dinamică. Tipuri și expresii de tip. Tipuri definite de utilizator.}} | ||
| + | * {{:pp:21:cursuri:mihaela:curs7a_4.pdf|Curs 7a mini (4 slide-uri / pagină)}} | ||
| + | * {{:pp:21:cursuri:mihaela:curs7.hs|exemple Haskell}} | ||
| + | |||
| + | * {{:pp:21:cursuri:mihaela:curs7b.pdf|Curs 7b: Sinteză de tip.}} | ||
| + | * {{:pp:21:cursuri:mihaela:curs7b_4.pdf|Curs 7b mini (4 slide-uri / pagină)}} | ||
| + | |||
| + | * {{:pp:21:cursuri:mihaela:curs8.pdf|Curs 8: Polimorfism. Clase în Haskell.}} | ||
| + | * {{:pp:21:cursuri:mihaela:curs8_4.pdf|Curs 8 mini (4 slide-uri / pagină)}} | ||
| + | * {{:pp:21:cursuri:mihaela:curs8.hs|exemple Haskell}} | ||
| + | |||
| + | * {{:pp:21:cursuri:mihaela:curs9.pdf|Curs 9: Logica propozițională. Logica cu predicate de ordinul întâi.}} | ||
| + | * {{:pp:21:cursuri:mihaela:curs9_4.pdf|Curs 9 mini (4 slide-uri / pagină)}} | ||
| + | |||
| + | * {{:pp:21:cursuri:mihaela:curs10.pdf|Curs 10: Limbajul Prolog.}} | ||
| + | * {{:pp:21:cursuri:mihaela:curs10_4.pdf|Curs 10 mini (4 slide-uri / pagină)}} | ||
| + | * {{:pp:21:cursuri:mihaela:curs10.pl|exemple Prolog}} | ||
| + | |||
| + | * {{:pp:21:cursuri:mihaela:curs11.pdf|Curs 11: Metapredicate. Probleme de căutare în spațiul stărilor. Probleme de satisfacere a constrângerilor.}} | ||
| + | * {{:pp:21:cursuri:mihaela:curs11_4.pdf|Curs 11 mini (4 slide-uri / pagină)}} | ||
| + | * {{:pp:21:cursuri:mihaela:curs11.zip|exemple Prolog}} | ||
| + | |||
| + | * {{:pp:21:cursuri:mihaela:curs12.pdf|Curs 12: Antrenament pentru testul grilă.}} | ||
| + | * {{:pp:21:cursuri:mihaela:curs12_4.pdf|Curs 12 mini (4 slide-uri / pagină)}} | ||
| + | |||
| + | * {{:pp:21:cursuri:mihaela:curs13.pdf|Curs 13: Rezumat. (nu a fost predat, nu se cere la examen :-), este o punere în perspectivă a ceea ce am studiat tot semestrul)}} | ||
| + | * {{:pp:21:cursuri:mihaela:curs13_4.pdf|Curs 13 mini (4 slide-uri / pagină)}} | ||
| + | |||
| + | |||
| + | |||
