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
Aceasta e o versiune anterioară a paginii.
−
Cuprins
Cursuri seria CD
Cursul 1
Cursul 2
Cursul 3
Cursul 4
Cursul 5
Cursul 6
Cursul 7
Cursul 8
Cursul 9
Cursul 10
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ă)
Feedback
Ajutați-ne să avem un curs mai bun!
20/cursuri/mihaela.1587631116.txt.gz
· Ultima modificare: 2020/04/23 11:38 de către
Mihaela Balint
Unelte pagină
Arată sursa paginii
Versiuni anterioare
Legătură anterioară
La început