TU Wien:Programmierparadigmen VU (Puntigam)/PP Test 1 2025WS

Test 1 in Programmierparadigmen am 24.11.2025

Aufgabe 1 (10 Punkte)

Bitte markieren Sie jedes Auswahlfeld, bei dem die links stehende Aussage eine Eigenschaft der darüber stehenden Abstraktionsart ist. Es können keines, eines oder mehrere Felder pro Zeile auszuwählen sein.

	strukturell	nominal	λ-Abstraktion
Kommentare haben dafür keine Bedeutung, sie werden ignoriert
eine Variable, die eine Funktion enthält, kann von dieser Art sein
Änderung des Namens einer Methode ändert die Abstraktion
Änderung der Signatur einer Methode ändert die Abstraktion
eine abstrakte Methode ohne Kommentar ist von dieser Art
diese Art ist in der objektorientierten Programmierung essenziell
durch Kommentare beschriebene Methode ist von dieser Art
Basisabstraktionen beruhen auf (oder ähneln) dieser Art
inhaltliche Änderung eines Kommentars ändert die Abtraktion
inhaltliche Änderung der Programmcodes ändert die Abstraktion

Aufgabe 2 (10 Punkte)

Bitte markieren Sie jedes Auswahlfeld, bei dem die links stehende Aussage eine Eigenschaft der darüber stehenden Regel des λ-Kalkül ist. Es können keines, eines oder mehrere Felder pro Zeile auszuwählen sein.

	α-Konversion	β-Reduktion	η-Reduktion
ist von der Form: ${\textstyle [e/v](\lambda v.f)\rightarrow \lambda v.f}$
ist von der Form: ${\textstyle (\lambda v.f)e\rightarrow [e/v]f}$
ist mit ${\textstyle v\notin fv(e)}$ von der Form: $\lambda v.(ev)\rightarrow e$
ist mit ${\textstyle v\notin fv(e)}$ von der Form: ${\textstyle \lambda u.e\equiv \lambda v.[v/u]e}$
ist von der Form: ${\textstyle [e/v](fg)\equiv ([e/v]f)([e/v]g)}$
wendet eine λ-Abstraktion auf ein Argument an
kann eine λ-Abstraktion auch ohne Argument vereinfachen
wird zur Umbenennung von Parametern verwendet
ist auf eine Normalform nicht anwendbar
ist nur von links nach rechts anwendbar

Aufgabe 3 (10 Punkte)

Bitte markieren Sie jedes Auswahlfeld, bei dem die links stehende Aussage eine Eigenschaft der darüber stehende Modularisierungseinheit zutrifft. Es können keines, eines oder mehrere Felder pro Zeile auszuwählen sein.

	Modul	Komponente	Klasse	Objekt
definiert sich über Identität, Zustand und Verhalten
wird durch "Deployment" eingebunden
erlaubt zyklische Abhängigkeiten
dient als Vorlage für die Objekterzeugung
Inhalte davon sind in Java durch ${\textstyle {\texttt {static}}}$ gekennzeichnet
ist per Definition eine Übersetzungseinheit
kann zur Laufzeit erzeugt werden
ist bereits dem Compiler bekannt
lässt offen, von wo Inhalte importiert werden
bildet einen Namensraum

Aufgabe 4 (10 Punkte)

Bitte markieren Sie in jeder Zeile das eine Auswahlfeld, bei dem die links stehende Aussage für das darüber stehende Paradigma am besten zutrifft.

	objektorientiert	prozedural	funktional
hoher Abstraktionsgrad bei struktureller und λ-Abstraktion
referentielle Transparenz ist gewährleistet
Aliase sind möglichst zu vermeiden
offensiver Umgang mit Aliasen (sind sichtbar und häufig)
relativ einfache Beweisführung bei λ-Abstraktion
keine Unterscheidung zwischen Original und Kopie (Daten)
Kommunikation über gemeinsame Variablen wird verhindert
Kommunikation über Variablen wird örtlich eingegrenzt
Kontrollfluss muss stets nachvollziehbar sein
gemeinsame Variablen sind nur sparsam einzusetzen

Aufgabe 5 (10 Punkte)

Bitte markieren Sie in jeder Zeile das eine Auswahlfeld, bei dem die links stehende Aussage für das darüber stehende Paradigma am besten zutrifft.

	objektorientiert	prozedural	funktional	nebenläufig	parallel
Rekursion statt Schleifen
verlangt hohen Hardwareeinsatz
effiziente Reaktion auf Ereignisse
für hardwarenahe Programme geeignet
Gleichheit / Identität unterschieden
Datenbereiche unabhängig bearbeitbar
meist stark, nicht statisch typisiert
verschiedenartige Daten als Einheit
viele Möglichkeiten zur Faktorisierung
bewältigt viele Handlungsstränge

Aufgabe 6 (10 Punkte)

Bitte markieren Sie in jeder Zeile das eine Auswahlfeld, bei dem die links stehende Aussage für das darüber stehende Paradigma am besten zutrifft.

	objektorientiert	prozedural	funktional	nebenläufig	parallel
gut für große, langlebige Projekte
gut für komplexe Algorithmen
am häufigsten eingesetztes Paradigma
der Speedup ist entscheidend
Interprozesskommunikation oft nötig
Synchronisation (z. B. Monitor) nötig
Programmablauf ist gut kontrollierbar
es wird häufig auf Ergebnisse gewartet
unterstützt algebraische Datentypen
gut für Programmierung im Groben

Aufgabe 7 (10 Punkte)

Bitte markieren Sie in jeder Zeile das eine Auswahlfeld, bei dem der links stehende Begriff am ehesten mit dem darüber stehenden Begriff zusammenhängt ("ist" oder "ist Variante von" oder "ist von Bedeutung für").

	Liveness	Ersetzbarkeit	Parametrisierung	kovariant	kontravariant	invariant
Deadlock
Variablentyp
Design-by-Contract
Aspekt
Ergebnistyp
Generizität
Starvation
Eingangsparametertyp
Annotation
Untertyp

Aufgabe 8 (10 Punkte)

Bitte markieren Sie jedes Auswahlfeld, bei dem die links stehende Aussage eine Eigenschaft der darüber stehende Art von Zusicherung ist. Es können keines, eines oder mehrere Felder pro Zeile auszuwählen sein.

	Vorbed.	Nachbed.	Invariante	Client-kontroll. History-Constr.	Server-kontroll. History-Constr.
zuständig ist ausnahmslos der Server
Server und Client (in Sonderfällen) sind zuständig
zuständig ist ausnahmslos der Client
schränkt die Aufrufreihenfolge von Methoden ein
im Untertyp stärker oder gleich als im Obertyp
im Untertyp schwächer oder gleich als im Obertyp
gilt zu Beginn einer Methodenausführung
gilt am Ende einer Methodenausführung
bezieht sich auf einzelne Methoden
bezieht sich immer auf Objektzuständen von ${\textstyle {\texttt {this}}}$

Aufgabe 9 (10 Punkte)

Folgende Klasse ist gegeben:

public class RangeChecker {
    private int min = Integer.MIN_VALUE, max = Integer.MAX_VALUE;
    public void set(int a, int b) { this.min = a, this.max = b; }
    public int in(int i) { return i > min ? (i < max ? i : max) : min; }
}

Bitte markieren Sie in jeder Zeile ein Auswahlfeld, bei dem die links stehende Aussage am ehesten eine auf die Klasse bezogene Zusicherung der über dem Auswahlfeld stehenden Art sein kann.

	Vorbed.	Nachbed.	Invariante	Client-kontroll. History-Constr.	Server-kontroll. History-Constr.
${\textstyle {\texttt {min<=max}}}$
${\textstyle {\texttt {min<=in(i)}}}$ und ${\textstyle {\texttt {in(i)<=max}}}$
${\textstyle {\texttt {a>=min}}}$ und ${\textstyle {\texttt {b<=max}}}$
${\textstyle {\texttt {a<=b}}}$
${\textstyle {\texttt {in(i)==i}}}$ wenn ${\textstyle {\texttt {i}}}$ zwischen ${\textstyle {\texttt {min}}}$ und ${\textstyle {\texttt {max}}}$ liegt
${\textstyle {\texttt {in(i)}}}$ ist nur aufrufbar wenn ${\textstyle {\texttt {min<max}}}$
${\textstyle {\texttt {in(i)==min}}}$ wenn ${\textstyle {\texttt {min==max}}}$
nach ${\textstyle {\texttt {set(x,z);y=in(i);}}}$ gilt ${\textstyle {\texttt {x<=y}}}$ und ${\textstyle {\texttt {y<=z}}}$
${\textstyle {\texttt {min}}}$ kann nur größer und ${\textstyle {\texttt {max}}}$ kleiner werden
${\textstyle {\texttt {set}}}$ ist vor erstem Aufruf von ${\textstyle {\texttt {in}}}$ aufzurufen

Aufgabe 10 (10 Punkte)

Folgende Klasse ist gegeben:

public class Buffer {
    private int b[8], i, o;
    public boolean set(int v) { if(b[i] != 0) return false; b[i] = v; i = (i + 1) % 8; return true; } 
    public int get() { if (b[o] == 0) return 0; int r = b[o]; o = (o + 1) % 8; return r; }
}

Bitte markieren Sie in jeder Zeile ein Auswahlfeld, bei dem die links stehende Aussage am ehesten eine auf die Klasse bezogene Zusicherung der über dem Auswahlfeld stehenden Art sein kann.

	Vorbed.	Nachbed.	Invariante	Client-kontroll. History-Constr.	Server-kontroll. History-Constr.
${\textstyle {\texttt {get}}}$ nur aufrufbar wenn davor ${\texttt {set}}$ aufgerufen
${\texttt {set}}$ erhöht ${\texttt {i}}$ um 1 mod. 8 oder retourniert ${\texttt {false}}$
${\texttt {i}}$ und ${\textstyle {\texttt {o}}}$ liegen im erlaubten Indexbereich von ${\textstyle {\texttt {b}}}$
${\textstyle {\texttt {get}}}$ liefert Werte in Reihenfolge des Einfügens
${\textstyle {\texttt {i}}}$, ${\textstyle {\texttt {o}}}$ und Arrayeinträge sind mit 0 initialisiert
${\textstyle {\texttt {i}}}$ und ${\textstyle {\texttt {o}}}$ nur so änderbar: modulo 8 um 1 erhöht
${\textstyle {\texttt {set(x)}}}$ fügt ${\textstyle {\texttt {x}}}$ in Buffer ein oder retourniert false
${\textstyle {\texttt {get()}}}$ retourniert 0 wenn der Buffer leer ist
Werte ungleich 0 in ${\textstyle {\texttt {b}}}$ sind gültige Buffereinträge
${\textstyle {\texttt {v}}}$ darf nicht 0 sein

Lösungen

Die Lösungen sollten korrekt sein. Der Großteil meiner Antworten wurden als korrekt gewertet*, für die restlichen Antworten wurde in der Einsicht nachgefragt oder mit den Lehrveranstaltungsunterlagen korrigiert.

*(Anmerkung: Die Korrektur des PP-Teams ist jedoch inkonsistent und es könnte sein, dass bei meinem Test etwas als korrekt gewertet wurde, obwohl es das eigentlich nicht ist.)

Aufgabe 1 (Lösung)

Bitte markieren Sie jedes Auswahlfeld, bei dem die links stehende Aussage eine Eigenschaft der darüber stehenden Abstraktionsart ist. Es können keines, eines oder mehrere Felder pro Zeile auszuwählen sein.

	strukturell	nominal	λ-Abstraktion
Kommentare haben dafür keine Bedeutung, sie werden ignoriert	x		x
eine Variable, die eine Funktion enthält, kann von dieser Art sein	x	x
Änderung des Namens einer Methode ändert die Abstraktion	x	x
Änderung der Signatur einer Methode ändert die Abstraktion	x	x	x
eine abstrakte Methode ohne Kommentar ist von dieser Art	x
diese Art ist in der objektorientierten Programmierung essenziell		x
durch Kommentare beschriebene Methode ist von dieser Art		x
Basisabstraktionen beruhen auf (oder ähneln) dieser Art		x
inhaltliche Änderung eines Kommentars ändert die Abtraktion		x
inhaltliche Änderung der Programmcodes ändert die Abstraktion			x

Aufgabe 2 (Lösung)

Bitte markieren Sie jedes Auswahlfeld, bei dem die links stehende Aussage eine Eigenschaft der darüber stehenden Regel des λ-Kalkül ist. Es können keines, eines oder mehrere Felder pro Zeile auszuwählen sein.

	α-Konversion	β-Reduktion	η-Reduktion
ist von der Form: ${\textstyle [e/v](\lambda v.f)\rightarrow \lambda v.f}$
ist von der Form: ${\textstyle (\lambda v.f)e\rightarrow [e/v]f}$		x
ist mit ${\textstyle v\notin fv(e)}$ von der Form: $\lambda v.(ev)\rightarrow e$			x
ist mit ${\textstyle v\notin fv(e)}$ von der Form: ${\textstyle \lambda u.e\equiv \lambda v.[v/u]e}$	x
ist von der Form: ${\textstyle [e/v](fg)\equiv ([e/v]f)([e/v]g)}$
wendet eine λ-Abstraktion auf ein Argument an		x
kann eine λ-Abstraktion auch ohne Argument vereinfachen			x
wird zur Umbenennung von Parametern verwendet	x
ist auf eine Normalform nicht anwendbar		x	x
ist nur von links nach rechts anwendbar		x	x

Aufgabe 3 (Lösung)

Bitte markieren Sie jedes Auswahlfeld, bei dem die links stehende Aussage eine Eigenschaft der darüber stehende Modularisierungseinheit zutrifft. Es können keines, eines oder mehrere Felder pro Zeile auszuwählen sein.

	Modul	Komponente	Klasse	Objekt
definiert sich über Identität, Zustand und Verhalten				x
wird durch "Deployment" eingebunden		x
erlaubt zyklische Abhängigkeiten		x	x	x
dient als Vorlage für die Objekterzeugung			x
Inhalte davon sind in Java durch ${\textstyle {\texttt {static}}}$ gekennzeichnet	x
ist per Definition eine Übersetzungseinheit	x	x
kann zur Laufzeit erzeugt werden				x
ist bereits dem Compiler bekannt	x	x	x
lässt offen, von wo Inhalte importiert werden		x
bildet einen Namensraum	x	x	x	x

Aufgabe 4 (Lösung)

Bitte markieren Sie in jeder Zeile das eine Auswahlfeld, bei dem die links stehende Aussage für das darüber stehende Paradigma am besten zutrifft.

	objektorientiert	prozedural	funktional
hoher Abstraktionsgrad bei struktureller und λ-Abstraktion			x
referentielle Transparenz ist gewährleistet			x
Aliase sind möglichst zu vermeiden		x
offensiver Umgang mit Aliasen (sind sichtbar und häufig)	x
relativ einfache Beweisführung bei λ-Abstraktion		x
keine Unterscheidung zwischen Original und Kopie (Daten)			x
Kommunikation über gemeinsame Variablen wird verhindert			x
Kommunikation über Variablen wird örtlich eingegrenzt	x
Kontrollfluss muss stets nachvollziehbar sein		x
gemeinsame Variablen sind nur sparsam einzusetzen		x

Aufgabe 5 (Lösung)

Bitte markieren Sie in jeder Zeile das eine Auswahlfeld, bei dem die links stehende Aussage für das darüber stehende Paradigma am besten zutrifft.

	objektorientiert	prozedural	funktional	nebenläufig	parallel
Rekursion statt Schleifen			x
verlangt hohen Hardwareeinsatz					x
effiziente Reaktion auf Ereignisse				x
für hardwarenahe Programme geeignet		x
Gleichheit / Identität unterschieden	x
Datenbereiche unabhängig bearbeitbar					x
meist stark, nicht statisch typisiert	x
verschiedenartige Daten als Einheit	x
viele Möglichkeiten zur Faktorisierung	x
bewältigt viele Handlungsstränge				x

Aufgabe 6 (Lösung)

Bitte markieren Sie in jeder Zeile das eine Auswahlfeld, bei dem die links stehende Aussage für das darüber stehende Paradigma am besten zutrifft.

	objektorientiert	prozedural	funktional	nebenläufig	parallel
gut für große, langlebige Projekte	x
gut für komplexe Algorithmen			x
am häufigsten eingesetztes Paradigma		x
der Speedup ist entscheidend					x
Interprozesskommunikation oft nötig					x
Synchronisation (z. B. Monitor) nötig				x
Programmablauf ist gut kontrollierbar		x
es wird häufig auf Ergebnisse gewartet				x
unterstützt algebraische Datentypen			x
gut für Programmierung im Groben	x

Aufgabe 7 (Lösung)

Bitte markieren Sie in jeder Zeile das eine Auswahlfeld, bei dem der links stehende Begriff am ehesten mit dem darüber stehenden Begriff zusammenhängt ("ist" oder "ist Variante von" oder "ist von Bedeutung für").

	Liveness	Ersetzbarkeit	Parametrisierung	kovariant	kontravariant	invariant
Deadlock	x
Variablentyp						x
Design-by-Contract		x
Aspekt			x
Ergebnistyp				x
Generizität			x
Starvation	x
Eingangsparametertyp					x
Annotation			x
Untertyp		x

Aufgabe 8 (Lösung)

Bitte markieren Sie jedes Auswahlfeld, bei dem die links stehende Aussage eine Eigenschaft der darüber stehende Art von Zusicherung ist. Es können keines, eines oder mehrere Felder pro Zeile auszuwählen sein.

	Vorbed.	Nachbed.	Invariante	Client-kontroll. History-Constr.	Server-kontroll. History-Constr.
zuständig ist ausnahmslos der Server		x
Server und Client (in Sonderfällen) sind zuständig			x		x
zuständig ist ausnahmslos der Client	x			x
schränkt die Aufrufreihenfolge von Methoden ein				x
im Untertyp stärker oder gleich als im Obertyp		x	x		x
im Untertyp schwächer oder gleich als im Obertyp	x			x
gilt zu Beginn einer Methodenausführung	x		x	x
gilt am Ende einer Methodenausführung		x	x		x
bezieht sich auf einzelne Methoden	x	x
bezieht sich immer auf Objektzuständen von ${\textstyle {\texttt {this}}}$			x		x

Aufgabe 9 (Lösung)

Folgende Klasse ist gegeben:

public class RangeChecker {
    private int min = Integer.MIN_VALUE, max = Integer.MAX_VALUE;
    public void set(int a, int b) { this.min = a, this.max = b; }
    public int in(int i) { return i > min ? (i < max ? i : max) : min; }
}

Bitte markieren Sie in jeder Zeile ein Auswahlfeld, bei dem die links stehende Aussage am ehesten eine auf die Klasse bezogene Zusicherung der über dem Auswahlfeld stehenden Art sein kann.

	Vorbed.	Nachbed.	Invariante	Client-kontroll. History-Constr.	Server-kontroll. History-Constr.
${\textstyle {\texttt {min<=max}}}$			x
${\textstyle {\texttt {min<=in(i)}}}$ und ${\textstyle {\texttt {in(i)<=max}}}$		x
${\textstyle {\texttt {a>=min}}}$ und ${\textstyle {\texttt {b<=max}}}$	x
${\textstyle {\texttt {a<=b}}}$	x
${\textstyle {\texttt {in(i)==i}}}$ wenn ${\textstyle {\texttt {i}}}$ zwischen ${\textstyle {\texttt {min}}}$ und ${\textstyle {\texttt {max}}}$ liegt		x
${\textstyle {\texttt {in(i)}}}$ ist nur aufrufbar wenn ${\textstyle {\texttt {min<max}}}$	x
${\textstyle {\texttt {in(i)==min}}}$ wenn ${\textstyle {\texttt {min==max}}}$		x
nach ${\textstyle {\texttt {set(x,z);y=in(i);}}}$ gilt ${\textstyle {\texttt {x<=y}}}$ und ${\textstyle {\texttt {y<=z}}}$		x
${\textstyle {\texttt {min}}}$ kann nur größer und ${\textstyle {\texttt {max}}}$ kleiner werden					x
${\textstyle {\texttt {set}}}$ ist vor erstem Aufruf von ${\textstyle {\texttt {in}}}$ aufzurufen				x

Aufgabe 10 (Lösung)

Folgende Klasse ist gegeben:

public class Buffer {
    private int b[8], i, o;
    public boolean set(int v) { if(b[i] != 0) return false; b[i] = v; i = (i + 1) % 8; return true; } 
    public int get() { if (b[o] == 0) return 0; int r = b[o]; o = (o + 1) % 8; return r; }
}

Bitte markieren Sie in jeder Zeile ein Auswahlfeld, bei dem die links stehende Aussage am ehesten eine auf die Klasse bezogene Zusicherung der über dem Auswahlfeld stehenden Art sein kann.

	Vorbed.	Nachbed.	Invariante	Client-kontroll. History-Constr.	Server-kontroll. History-Constr.
${\textstyle {\texttt {get}}}$ nur aufrufbar wenn davor ${\texttt {set}}$ aufgerufen				x
${\texttt {set}}$ erhöht ${\texttt {i}}$ um 1 mod. 8 oder retourniert ${\texttt {false}}$		x
${\texttt {i}}$ und ${\textstyle {\texttt {o}}}$ liegen im erlaubten Indexbereich von ${\textstyle {\texttt {b}}}$			x
${\textstyle {\texttt {get}}}$ liefert Werte in Reihenfolge des Einfügens		x
${\textstyle {\texttt {i}}}$, ${\textstyle {\texttt {o}}}$ und Arrayeinträge sind mit 0 initialisiert	x*	x*
${\textstyle {\texttt {i}}}$ und ${\textstyle {\texttt {o}}}$ nur so änderbar: modulo 8 um 1 erhöht					x
${\textstyle {\texttt {set(x)}}}$ fügt ${\textstyle {\texttt {x}}}$ in Buffer ein oder retourniert false		x
${\textstyle {\texttt {get()}}}$ retourniert 0 wenn der Buffer leer ist		x
Werte ungleich 0 in ${\textstyle {\texttt {b}}}$ sind gültige Buffereinträge			x
${\textstyle {\texttt {v}}}$ darf nicht 0 sein	x

*laut Puntigam wäre hier Nachbedingung richtig, da die Zusicherung eine Nachbedingung eines Konstruktors sein sollte. Es wurde jedoch auch Vorbedingung als korrekt gewertet, da man es als Vorbedingungen der Methoden sehen kann.