Paradigme de Programare

Unelte utilizator

Unelte site

Ești aici: Paradigme de Programare CA|CC|CD » 2020 » Cursuri » Tematică

Sidebar

General

Cursuri

Laboratoare

  1. Racket: Introducere
  2. Racket: Recursivitate
  3. Racket: Funcții ca valori. Funcționale
  4. Racket: Legarea variabilelor. Închideri funcționale
  5. Racket: Întârzierea evaluării
  6. Haskell: Introducere
  7. Haskell: Legarea variabilelor. Structuri de date infinite. Funcționale
  8. Haskell: Tipuri de date utilizator
  9. Haskell: Polimorfism și clase
  10. Prolog: Introducere
  11. Prolog: Probleme de căutare în spaţiul stărilor
  12. Prolog: Probleme

Teme

  1. Racket: Flappy Bird
  2. Haskell: Roll the Ball
  3. Prolog: Gigel
20:cursuri:mihnea

Tematică

  1. Introducere. Limbajul Racket. Modelul de evaluare bazat pe substituție textuală.
  2. Tipuri de recursivitate. Aspecte legate de complexitate. Tail-call optimization.
  3. Funcții ca valori de prim rang. Funcționale. Calculul lambda. Paradigma funcțională.
  4. Legarea variabilelor (statică/ dinamică/ mixtă). Modelul de evaluare contextuală.
  5. Întârzierea evaluării. Promisiuni. Fluxuri.
  6. Limbajul Haskell. Evaluare leneșă. Tipuri, sinteză de tip, tipuri de date utilizator.
  7. Rezolvarea problemelor utilizând evaluarea leneșă.
  8. Polimorfism parametric și ad-hoc în Haskell. Clase.
  9. Efecte laterale, transparență referențială. Comparație între paradigmele imperativă și funcțională.
  10. Limbajul Prolog. Ipoteza lumii închise. Înlănțuire înapoi (backward chaining).
  11. Logica propozițională și logica cu predicate de ordinul I. Forma normală conjunctivă (FNC), transformare în FNC, unificare, rezoluție. Paradigma logică.
  12. Rezolvarea problemelor în Prolog.
  13. Mașina algoritmică Markov. Paradigma asociativă. Recapitulare.
20/cursuri/mihnea.txt · Ultima modificare: 2020/02/17 11:15 de către Mihnea Muraru

Unelte pagină

Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki