Open CourseWare
Recent changes
Login
This is an old revision of the document!
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ă)
Cursul 5: Întârzierea evaluării. Închideri funcționale versus promisiuni. Fluxuri.
Cursul 5 mini (4 slide-uri/pagină)
Cursul 6: Limbajul Haskell.
Cursul 6 mini (4 slide-uri/pagină)
Cursul 7a: Tipare tare / slabă / statică / dinamică. Tipuri și expresii de tip. Tipuri definite de utilizator.
Cursul 7a mini (4 slide-uri/pagină)
Cursul 7b: Sinteză de tip.
Cursul 7b mini (4 slide-uri/pagină)
Cursul 8: Polimorfism. Clase în Haskell.
Cursul 8 mini (4 slide-uri/pagină)
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ă)
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ă)
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
Codul de la curs
CB
Slides CB
Feedback CB
CC
Cursuri CC
Laboratoare
Tipuri de Date Abstracte
Github
Teme
pp/22/cursuri/mihaela.1646992234.txt.gz · Last modified: 2022/03/11 11:50 by mihaela.balint
Old revisions
Media Manager
Back to top