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
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
Prolog: Introducere
Prolog: Legare și execuție
Prolog: Probleme de căutare în spaţiul stărilor
Teme
Racket: Arbori de sufixe
Haskell: Imagini funcționale
Prolog: Bloxorz
pp/21/cursuri/mihaela.txt · Last modified: 2021/05/27 11:03 by mihaela.balint
Old revisions
Media Manager
Back to top
