Open CourseWare
Recent changes
Login
Cursuri CD
Cursul 1: Introducere. Modele de evaluare. Limbajul Racket. Recursivitate.
Cursul 1 mini (4 slide-uri/pagină)
Exemple Racket
Exemple Haskell
Exemple Prolog
Cursul 2: Recursivitate pe stivă / pe coadă / arborescentă. Calcul Lambda.
Cursul 2 mini (4 slide-uri/pagină)
Exemple la calculator
Cursul 3: Funcții ca valori de ordinul întâi. Funcționale. Abstractizare.
Cursul 3 mini (4 slide-uri/pagină)
Exemple la calculator
Cursul 4: Transparență referențială. Legare statică / dinamică. Modelul contextual de evaluare.
Cursul 4 mini (4 slide-uri/pagină)
Exemple la calculator
Cursul 5: Întârzierea evaluării. Închideri funcționale versus promisiuni. Fluxuri.
Cursul 5 mini (4 slide-uri/pagină)
Exemple la calculator
Exemplu de flux implementat cu închideri
Soluție și barem pentru testul 2 de curs
Cursul 6: Limbajul Haskell.
Cursul 6 mini (4 slide-uri/pagină)
Exemple la calculator
Cursul 7a: Tipare tare / slabă / statică / dinamică. Tipuri și expresii de tip. Tipuri definite de utilizator.
Cursul 7a mini (4 slide-uri/pagină)
Exemple la calculator
Cursul 7b: Sinteză de tip.
Cursul 7b mini (4 slide-uri/pagină)
Soluție și barem pentru testul 3 de curs
Cursul 8: Polimorfism. Clase în Haskell.
Cursul 8 mini (4 slide-uri/pagină)
Exemple la calculator
Soluție și barem pentru testul 4 de curs
Cursul 9: Logica propozițională. Logica cu predicate de ordinul întâi.
Cursul 9 mini (4 slide-uri/pagină)
Cursul 10: Limbajul Prolog.
Cursul 10 mini (4 slide-uri/pagină)
Exemple la calculator
Soluție și barem pentru testul 5 de curs
Cursul 11: Metapredicate. Probleme de căutare în spațiul stărilor. Probleme de satisfacere a constrângerilor.
Cursul 11 mini (4 slide-uri/pagină)
Exemple la calculator
Cursul 12 va fi un antrenament pentru testul grilă
Cursul 13: Rezumat.
Cursul 13 mini (4 slide-uri/pagină)
General
Home
Punctaje
Regulament
Limbaje
Examene și teste
Bibliografie
Cursuri
CA
Curs
Feedback curs (seria CA)
CB
Cursuri CB
CC
Slides CC
Laboratoare
Racket: Introducere
Racket: Recursivitate
Racket: Funcții ca valori. Funcționale
Racket: Legarea variabilelor. Închideri funcționale
Racket: Întârzierea evaluării
Haskell: Introducere
Haskell: Evaluare leneșă, programare point-free și list comprehensions
Haskell: Tipuri de date utilizator
Haskell: Polimorfism și clase
Teme
Racket: Arbori de sufixe
Haskell: Imagini funcționale
pp/22/cursuri/mihaela.txt · Last modified: 2022/05/26 06:24 by mihaela.balint
Old revisions
Media Manager
Back to top
