Unelte utilizator
20:cursuri:mihaela
Diferențe
Aici sunt prezentate diferențele dintre versiunile selectate și versiunea curentă a paginii.
| Both sides previous revision Versiuni anterioare Urmatoarea versiune | Versiuni anterioare | ||
|
20:cursuri:mihaela [2020/02/18 23:42] Mihaela Balint [Cursuri seria CD] |
20:cursuri:mihaela [2020/05/20 12:41] (curent) Mihaela Balint |
||
|---|---|---|---|
| Linia 1: | Linia 1: | ||
| + | = Cursuri seria CD = | ||
| === Cursul 1 === | === Cursul 1 === | ||
| * {{ :20:cursuri:mihaela:curs1.pdf |Cursul 1: Introducere. Modele de evaluare. Limbajul Racket. Recursivitate.}} | * {{ :20:cursuri:mihaela:curs1.pdf |Cursul 1: Introducere. Modele de evaluare. Limbajul Racket. Recursivitate.}} | ||
| + | * {{ :20:cursuri:mihaela:curs1_4.pdf |Cursul 1 mini (4 slide-uri/pagină)}} | ||
| + | |||
| + | === Cursul 2 === | ||
| + | |||
| + | * {{ :20:cursuri:mihaela:curs2.pdf |Cursul 2: Recursivitate pe stivă / pe coadă / arborescentă. Calcul Lambda.}} | ||
| + | * {{ :20:cursuri:mihaela:curs2_4.pdf |Cursul 2 mini (4 slide-uri/pagină)}} | ||
| + | * {{ :20:cursuri:mihaela:curs2.rkt |Exemple la calculator - tipuri de recursivitate}} | ||
| + | |||
| + | === Cursul 3 === | ||
| + | |||
| + | * {{ :20:cursuri:mihaela:curs3.pdf |Cursul 3: Funcții ca valori de ordinul întâi. Funcționale. Abstractizare.}} | ||
| + | * {{ :20:cursuri:mihaela:curs3_4.pdf |Cursul 3 mini (4 slide-uri/pagină)}} | ||
| + | * {{ :20:cursuri:mihaela:curs3.rkt |Exemple la calculator - funcții ca valori de ordinul întâi}} | ||
| + | * {{ :20:cursuri:mihaela:curs3_b.rkt |Exemple la calculator - abstractizare}} | ||
| + | |||
| + | === Cursul 4 === | ||
| + | |||
| + | * {{ :20:cursuri:mihaela:curs4.pdf |Cursul 4: Transparență referențială. Legare statică / dinamică. Modelul contextual de evaluare.}} | ||
| + | * {{ :20:cursuri:mihaela:curs4_4.pdf |Cursul 4 mini (4 slide-uri/pagină)}} | ||
| + | * {{ :20:cursuri:mihaela:curs4.rkt |Exemple la calculator}} | ||
| + | |||
| + | === Cursul 5 === | ||
| + | |||
| + | * {{ :20:cursuri:mihaela:curs5.pdf |Cursul 5: Întârzierea evaluării. Închideri funcționale versus promisiuni. Fluxuri.}} | ||
| + | * {{ :20:cursuri:mihaela:curs5_4.pdf |Cursul 5 mini (4 slide-uri/pagină)}} | ||
| + | * {{ :20:cursuri:mihaela:curs5.rkt |Exemple la calculator}} | ||
| + | * {{ :20:cursuri:mihaela:curs5-inchideri.rkt |Exemplu - flux implementat cu închideri}} | ||
| + | |||
| + | === Cursul 6 === | ||
| + | |||
| + | * {{ :20:cursuri:mihaela:curs6.pdf |Cursul 6: Limbajul Haskell. Tipare tare / slabă / statică / dinamică. Tipuri și expresii de tip.}} | ||
| + | * {{ :20:cursuri:mihaela:curs6_4.pdf |Cursul 6 mini (4 slide-uri/pagină)}} | ||
| + | * {{ :20:cursuri:mihaela:curs6.hs |Exemple la calculator}} | ||
| + | |||
| + | === Cursul 7 === | ||
| + | |||
| + | * {{ :20:cursuri:mihaela:curs7.pdf |Cursul 7: Sinteză de tip.}} | ||
| + | * {{ :20:cursuri:mihaela:curs7_4.pdf |Cursul 7 mini (4 slide-uri/pagină)}} | ||
| + | |||
| + | === Cursul 8 === | ||
| + | |||
| + | * {{ :20:cursuri:mihaela:curs8.pdf |Cursul 8: Tipuri definite de utilizator. Polimorfism. Clase în Haskell.}} | ||
| + | * {{ :20:cursuri:mihaela:curs8_4.pdf |Cursul 8 mini (4 slide-uri/pagină)}} | ||
| + | * {{ :20:cursuri:mihaela:curs8.hs |Exemple la calculator}} | ||
| + | |||
| + | === Cursul 9 === | ||
| + | |||
| + | * {{ :20:cursuri:mihaela:curs9.pdf |Cursul 9: Logica propozițională. Logica cu predicate de ordinul întâi.}} | ||
| + | * {{ :20:cursuri:mihaela:curs9_4.pdf |Cursul 9 mini (4 slide-uri/pagină)}} | ||
| + | |||
| + | === Cursul 10 === | ||
| + | |||
| + | * {{ :20:cursuri:mihaela:curs10.pdf |Cursul 10: Limbajul Prolog.}} | ||
| + | * {{ :20:cursuri:mihaela:curs10_4.pdf |Cursul 10 mini (4 slide-uri/pagină)}} | ||
| + | * {{ :20:cursuri:mihaela:curs10.pl |Exemple la calculator}} | ||
| + | |||
| + | === Cursul 11 === | ||
| + | |||
| + | * {{ :20:cursuri:mihaela:curs11.pdf |Cursul 11: Metapredicate. Probleme de căutare în spațiul stărilor. Probleme de satisfacere a constrângerilor.}} | ||
| + | * {{ :20:cursuri:mihaela:curs11_4.pdf |Cursul 11 mini (4 slide-uri/pagină)}} | ||
| + | * {{ :20:cursuri:mihaela:curs11.zip |Exemple la calculator}} | ||
| + | |||
| + | === Cursul 12 === | ||
| + | |||
| + | * {{ :20:cursuri:mihaela:curs12.pdf |Cursul 12: Antrenament pentru testul grilă.}} | ||
| + | * {{ :20:cursuri:mihaela:curs12_4.pdf |Cursul 12 mini (4 slide-uri/pagină)}} | ||
| + | |||
| + | === Feedback === | ||
| + | * {{https://docs.google.com/forms/d/e/1FAIpQLSdZTShiCEDyxjymUPwLFA5gOfPEdzAHCsaODKpMMqLt-_XnYQ/viewform?usp=sf_link | Ajutați-ne să avem un curs mai bun!}} | ||
| + | |||
| + | |||
20/cursuri/mihaela.1582062134.txt.gz · Ultima modificare: 2020/02/18 23:42 de către Mihaela Balint
