https://ocw.cs.pub.ro/ppcarte/ 2026-04-14T17:25:20+03:00 https://ocw.cs.pub.ro/ppcarte/ https://ocw.cs.pub.ro/ppcarte/lib/tpl/bootstrap3/images/favicon.ico text/html 2024-05-23T12:09:55+03:00 https://ocw.cs.pub.ro/ppcarte/doku.php?id=pp:2024:l07&rev=1716455395&do=diff Lab 7. Lambda Calculus 7.0. What? Why? Lambda Calculus is a universal model of computation (can be used to simulate any Turing Machine) based on function abstraction and application. It has a very simple semantic that can be used to study properties of comput$ \lambda f.\lambda x.(f \ x) $$ x $$ x \in VARS $$ \lambda x.e $$ x \in VARS $$ e $$ \lambda $$ (e_1 \ e_2) $$ e_1, e_2 $$ \lambda $$\lambda$$ \lambda x.e $$(\lambda x.body \ param)$$ body[x \ / \ param] $$ E_1 = (\lambda x.e_1 \ e_2) $$ … text/html 2024-04-19T23:54:40+03:00 https://ocw.cs.pub.ro/ppcarte/doku.php?id=pp:2024:l08&rev=1713560080&do=diff Lab 8. Intro to Haskell 8.1 Getting to know Haskell Prequisites: having a working haskell environment (Haskell Environment) Haskell is a general-purpose, purely functional programming language, that we will use for the rest of the semester to showcase functional patterns and programming styles. $ a $$ f $$ a $$ b $$ f $$ \{1,2\}$$ \{2^n \mid n\in\mathbb{N}\}$ text/html 2024-04-29T15:57:18+03:00 https://ocw.cs.pub.ro/ppcarte/doku.php?id=pp:2024:l09&rev=1714395438&do=diff 9. Lazy Evaluation When passing parameters to a function, programming language design offers two options which are not mutually exclusive (both strategies can be implemented in the language): * applicative (also called strict) evaluation strategy:$ n $$ 2$$ parent + 1$$ parent * 2$$ \lvert s_n - s_{n+1} \rvert < e$$ \displaystyle \lim_{n \rightarrow \infty} \frac{F_{n+1}}{F_n} = \varphi$$ F_n$$ \varphi$$ a_{n+1} = a_n + sin(a_n)$$ a_0$$ a_{n+1} != a_n$$ \displaystyle \lim_{n \rightarrow \inf… text/html 2024-05-13T16:12:16+03:00 https://ocw.cs.pub.ro/ppcarte/doku.php?id=pp:2024:l10&rev=1715605936&do=diff Lab 10. Algebraic Data Types Types are an essential component in Haskell. They start with capital letters, like Int. We have multiple ways of customizing data types. Type Aliases The type keyword is used to introduce type aliases (new names for already existing$ 2^n$ text/html 2025-05-09T20:59:30+03:00 https://ocw.cs.pub.ro/ppcarte/doku.php?id=pp:2024:l11&rev=1746813570&do=diff Lab 11. Functors & Monads 11.0. Understanding Functors and Monads Functor The Functor typeclass represents the mathematical functor: a mapping between categories. In Haskell, Functors are defined as follows: class Functor m where fmap :: (a -> b) -> f a -> f b $(>>=)$ text/html 2024-02-25T15:21:01+03:00 https://ocw.cs.pub.ro/ppcarte/doku.php?id=pp:2024:plagiarism&rev=1708867261&do=diff Reguli de integritate academica Conform regulamentului de desfasurare a studiilor de licenta (articolul 51. punctele d. si i.), studentul are obligatia de a respecta regulile de etica universitara si deontologie academica, specificate in Carta UPB. In cadrul acesteia din urma (articolul 45. punctul 13) a., plagiatul constituie o abatere grava text/html 2024-04-25T10:34:43+03:00 https://ocw.cs.pub.ro/ppcarte/doku.php?id=pp:2024:rules&rev=1714030483&do=diff Regulament 2023-2024 Punctaj * Parcurs: 6p (+0.5p bonus) * Examen: 4p Punctajul pe parcurs constă în: * teme(cod): 4p * curs: 1p (+0.5p bonus) * laborator: 1p * punctajul pe parcurs NU se va trunchia la 6p Conditii minimale pentru promovare text/html 2025-02-22T23:33:57+03:00 https://ocw.cs.pub.ro/ppcarte/doku.php?id=pp:2024:sidebar&rev=1740260037&do=diff PP 2023 - 2024 * PP 2022-2023 * Team * Rules * Plagiarism * Resurse * Scala Environment * Scala Cheatsheet * Haskell Environment * Ghid de utilizare Hoogle * Haskell Cheatsheet * Labs * L00: Scala Environment Setup * L01: Recursivity in Scala * L02: High Order Functions * L03: Lists in Scala * L04: Data types in Scala * L05: Variance and Implicits * L06: For expressions * L07: Lambda Calculus * L08: Intro… text/html 2024-03-04T07:34:42+03:00 https://ocw.cs.pub.ro/ppcarte/doku.php?id=pp:2024:team&rev=1709530482&do=diff Paradigme de Programare 2023-2024 Echipa * Matei POPOVICI * Mihai-Valentin DUMITRU * Alexandra UDRESCU * Theo PRUTEANU * Mihai UDUBASA * Costin VLAD * Robert STOICA * Alexia CIUCLEA * Tudor CONDREA * Andreea CHIRITA Curs Frecvență Zi Interval orar Sală Profesor săptămânal Miercuri 12:00-14:00 PR001 Matei POPOVICI săptămâni impare Marți 12:00-14:00 text/html 2024-04-01T14:22:06+03:00 https://ocw.cs.pub.ro/ppcarte/doku.php?id=pp:2024:tema1&rev=1711970526&do=diff Tema 1: Regresie Liniara Deadline: 12 aprilie 2024 Schelet de cod: splitsplit * Efecte laterale (de exemplu modificarea parametrilor dați ca input la funcție) * var (val este ok!) * REZOLVARILE IDENTICE CU CELE DIN CHECKER NU VOR FI PUNCTATE$ x$$ y$$ y = a*x + b$$ a$$ b$$ x$$ y$$ y(x)$$ y = 118.06894201605218 * x + 0.2687269842929364$$ x$$ y$$ y = a*x + b$$ x$$ y$$ y = a*x_0 + b*x_1 + c$$ x_0$$ x_1$$ a$$ b$$ c$$ 1 / percentage - 1$\(b\)\(y = a \cdot x + b\)\(a\)\(b\)\(y = a \cdot x +… text/html 2024-04-23T23:06:38+03:00 https://ocw.cs.pub.ro/ppcarte/doku.php?id=pp:2024:tema2&rev=1713902798&do=diff Tema 2 PP 2024 DEADLINE 5 MAI 23:59 * Temele trebuie submise pe curs.upb.ro, in assignment-ul numit Tema 2 Scala. * Temele ce nu sunt acceptate de validatorul de arhive NU vor fi puncate. * Vom folosi vesiunea Scala 3.3.1 si JDK 21. Folosiți un stil de programare funcțional. NU se vor accepta: text/html 2024-05-03T09:49:54+03:00 https://ocw.cs.pub.ro/ppcarte/doku.php?id=pp:2024:tema3&rev=1714718994&do=diff Lambda Calculus Interpreter Deadline: * Temele trebuie submise pe curs.upb.ro, în assignment-ul Tema 3. * Pentru întrebări folosiți forum-ul dedicat de pe curs.upb.ro. În cadrul acestei teme va trebui să realizezi un interpretor de expresii lambda în Haskell. $( \lambda x.e_1 \ e_2 $$\beta$$\beta$$(\lambda x.\lambda y.(x \ y) \ \lambda x.y)$$\lambda y.(\lambda x.y \ y)$$ y$$\lambda x.y$$\lambda y.$$\lambda a.(\lambda x.y \ a)$$\beta$$ TRUE $$\lambda x.FALSE $$ \lambda x.(NOT \ \lambda y.AN…