• 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ă)