Cursuri seria CC
Toate slide-urile
|
Slides 2x4
|
Slides 3x3
Capitolul 1: Introducere
notițe pe tablă
exemple consolă racket
,
cod sursă Racket, Haskell, Python, Java
Capitolul 2: Racket, legare și evaluare
exemplu Java
,
consolă Racket (partea de la început)
notițe pe tablă 4.03
exemple lucrate
Capitolul 3: calcul Lambda
notițe pe tablă 11.03
notițe pe tablă 18.03 și 25.03
Anexă recapitulativă calcul Lambda
Anexă opțională Lambda TDA
cod discutat la cursul din 25.03
Capitolul 4: Funcționale în Racket
Cod discutat la curs despre funcționale în Racket
notițe pe tablă 16.03
Capitolul 5: Evaluare întârziată în Racket
notițe pe tablă 30.03
cod discutat la curs:
prod
și
stream
Capitolul 6: Introducere în Haskell
cod discutat la curs
Capitolul 7: Tipuri în Haskell
notițe pe tablă 8.04 și 13.04
cod discutat la curs
Capitolul 8: Clase în Haskell
notițe pe tablă 15.04
cod discutat la curs
până inclusiv pe 22.04
graful pentru exemplul de la curs
Capitolul 9: Introducere în Prolog
notițe pe tablă
cod discutat la curs
Capitolul 10: Controlul execuției în Prolog
notițe pe tablă
cod discutat la curs
arbore de execuție
Capitolul 11: Logica cu predicate de ordinul I
notițe pe tablă
diagrame Venn
Capitolul 12: Căutarea în spațiul stărilor în Prolog
cod discutat la curs
graful pe care am lucrat
Capitolul 13: Căutarea tuturor soluțiilor în Prolog
cod discutat la curs
desen
Capitolul 14: Recapitulare
notițe pe tablă
Capitolul 15: Mașina algoritmică Markov
notițe pe tablă
Recapitulare subiecte
notițe
implementări Prolog