• 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
• Programare în Calcul Lambda

• 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

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

• Cursul 8: Polimorfism. Clase în Haskell.
• Cursul 8 mini (4 slide-uri/pagină)
• Exemple la calculator

• 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

• 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 de căutare în spațiul stărilor
• Probleme de satisfacere a constrângerilor

• Cursul 12: Antrenament pentru testul grilă.
• Cursul 12 mini (4 slide-uri/pagină)

• Cursul 13: Rezumat.
• Cursul 13 mini (4 slide-uri/pagină)