https://elf.cs.pub.ro/pp/ Sun, 12 Apr 2026 04:57:13 +0000 FeedCreator 1.8 https://elf.cs.pub.ro/pp/lib/tpl/dokuwiki/images/favicon.ico https://elf.cs.pub.ro/pp/ https://elf.cs.pub.ro/pp/20/cursuri/andrei?rev=1590996405&do=diff Cursuri seria CC Dați Feedback! Feedback curs CC [Toate slide-urile] + [Format 8 slides pe pagină] * [Curs 1: Introducere] * [exemple consolă racket], [cod sursă Racket] * [consolă Haskell], [cod sursă Prolog], [ exemplu Java], [exemplu LaTeX], exemplu spreadsheet * [Curs 2: Programare funcțională în Racket] + [cod discutat la curs] * Curs 3: Funcționale în Racket * [Cod discutat la curs] + [lucru la consolă] * [Curs 4: Calcul Lambda] * [Rezumat reducere în calcul Lambd… anonymous@undisclosed.example.com (Anonymous) 20:cursuri Mon, 01 Jun 2020 10:26:45 +0000 https://elf.cs.pub.ro/pp/20/cursuri/home?rev=1581930866&do=diff Cursuri cursuri index anonymous@undisclosed.example.com (Anonymous) 20:cursuri Mon, 17 Feb 2020 11:14:26 +0000 https://elf.cs.pub.ro/pp/20/cursuri/mihaela?rev=1589967700&do=diff 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… anonymous@undisclosed.example.com (Anonymous) 20:cursuri Wed, 20 May 2020 12:41:40 +0000 https://elf.cs.pub.ro/pp/20/cursuri/mihnea?rev=1581930914&do=diff Tematică * Introducere. Limbajul Racket. Modelul de evaluare bazat pe substituție textuală. * Tipuri de recursivitate. Aspecte legate de complexitate. Tail-call optimization. * Funcții ca valori de prim rang. Funcționale. Calculul lambda. Paradigma funcțională. anonymous@undisclosed.example.com (Anonymous) 20:cursuri Mon, 17 Feb 2020 11:15:14 +0000