• Capitolul 1: Introducere
  • exemple folosind cod Java, Python, LaTeX
  • exemplu cod Prolog
  • introducere în Racket: consolă, program
• Capitolul 2: Programare funcțională în Racket
  • tipuri de recursivitate
• Capitolul 3: Calcul Lambda
  • cod Racket discutat la curs
  • recapitulare calcul Lambda
  • opțional: implementare TDA în calcul lambda și demonstrație recursivitate semantică pentru length
• Capitolul 4: Racket+
  • funcții curry și funcționale
  • structuri care leagă
• Capitolul 5: Evaluare întârziată în Racket
  • implementare prod
  • fluxuri
  • exemplu Java
  • opțional: implementare Promisiuni în Racket
• Capitolul 6: Programare funcțională în Haskell
  • cod scris la curs (6 aprilie și 13 aprilie)
• Capitolul 7: Tipuri în Haskell
  • cod scris la curs, include ce am discutat la clase
• Capitolul 8: Clase în Haskell
  • opțional: Monade în Haskell
  • plus codul din fișierul de la capitolul 7
• Capitolul 9: Paradigma funcțională și paradigme în general
• Capitolul 10: Introducere în Prolog
  • cod discutat la curs + interogări consolă
• Capitolul 11: Logica cu predicate de ordinul I
  • cod discutat la curs + interogări consolă

Feedback pentru cursul de la seria CC