Differences
This shows you the differences between two versions of the page.
|
pp:21:cursuri:mihaela [2021/04/12 12:18] mihaela.balint |
pp:21:cursuri:mihaela [2021/05/27 11:03] (current) mihaela.balint |
||
|---|---|---|---|
| Line 27: | Line 27: | ||
| * {{: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.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: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.pdf|Curs 7b: Sinteză de tip.}} | ||
| Line 33: | Line 34: | ||
| * {{:pp:21:cursuri:mihaela:curs8.pdf|Curs 8: Polimorfism. Clase în Haskell.}} | * {{: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_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ă)}} | ||
| + | |||
| + | |||
