Buch Cover Buch Cover Buch Cover Buch Cover

Web-Code: - Webcode Help

Selektionsinvariante (Selektionen)

Entfernen Sie die Invarianten aus folgender Selektion. Mit anderen Worten: Welche Anweisungen könnten auch vor oder nach der Selektion stehen?

if(x < y) 
{
  print("kleiner")
  a := einlesen()
}
else
{
  print("größer")
  a := einlesen()
}

0 Kommentare

Bitte melde dich an um einen Kommentar abzugeben

2 Lösung(en)

if(x < y) 
{
  print("kleiner")
}
else
{
  print("größer")
}
a := einlesen()
                
if(x < y) {
  System.out.println("kleiner");
} else {
  System.out.println("größer");
}
a = einlesen();
                

Lösung von: Philipp G. Freimann (BBW (Berufsbildungsschule Winterthur) https://www.bbw.ch)

Verifikation/Checksumme:

Die Programmanweisung a := einlesen() kann nach der Selektion stehen (post-invariant).

Aktionen

Bewertung

Durchschnittliche Bewertung:

Eigene Bewertung:
Bitte zuerst anmelden

Meta

Zeit: 0.25
Schwierigkeit: k.A.
Webcode: 3t94-v5nz
Autor: Philipp G. Freimann (BBW (Berufsbildungsschule Winterthur) https://www.bbw.ch)

Zu Aufgabenblatt hinzufügen