Open CourseWare
Recent changes
Login
This is an old revision of the document!
Cursuri CD
Curs 1: Introducere. Modele de evaluare. Limbajul Racket. Recursivitate.
Curs 1 mini (4 slide-uri / pagină)
exemple Racket
,
exemple Haskell
,
exemple Prolog
Curs 2: Recursivitate pe stivă / pe coadă / arborescentă. Calcul Lambda.
Curs 2 mini (4 slide-uri / pagină)
exemple Racket
Curs 3: Funcții ca valori de ordinul întâi. Funcționale. Abstractizare.
Curs 3 mini (4 slide-uri / pagină)
exemple Racket
Curs 4: Transparență referențială. Legare statică / dinamică. Modelul contextual de evaluare.
Curs 4 mini (4 slide-uri / pagină)
exemple Racket
Curs 5: Întârzierea evaluării. Închideri funcționale versus promisiuni. Fluxuri.
Curs 5 mini (4 slide-uri / pagină)
exemple Racket
,
implementare cu închideri
Curs 6: Limbajul Haskell.
Curs 6 mini (4 slide-uri / pagină)
exemple Haskell
Curs 7a: Tipare tare / slabă / statică / dinamică. Tipuri și expresii de tip. Tipuri definite de utilizator.
Curs 7a mini (4 slide-uri / pagină)
exemple Haskell
Curs 7b: Sinteză de tip.
Curs 7b mini (4 slide-uri / pagină)
Curs 8: Polimorfism. Clase în Haskell.
Curs 8 mini (4 slide-uri / pagină)
exemple Haskell
Curs 9: Logica propozițională. Logica cu predicate de ordinul întâi.
Curs 9 mini (4 slide-uri / pagină)
Curs 10: Limbajul Prolog.
exemple Prolog
General
Home
Punctaje
Regulament
Limbaje
Examene și teste
Bibliografie
Cursuri
CA
Curs
Codul de la curs
CB
Slides CB
Feedback CB
CC
Cursuri CC
Laboratoare
Github
Teme
Racket: Heap-uri de împerechere
Haskell: SAT Solving
Prolog: Light Up
pp/21/cursuri/mihaela.1619640539.txt.gz · Last modified: 2021/04/28 23:08 by mihaela.balint
Old revisions
Media Manager
Back to top
