Open CourseWare
Recent changes
Login
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.
Curs 10 mini (4 slide-uri / pagină)
exemple Prolog
Curs 11: Metapredicate. Probleme de căutare în spațiul stărilor. Probleme de satisfacere a constrângerilor.
Curs 11 mini (4 slide-uri / pagină)
exemple Prolog
Curs 12: Antrenament pentru testul grilă.
Curs 12 mini (4 slide-uri / pagină)
Curs 13: Rezumat. (nu a fost predat, nu se cere la examen :-), este o punere în perspectivă a ceea ce am studiat tot semestrul)
Curs 13 mini (4 slide-uri / pagină)
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
Tipuri de Date Abstracte
Github
Teme
La cumpărături
pp/21/cursuri/mihaela.txt · Last modified: 2021/05/27 11:03 by mihaela.balint
Old revisions
Media Manager
Back to top
