Open CourseWare
Recent changes
Login
Cursuri CC
Cursul 1: Introducere. Tipuri de date abstracte. Inducție structurală.
Notebook Curs 1
Cursul 2: Limbajul Racket. Recursivitate.
Schelet Racket
Schelet Racket rezolvat
Notebook Curs 2
Cursul 3: Calcul Lambda.
Schelet Racket
Schelet Racket pentru limbajul lambda-0
Schelet Racket pentru limbajul lambda-0 rezolvat
Notebook Curs 3
Cursul 4: Recursivitate pe stivă / pe coadă / arborescentă.
Schelet Racket
Schelet Racket rezolvat
Notebook Curs 4
Cursul 5: Funcții ca valori de ordinul întâi.
Schelet Racket
Schelet Racket rezolvat
Notebook Curs 5
Cursul 6: Abstractizare.
Schelet Racket
Schelet Racket rezolvat
Notebook Curs 6
Cursul 7: Transparență referențială. Legare statică / dinamică.
Schelet Racket
Schelet Racket rezolvat
Notebook Curs 7
Cursul 8: Modelul contextual de evaluare. Întârzierea evaluării.
Schelet Racket rezolvat
Notebook Curs 8
Cursul 9: Fluxuri.
Schelet Racket
Schelet Racket rezolvat
Implementare fluxuri cu închideri funcționale
Implementare Conway’s Game of Life
Notebook Curs 9
Cursul 10: Arhitectura programelor Racket.
Schelet Racket
Schelet Racket rezolvat
Fișier cu macro-uri
Notebook Curs 10
Schelet Racket - exerciții curs 11
Schelet Racket rezolvat
Cursul 12: Limbajul Haskell.
Schelet Haskell
Schelet Haskell rezolvat
Notebook Curs 12
Cursul 13: Limbajul Haskell - noțiuni avansate.
Schelet Haskell
Schelet Haskell rezolvat
Notebook Curs 13
Cursul 14: Tipare. Expresii de tip. Tipuri definite de utilizator.
Schelet Haskell
Schelet Haskell rezolvat
Notebook Curs 14
Cursul 15: Sinteză de tip.
Notebook Curs 15
Cursul 16: Polimorfism. Clase în Haskell.
Schelet Haskell
Schelet Haskell rezolvat
Notebook Curs 16
Cursul 17: Clase Haskell standard.
Schelet Haskell
Schelet Haskell rezolvat
Notebook Curs 17
Cursul 18: Raționament ecuațional.
Schelet Haskell (fără clase)
Schelet Haskell (cu clase)
Explicații suplimentare
Notebook Curs 18
General
Home
Punctaje
detalii tabel
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
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
Haskell: Raționamente funcționale
Fallback:
Github
Teme
La cumpărături
Haskell: Grafuri funcționale
pp/26/cursuri/mihaela.txt · Last modified: 2026/05/18 11:29 by mihaela.balint
Old revisions
Media Manager
Back to top
