Cursuri seria CC

Dați Feedback!

Feedback curs CC

Toate slide-urile + Format 8 slides pe pagină

• Curs 1: Introducere
  • exemple consolă racket, cod sursă Racket
  • consolă Haskell, cod sursă Prolog, exemplu Java, exemplu LaTeX, exemplu spreadsheet
• Curs 2: Programare funcțională în Racket + cod discutat la curs
• Curs 3: Funcționale în Racket
  • Cod discutat la curs + lucru la consolă
• Curs 4: Calcul Lambda
  • Rezumat reducere în calcul Lambda
  • Anexă opțională TDA
• Curs 5: Evaluare leneșă în Racket
  • cod discutat la curs
  • notițe pe "tablă"
  • cod fluxuri
  • notițe pe tablă la cursul de joi + exemple and/or map și quasiquote
  • Anexă opțională implementare promisiuni
• Curs 6: Introducere în Haskell
  • cod discutat la curs + "tabla" + consola
  • tabla de joi 26.03
• Curs 7: Tipare în Haskell
  • cod discutat la curs
  • tabla
  • cod discutat la curs - preview la ce o să facem data viitoare
  • cod discutat la curs 7 aprilie + consolă
• Curs 8: Clase în Haskell + cod discutat la curs 9 aprilie
• Curs 9: Aplicații clase:
  • cod discutat la curs
  • tabla + explicații pentru conversia lui nested list}} + graful pe care am lucrat
  • cod discutat la curs + tabla
  • Concluzie paradigma funcțională
• Curs 10: Introducere în Prolog și discuție despre programare funcțională
  • cod Haskell discutat la curs
  • cod Prolog discutat la curs
  • notițe pe tablă
  • curs 5.05: Cod discutat la curs și notițe pe tablă
• Curs 11: Logica cu predicate de ordinul I
  • notițe pe tablă + diagrame venn
  • notițe 12.05 + cod discutat la curs + graf
• Curs 13: Satisfacerea scopurilor în Prolog
  • cod discutat la curs
  • notițe pe tablă
  • consolă pentru prima parte
  • Slides raționament logic în Prolog
• Curs 14: mașina algoritmică Markov
  • notițe pe tablă