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