BuK-Übung01 G1
Aus ProgrammingWiki
Inhaltsverzeichnis |
Indirekter Beweis
Aufgabenstellung
Zeigen Sie indirekt, dass x eine gerade Zahl ist, wenn x^2 gerade ist.
Lösung
Wenn x ungerade dann gilt, .
Weil x ungerade:
gilt nicht
gilt.
Idealisierter Rechner
Aufgabenstellung
- Entwickeln Sie einen Interpreter für den in der Vorlesung angegebenen idealisierten Computer. Verwenden Sie AtoCC.
- Testen Sie das Programm zur Bestimmung der Lösungen quadratischer Gleichungen.
- Entwerfen und testen Sie ein Programm, dass die folgende Funktion
berechnet:
Lösung
Aufgabe 1
Für die Sprache wurden folgende Befehle definiert:
| Befehle |
| lies ein in R(n) |
| R(n) <- k |
| R(n) <- R(m) + R(j) |
| R(n) <- R(m) - R(j) |
| R(n) <- R(m) * R(j) |
| R(n) <- R(m) / R(j) |
| R(n) <- Quadratwurzel(m) |
| Falls R(n)=0, dann Zeile j |
| Falls R(n)<=R(m), dann Zeile j |
| Gehe in Zeile j |
| Ausgabe(R(j)) |
| Ausgabe(„Text“) |
| End |
Jeder Befehl wird mit einer Zeilenummer eingeleitet.
Beispiel: (1) lies ein in R(5)
Grammatik
