Cursuri seria CC
Toate slide-urile:
Individual
Handout 3x3
Capitolul 1: Introducere
exemplu Python
exemplu cod Prolog
introducere în Racket:
consolă
,
program
Capitolul 2/4: Programare funcțională în Racket
tipuri de recursivitate
funcționale
legare
Capitolul 3: Calcul Lambda
exemple în Racket
demonstrație recursivitate semantică
Capitolul 5: Evaluare leneșă în Racket
exemplu prod
fluxuri
exemplu generatoare python
Capitolul 6: Programare funcțională în Haskell
cod discutat la curs
+
interogări consolă
exemple programare point-free
+
interogări consolă
Capitolul 7: Tipuri în Haskell
cod discutat la curs
cod discutat la curs
18 aprilie
Capitolul 8: Clase în Haskell
cod discutat la curs
Capitolul 9: Recapitulare paradigma funcțională
Capitolul 10: Logica cu Predicate de Ordinul I
Capitolul 11: Introducere în Prolog
cod discutat
la cursul din 10 mai
cod discutat
la cursul din 16 mai
Capitolul 12: Legare și execuție în Prolog
cod discutat la curs
Capitolul 13: Mașina algoritmică Markov
Feedback continuu pentru cursul de la seria CC