Feedback continuu

• Curs 1: Introducere
  • exemple Java, Python, TeX
  • exemple Haskell
  • exemplu Prolog
  • cod Racket și output consolă
• Curs 2: Recursivitate în Racket – cod sursă
• Curs 3: Calcul Lambda
  • exemplu apariții în Racket
  • exemplu execuție Haskell
  • exemplu execuție Racket
  • Recapitulare calcul Lambda
  • Opțional: demonstrație recursivitate semantică pentru length
  • Opțional: Lambda TDA
• Curs 4: Funcționale în Racket
• Curs 4: Limbajul Racket; Legare
  • cod discutat la curs
• Curs 5: Evaluare întârziată în Racket
  • cod discutat la curs: prod, stream, cod Python, exemplu quote
  • cod Lazy BFS
• Curs 6: Introducere în Haskell
  • interogări consolă + cod discutat la curs
  • cod discutat despre evluare leneșă și point-free programming
• Curs 7: Tipuri în Haskell
  • cod și interogări la consolă
  • cod tipuri de date utilizator
• Curs 8: Clase în Haskell
  • cod discutat la curs
• Curs 9: Încheiere paradigma funcțională
• Curs 10: Introducere în Prolog
  • cod discutat la curs (inclusiv interogările de la consolă)
  • cod discutat în 20 mai și în 22 mai
• Curs 11: Logica cu predicate de ordinul I
• Curs 12: Algoritmi Markov