mergi la conținut
Paradigme de Programare
Unelte utilizator
Autentificare
Unelte site
Caută
Unelte
Arată sursa paginii
Versiuni anterioare
Legătură anterioară
Modificări recente
Administrare media
Autentificare
>
Modificări recente
Administrare media
Ești aici:
Paradigme de Programare CA|CC|CD
»
2020
»
Cursuri
»
Cursuri seria CD
Sidebar
General
Home
Regulament
Limbaje
Examene și teste
Bibliografie
Punctaje
Cursuri
CA
Tematică
Slides
(v1)
Cod
(v1)
Feedback curs
CC
Slides CC
Feedback curs CC
CD
Cursuri CD
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: Legarea variabilelor. Structuri de date infinite. Funcționale
Haskell: Tipuri de date utilizator
Haskell: Polimorfism și clase
Prolog: Introducere
Prolog: Probleme de căutare în spaţiul stărilor
Prolog: Probleme
Teme
Racket: Flappy Bird
Haskell: Roll the Ball
Prolog: Gigel
20:cursuri:mihaela
Cuprins
Cursuri seria CD
Cursul 1
Cursul 2
Cursul 3
Cursul 4
Cursul 5
Cursul 6
Cursul 7
Cursul 8
Cursul 9
Cursul 10
Cursul 11
Cursul 12
Feedback
Cursuri seria CD
Cursul 1
Cursul 1: Introducere. Modele de evaluare. Limbajul Racket. Recursivitate.
Cursul 1 mini (4 slide-uri/pagină)
Cursul 2
Cursul 2: Recursivitate pe stivă / pe coadă / arborescentă. Calcul Lambda.
Cursul 2 mini (4 slide-uri/pagină)
Exemple la calculator - tipuri de recursivitate
Cursul 3
Cursul 3: Funcții ca valori de ordinul întâi. Funcționale. Abstractizare.
Cursul 3 mini (4 slide-uri/pagină)
Exemple la calculator - funcții ca valori de ordinul întâi
Exemple la calculator - abstractizare
Cursul 4
Cursul 4: Transparență referențială. Legare statică / dinamică. Modelul contextual de evaluare.
Cursul 4 mini (4 slide-uri/pagină)
Exemple la calculator
Cursul 5
Cursul 5: Întârzierea evaluării. Închideri funcționale versus promisiuni. Fluxuri.
Cursul 5 mini (4 slide-uri/pagină)
Exemple la calculator
Exemplu - flux implementat cu închideri
Cursul 6
Cursul 6: Limbajul Haskell. Tipare tare / slabă / statică / dinamică. Tipuri și expresii de tip.
Cursul 6 mini (4 slide-uri/pagină)
Exemple la calculator
Cursul 7
Cursul 7: Sinteză de tip.
Cursul 7 mini (4 slide-uri/pagină)
Cursul 8
Cursul 8: Tipuri definite de utilizator. Polimorfism. Clase în Haskell.
Cursul 8 mini (4 slide-uri/pagină)
Exemple la calculator
Cursul 9
Cursul 9: Logica propozițională. Logica cu predicate de ordinul întâi.
Cursul 9 mini (4 slide-uri/pagină)
Cursul 10
Cursul 10: Limbajul Prolog.
Cursul 10 mini (4 slide-uri/pagină)
Exemple la calculator
Cursul 11
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 la calculator
Cursul 12
Cursul 12: Antrenament pentru testul grilă.
Cursul 12 mini (4 slide-uri/pagină)
Feedback
Ajutați-ne să avem un curs mai bun!
20/cursuri/mihaela.txt
· Ultima modificare: 2020/05/20 12:41 de către
Mihaela Balint
Unelte pagină
Arată sursa paginii
Versiuni anterioare
Legătură anterioară
La început