<?xml version="1.0" encoding="utf-8"?>
<!-- generator="FeedCreator 1.7.2-ppt DokuWiki" -->
<?xml-stylesheet href="https://ocw.cs.pub.ro/ppcarte/lib/exe/css.php?s=feed" type="text/css"?>
<rdf:RDF
    xmlns="http://purl.org/rss/1.0/"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
    xmlns:dc="http://purl.org/dc/elements/1.1/">
    <channel rdf:about="https://ocw.cs.pub.ro/ppcarte/feed.php">
        <title>books</title>
        <description></description>
        <link>https://ocw.cs.pub.ro/ppcarte/</link>
        <image rdf:resource="https://ocw.cs.pub.ro/ppcarte/lib/tpl/bootstrap3/images/favicon.ico" />
       <dc:date>2026-04-25T14:45:19+03:00</dc:date>
        <items>
            <rdf:Seq>
                <rdf:li rdf:resource="https://ocw.cs.pub.ro/ppcarte/doku.php?id=fp2025:lab07&amp;rev=1777038207&amp;do=diff"/>
                <rdf:li rdf:resource="https://ocw.cs.pub.ro/ppcarte/doku.php?id=fp2025:hw1&amp;rev=1777015043&amp;do=diff"/>
                <rdf:li rdf:resource="https://ocw.cs.pub.ro/ppcarte/doku.php?id=fp2025:lab08&amp;rev=1776952372&amp;do=diff"/>
                <rdf:li rdf:resource="https://ocw.cs.pub.ro/ppcarte/doku.php?id=sidebar&amp;rev=1776950568&amp;do=diff"/>
                <rdf:li rdf:resource="https://ocw.cs.pub.ro/ppcarte/doku.php?id=lab0800&amp;rev=1776949297&amp;do=diff"/>
                <rdf:li rdf:resource="https://ocw.cs.pub.ro/ppcarte/doku.php?id=fp2025:lab05&amp;rev=1776325982&amp;do=diff"/>
                <rdf:li rdf:resource="https://ocw.cs.pub.ro/ppcarte/doku.php?id=pp:2026:scala:l07&amp;rev=1776271154&amp;do=diff"/>
                <rdf:li rdf:resource="https://ocw.cs.pub.ro/ppcarte/doku.php?id=pp:2026:scala:l06&amp;rev=1775483824&amp;do=diff"/>
                <rdf:li rdf:resource="https://ocw.cs.pub.ro/ppcarte/doku.php?id=pp:2026:scala:t01&amp;rev=1775246502&amp;do=diff"/>
                <rdf:li rdf:resource="https://ocw.cs.pub.ro/ppcarte/doku.php?image=pp%3A2026%3Ascala%3Atema1_pp_2026_skel_v3.zip&amp;ns=pp%3A2026%3Ascala&amp;rev=1774890805&amp;tab_details=history&amp;mediado=diff&amp;do=media"/>
                <rdf:li rdf:resource="https://ocw.cs.pub.ro/ppcarte/doku.php?image=pp%3A2026%3Ascala%3Atema1_pp_2026_skel_v2.zip&amp;ns=pp%3A2026%3Ascala&amp;rev=1774630535&amp;tab_details=history&amp;mediado=diff&amp;do=media"/>
                <rdf:li rdf:resource="https://ocw.cs.pub.ro/ppcarte/doku.php?image=pp%3A2026%3Ascala%3Atema1_pp_2026_skel_v1.zip&amp;ns=pp%3A2026%3Ascala&amp;rev=1774458260&amp;tab_details=history&amp;mediado=diff&amp;do=media"/>
                <rdf:li rdf:resource="https://ocw.cs.pub.ro/ppcarte/doku.php?image=aa%3Alab%3Asol%3Akernelization-sol.zip&amp;ns=aa%3Alab%3Asol&amp;rev=1768820490&amp;tab_details=history&amp;mediado=diff&amp;do=media"/>
                <rdf:li rdf:resource="https://ocw.cs.pub.ro/ppcarte/doku.php?image=aa%3Alab%3Agraph-example.zip&amp;ns=aa%3Alab&amp;rev=1768820286&amp;tab_details=history&amp;mediado=diff&amp;do=media"/>
                <rdf:li rdf:resource="https://ocw.cs.pub.ro/ppcarte/doku.php?image=lfa%3A2025%3Aproiect%3Alfa2025_skel_etapa2_v3.zip&amp;ns=lfa%3A2025%3Aproiect&amp;rev=1767097604&amp;tab_details=history&amp;mediado=diff&amp;do=media"/>
                <rdf:li rdf:resource="https://ocw.cs.pub.ro/ppcarte/doku.php?image=lfa%3A2025%3Aproiect%3Alfa2025_skel_etapa2_v2.zip&amp;ns=lfa%3A2025%3Aproiect&amp;rev=1766409613&amp;tab_details=history&amp;mediado=diff&amp;do=media"/>
                <rdf:li rdf:resource="https://ocw.cs.pub.ro/ppcarte/doku.php?image=aa%3Alab%3Asol%3Asol.zip&amp;ns=aa%3Alab%3Asol&amp;rev=1765803854&amp;tab_details=history&amp;mediado=diff&amp;do=media"/>
                <rdf:li rdf:resource="https://ocw.cs.pub.ro/ppcarte/doku.php?image=aa%3Alab%3Alab.zip&amp;ns=aa%3Alab&amp;rev=1765801774&amp;tab_details=history&amp;mediado=diff&amp;do=media"/>
                <rdf:li rdf:resource="https://ocw.cs.pub.ro/ppcarte/doku.php?image=aa%3Atext_editor.zip&amp;ns=aa&amp;rev=1765315410&amp;tab_details=history&amp;mediado=diff&amp;do=media"/>
                <rdf:li rdf:resource="https://ocw.cs.pub.ro/ppcarte/doku.php?image=lfa%3A2025%3Aproiect%3Alfa2025_skel_etapa2.zip&amp;ns=lfa%3A2025%3Aproiect&amp;rev=1764081744&amp;tab_details=history&amp;mediado=diff&amp;do=media"/>
            </rdf:Seq>
        </items>
    </channel>
    <image rdf:about="https://ocw.cs.pub.ro/ppcarte/lib/tpl/bootstrap3/images/favicon.ico">
        <title>books</title>
        <link>https://ocw.cs.pub.ro/ppcarte/</link>
        <url>https://ocw.cs.pub.ro/ppcarte/lib/tpl/bootstrap3/images/favicon.ico</url>
    </image>
    <item rdf:about="https://ocw.cs.pub.ro/ppcarte/doku.php?id=fp2025:lab07&amp;rev=1777038207&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2026-04-24T16:43:27+03:00</dc:date>
        <dc:creator>andrei.nicola</dc:creator>
        <title>fp2025:lab07</title>
        <link>https://ocw.cs.pub.ro/ppcarte/doku.php?id=fp2025:lab07&amp;rev=1777038207&amp;do=diff</link>
        <description>Lab 07: Matrices

7.1. Integer Matrices

In the first part of this lab, we will work with matrices of integers:


type Matrix = List[List[Int]]


You can use higher-order functions of for expressions at your leisure.

7.1.1. Write a function which computes the</description>
    </item>
    <item rdf:about="https://ocw.cs.pub.ro/ppcarte/doku.php?id=fp2025:hw1&amp;rev=1777015043&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2026-04-24T10:17:23+03:00</dc:date>
        <dc:creator>andrei.nicola</dc:creator>
        <title>fp2025:hw1</title>
        <link>https://ocw.cs.pub.ro/ppcarte/doku.php?id=fp2025:hw1&amp;rev=1777015043&amp;do=diff</link>
        <description>Homework 1. Sets as functions

Problem statement

Sets are unordered collections of unique elements. There are several ways to store sets. One of them relies on characteristic functions. Such functional sets are especially useful if we expect many insert/retrieve$ A \subseteq U$$ f: U \rightarrow \{0,1\}$$ f(x) = 1$$ x \in A$$ f(x) = 0$$ x \not\in A$$ U$$ \{1,2,3\}$$ e$$ s$$ e \in s$$ x$$ s$$ \{x\} \cup s$$ \{start, start+1, \ldots, stop\}$$ start \leq stop$$ b + e_0 + e_1 + \ldots e_n$$ e_i$$ […</description>
    </item>
    <item rdf:about="https://ocw.cs.pub.ro/ppcarte/doku.php?id=fp2025:lab08&amp;rev=1776952372&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2026-04-23T16:52:52+03:00</dc:date>
        <dc:creator>silviu</dc:creator>
        <title>fp2025:lab08</title>
        <link>https://ocw.cs.pub.ro/ppcarte/doku.php?id=fp2025:lab08&amp;rev=1776952372&amp;do=diff</link>
        <description>Lab 08: Games

We are going to implement a Snake game in Scala. Please download the code for the game from OOFP-snake and you will need to install the Gradle plugin for VSCode (for Intellij it works out of the box). To run the code from VSCode run it from the Gradle plugin</description>
    </item>
    <item rdf:about="https://ocw.cs.pub.ro/ppcarte/doku.php?id=sidebar&amp;rev=1776950568&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2026-04-23T16:22:48+03:00</dc:date>
        <dc:creator>silviu</dc:creator>
        <title>sidebar</title>
        <link>https://ocw.cs.pub.ro/ppcarte/doku.php?id=sidebar&amp;rev=1776950568&amp;do=diff</link>
        <description>Books

	*   Main
		*  Regulament
		*  Lectures:
			*  TBA

		*  Labs:
			*  Laboratorul 1 - Text editor
			*  Laboratorul 2 - Notații asimptotice și analiză amortizată
			*  Laboratorul 3 - Analiză Amortizată și TDA-uri
			*  Laboratorul 4 - Inducție structurală
			*  Laboratorul 5 - Analiză Probabilistă în Hashing
			*  Laboratorul 6 - Recurențe
			*  Laboratorul 7 - Recurențe 2
			*  Laboratorul 8 - Arbori Binari de Căutare
			*  Laboratorul 9 - Arbori Echilibrați
			*  Laboratorul 10 - Proble…</description>
    </item>
    <item rdf:about="https://ocw.cs.pub.ro/ppcarte/doku.php?id=lab0800&amp;rev=1776949297&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2026-04-23T16:01:37+03:00</dc:date>
        <dc:creator>silviu</dc:creator>
        <title>lab0800 - created</title>
        <link>https://ocw.cs.pub.ro/ppcarte/doku.php?id=lab0800&amp;rev=1776949297&amp;do=diff</link>
        <description>Test</description>
    </item>
    <item rdf:about="https://ocw.cs.pub.ro/ppcarte/doku.php?id=fp2025:lab05&amp;rev=1776325982&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2026-04-16T10:53:02+03:00</dc:date>
        <dc:creator>silviu</dc:creator>
        <title>fp2025:lab05</title>
        <link>https://ocw.cs.pub.ro/ppcarte/doku.php?id=fp2025:lab05&amp;rev=1776325982&amp;do=diff</link>
        <description>Lab 5. Functional vs Object-Oriented decomposition

5.1. The type Nat

Consider the following type defined to represent natural numbers:


trait Nat {
   def isZero: Boolean
   def add(other: Nat): Nat
   def subtract(other: Nat): Nat
   def greater(other: Nat): Boolean
   def toInt: Int
}
case object Zero extends Nat
case class Succ(n: Nat) extends Nat

$ n &gt; m$$ m - n = 0$</description>
    </item>
    <item rdf:about="https://ocw.cs.pub.ro/ppcarte/doku.php?id=pp:2026:scala:l07&amp;rev=1776271154&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2026-04-15T19:39:14+03:00</dc:date>
        <dc:creator>ldaniel</dc:creator>
        <title>pp:2026:scala:l07 - modificare header tabel reguli de reducere</title>
        <link>https://ocw.cs.pub.ro/ppcarte/doku.php?id=pp:2026:scala:l07&amp;rev=1776271154&amp;do=diff</link>
        <description>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 $ \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) $$ E_2 = …</description>
    </item>
    <item rdf:about="https://ocw.cs.pub.ro/ppcarte/doku.php?id=pp:2026:scala:l06&amp;rev=1775483824&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2026-04-06T16:57:04+03:00</dc:date>
        <dc:creator>cata_chiru</dc:creator>
        <title>pp:2026:scala:l06</title>
        <link>https://ocw.cs.pub.ro/ppcarte/doku.php?id=pp:2026:scala:l06&amp;rev=1775483824&amp;do=diff</link>
        <description>Lab 6. For expressions

Objectives:

	*  get familiar with String functions: length, substring, concat, replace
	*  get familiar with for expressions in Scala

6.1 A small string DSL
“”
In this section we will extend the scala String class with several operators that implement useful string functions, effectively obtaining a small string-specialized</description>
    </item>
    <item rdf:about="https://ocw.cs.pub.ro/ppcarte/doku.php?id=pp:2026:scala:t01&amp;rev=1775246502&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2026-04-03T23:01:42+03:00</dc:date>
        <dc:creator>ldaniel</dc:creator>
        <title>pp:2026:scala:t01 - explicatie lista de cumparaturi</title>
        <link>https://ocw.cs.pub.ro/ppcarte/doku.php?id=pp:2026:scala:t01&amp;rev=1775246502&amp;do=diff</link>
        <description>Tema 1 PP – Casa de marcat

Publicare: 25 martie 2026

Deadline: 17 aprilie 2026

Schelet de cod:  (actualizat 30 martie, 20:13)

Punctajul maxim este de 200 de puncte. Acesta este impartit astfel (puteti vedea in fisierele de test cat valoreaza fiecare test):$ C = \left(10 - \left( \sum_{i=1}^{12} w_i \cdot c_i \right) \mod 10 \right) \mod 10$$ w_i$$ i$$ c_i$$ i$$ \text{frecvență relativă}=\dfrac{\text{număr apariții}}{\text{număr total de elemente}}$</description>
    </item>
    <item rdf:about="https://ocw.cs.pub.ro/ppcarte/doku.php?image=pp%3A2026%3Ascala%3Atema1_pp_2026_skel_v3.zip&amp;ns=pp%3A2026%3Ascala&amp;rev=1774890805&amp;tab_details=history&amp;mediado=diff&amp;do=media">
        <dc:format>text/html</dc:format>
        <dc:date>2026-03-30T20:13:25+03:00</dc:date>
        <dc:creator>ldaniel</dc:creator>
        <title>pp:2026:scala:tema1_pp_2026_skel_v3.zip - created</title>
        <link>https://ocw.cs.pub.ro/ppcarte/doku.php?image=pp%3A2026%3Ascala%3Atema1_pp_2026_skel_v3.zip&amp;ns=pp%3A2026%3Ascala&amp;rev=1774890805&amp;tab_details=history&amp;mediado=diff&amp;do=media</link>
        <description></description>
    </item>
    <item rdf:about="https://ocw.cs.pub.ro/ppcarte/doku.php?image=pp%3A2026%3Ascala%3Atema1_pp_2026_skel_v2.zip&amp;ns=pp%3A2026%3Ascala&amp;rev=1774630535&amp;tab_details=history&amp;mediado=diff&amp;do=media">
        <dc:format>text/html</dc:format>
        <dc:date>2026-03-27T18:55:35+03:00</dc:date>
        <dc:creator>ldaniel</dc:creator>
        <title>pp:2026:scala:tema1_pp_2026_skel_v2.zip - created</title>
        <link>https://ocw.cs.pub.ro/ppcarte/doku.php?image=pp%3A2026%3Ascala%3Atema1_pp_2026_skel_v2.zip&amp;ns=pp%3A2026%3Ascala&amp;rev=1774630535&amp;tab_details=history&amp;mediado=diff&amp;do=media</link>
        <description></description>
    </item>
    <item rdf:about="https://ocw.cs.pub.ro/ppcarte/doku.php?image=pp%3A2026%3Ascala%3Atema1_pp_2026_skel_v1.zip&amp;ns=pp%3A2026%3Ascala&amp;rev=1774458260&amp;tab_details=history&amp;mediado=diff&amp;do=media">
        <dc:format>text/html</dc:format>
        <dc:date>2026-03-25T19:04:20+03:00</dc:date>
        <dc:creator>ldaniel</dc:creator>
        <title>pp:2026:scala:tema1_pp_2026_skel_v1.zip - created</title>
        <link>https://ocw.cs.pub.ro/ppcarte/doku.php?image=pp%3A2026%3Ascala%3Atema1_pp_2026_skel_v1.zip&amp;ns=pp%3A2026%3Ascala&amp;rev=1774458260&amp;tab_details=history&amp;mediado=diff&amp;do=media</link>
        <description></description>
    </item>
    <item rdf:about="https://ocw.cs.pub.ro/ppcarte/doku.php?image=aa%3Alab%3Asol%3Akernelization-sol.zip&amp;ns=aa%3Alab%3Asol&amp;rev=1768820490&amp;tab_details=history&amp;mediado=diff&amp;do=media">
        <dc:format>text/html</dc:format>
        <dc:date>2026-01-19T13:01:30+03:00</dc:date>
        <dc:creator>dmihai</dc:creator>
        <title>aa:lab:sol:kernelization-sol.zip - created</title>
        <link>https://ocw.cs.pub.ro/ppcarte/doku.php?image=aa%3Alab%3Asol%3Akernelization-sol.zip&amp;ns=aa%3Alab%3Asol&amp;rev=1768820490&amp;tab_details=history&amp;mediado=diff&amp;do=media</link>
        <description></description>
    </item>
    <item rdf:about="https://ocw.cs.pub.ro/ppcarte/doku.php?image=aa%3Alab%3Agraph-example.zip&amp;ns=aa%3Alab&amp;rev=1768820286&amp;tab_details=history&amp;mediado=diff&amp;do=media">
        <dc:format>text/html</dc:format>
        <dc:date>2026-01-19T12:58:06+03:00</dc:date>
        <dc:creator>dmihai</dc:creator>
        <title>aa:lab:graph-example.zip - created</title>
        <link>https://ocw.cs.pub.ro/ppcarte/doku.php?image=aa%3Alab%3Agraph-example.zip&amp;ns=aa%3Alab&amp;rev=1768820286&amp;tab_details=history&amp;mediado=diff&amp;do=media</link>
        <description></description>
    </item>
    <item rdf:about="https://ocw.cs.pub.ro/ppcarte/doku.php?image=lfa%3A2025%3Aproiect%3Alfa2025_skel_etapa2_v3.zip&amp;ns=lfa%3A2025%3Aproiect&amp;rev=1767097604&amp;tab_details=history&amp;mediado=diff&amp;do=media">
        <dc:format>text/html</dc:format>
        <dc:date>2025-12-30T14:26:44+03:00</dc:date>
        <dc:creator>ldaniel</dc:creator>
        <title>lfa:2025:proiect:lfa2025_skel_etapa2_v3.zip - created</title>
        <link>https://ocw.cs.pub.ro/ppcarte/doku.php?image=lfa%3A2025%3Aproiect%3Alfa2025_skel_etapa2_v3.zip&amp;ns=lfa%3A2025%3Aproiect&amp;rev=1767097604&amp;tab_details=history&amp;mediado=diff&amp;do=media</link>
        <description></description>
    </item>
    <item rdf:about="https://ocw.cs.pub.ro/ppcarte/doku.php?image=lfa%3A2025%3Aproiect%3Alfa2025_skel_etapa2_v2.zip&amp;ns=lfa%3A2025%3Aproiect&amp;rev=1766409613&amp;tab_details=history&amp;mediado=diff&amp;do=media">
        <dc:format>text/html</dc:format>
        <dc:date>2025-12-22T15:20:13+03:00</dc:date>
        <dc:creator>ldaniel</dc:creator>
        <title>lfa:2025:proiect:lfa2025_skel_etapa2_v2.zip - created</title>
        <link>https://ocw.cs.pub.ro/ppcarte/doku.php?image=lfa%3A2025%3Aproiect%3Alfa2025_skel_etapa2_v2.zip&amp;ns=lfa%3A2025%3Aproiect&amp;rev=1766409613&amp;tab_details=history&amp;mediado=diff&amp;do=media</link>
        <description></description>
    </item>
    <item rdf:about="https://ocw.cs.pub.ro/ppcarte/doku.php?image=aa%3Alab%3Asol%3Asol.zip&amp;ns=aa%3Alab%3Asol&amp;rev=1765803854&amp;tab_details=history&amp;mediado=diff&amp;do=media">
        <dc:format>text/html</dc:format>
        <dc:date>2025-12-15T15:04:14+03:00</dc:date>
        <dc:creator>dmihai</dc:creator>
        <title>aa:lab:sol:sol.zip - created</title>
        <link>https://ocw.cs.pub.ro/ppcarte/doku.php?image=aa%3Alab%3Asol%3Asol.zip&amp;ns=aa%3Alab%3Asol&amp;rev=1765803854&amp;tab_details=history&amp;mediado=diff&amp;do=media</link>
        <description></description>
    </item>
    <item rdf:about="https://ocw.cs.pub.ro/ppcarte/doku.php?image=aa%3Alab%3Alab.zip&amp;ns=aa%3Alab&amp;rev=1765801774&amp;tab_details=history&amp;mediado=diff&amp;do=media">
        <dc:format>text/html</dc:format>
        <dc:date>2025-12-15T14:29:34+03:00</dc:date>
        <dc:creator>dmihai</dc:creator>
        <title>aa:lab:lab.zip - created</title>
        <link>https://ocw.cs.pub.ro/ppcarte/doku.php?image=aa%3Alab%3Alab.zip&amp;ns=aa%3Alab&amp;rev=1765801774&amp;tab_details=history&amp;mediado=diff&amp;do=media</link>
        <description></description>
    </item>
    <item rdf:about="https://ocw.cs.pub.ro/ppcarte/doku.php?image=aa%3Atext_editor.zip&amp;ns=aa&amp;rev=1765315410&amp;tab_details=history&amp;mediado=diff&amp;do=media">
        <dc:format>text/html</dc:format>
        <dc:date>2025-12-09T23:23:30+03:00</dc:date>
        <dc:creator>dmihai</dc:creator>
        <title>aa:text_editor.zip</title>
        <link>https://ocw.cs.pub.ro/ppcarte/doku.php?image=aa%3Atext_editor.zip&amp;ns=aa&amp;rev=1765315410&amp;tab_details=history&amp;mediado=diff&amp;do=media</link>
        <description></description>
    </item>
    <item rdf:about="https://ocw.cs.pub.ro/ppcarte/doku.php?image=lfa%3A2025%3Aproiect%3Alfa2025_skel_etapa2.zip&amp;ns=lfa%3A2025%3Aproiect&amp;rev=1764081744&amp;tab_details=history&amp;mediado=diff&amp;do=media">
        <dc:format>text/html</dc:format>
        <dc:date>2025-11-25T16:42:24+03:00</dc:date>
        <dc:creator>ldaniel</dc:creator>
        <title>lfa:2025:proiect:lfa2025_skel_etapa2.zip - created</title>
        <link>https://ocw.cs.pub.ro/ppcarte/doku.php?image=lfa%3A2025%3Aproiect%3Alfa2025_skel_etapa2.zip&amp;ns=lfa%3A2025%3Aproiect&amp;rev=1764081744&amp;tab_details=history&amp;mediado=diff&amp;do=media</link>
        <description></description>
    </item>
</rdf:RDF>
