• Keine Ergebnisse gefunden

Du kannst die vier Elemente der strukturierten Programmierung aufz¨ahlen

N/A
N/A
Protected

Academic year: 2021

Aktie "Du kannst die vier Elemente der strukturierten Programmierung aufz¨ahlen"

Copied!
2
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

Programmieren mit dem TI-84+ Pr¨ufungsanforderungen

Die Pr¨ufung ist ohne den Taschenrechner zu l¨osen.

1. Die folgenden zwei Begriffe sind f¨ur die Formulierung der Lernziele hilfreich:

• Syntax: Regeln, mit denen aus den verf¨ugbaren Zeichen und Schl¨usselw¨ortern korrekte Programmanweisungen gebildet werden.

• Semantik: Die Bedeutung oder Wirkung von Programmanweisungen bei ihrer Ausf¨uhrung.

2. Du kennst die verschiedenen Fehlerarten

• Syntaxfehler

• Laufzeitfehler

• logische Fehler

mit ihren Fachausdr¨ucken und kannst sie in Programmen erkennen.

3. Du kannst die vier Elemente der strukturierten Programmierung aufz¨ahlen:

• Sequenz

• Selektion (Verzweigungen)

• Iteration (Schleifen)

• Abstraktion (Unterprogramme)

4. Du kennst dieSyntax und dieSemantik folgender Ein- und Ausgabeanweisungen:

• Input

• Prompt

• Disp

5. Du kennst die Syntax und Semantik logischer Ausdr¨ucke mit den Wahrheitswerten false (0) undtrue (6= 0)

6. Du kannst logische Ausdr¨ucke mit den Vergleichsoperatoren≤,>,≥, =,6= und den logischen Operatoren and,or,xor, not(...) evaluieren (auswerten).

7. Du kennst die Syntax und die Semantik der folgenden Befehle: f¨ur den Programm- fluss (Steuerbefehle):

• Selektion: If /If ... Then ... End / If ... Then ... Else ... End

• Iteration: For/ While /Repeat

• Abstraktion: prgm

8. Du bist in der Lage, Endlosschleifen zu erkennen.

9. Du kannst Listen vorgegebener L¨ange erstellen, Zahlen an die gew¨unschte Position in der Liste schreiben und von dort auslesen.

1

(2)

10. Du kannst nachweisen, dass du TI-84-Plus-Programme verstehst, indem du die Berechnungen eines Programms manuell (im Kopf) nachvollziehst oder eine allge- meine Beschreibung dar¨uber abgibst, welche Aufgabe ein vorgegebenes Programm bew¨altigt. Dazu geh¨oren insbesondere die Programmbeispiele aus den Theorieun- terlagen sowie der Euklidsche Algorithmus.

11. Du kannst anhand einer gegebenen Problembeschreibung auf Papier ein syntaktisch korrektes Programm schreiben, das dieses Problem l¨ost.

2

Referenzen

ÄHNLICHE DOKUMENTE

Semantik: Wahrheit (Allgemeing¨ ultigkeit) und Konsequenz (Folgerungsbeziehung) Formaler Beweis: syntaktische Zertifikate f¨ ur. Allgemeing¨ ultigkeit/Folgerungsbeziehungen

Aussagenlogik Syntax und Semantik der AL Grundlegende semantische Begriffe AL und Boolesche Funktionen AL Kompaktheitssatz.. AL Resolution AL Sequenzenkalk¨

Professor f¨ ur Mathematische Logik und Grundlagen der Informatik TUD, Fachbereich Mathematik..

Wir werden einen Algorith- mus angeben, welcher zu jeder gegebenen Sequenz Γ ⇒ ∆ entweder einen Beweis konstruiert, oder aber eine Interpretation findet, welche jede Formel aus Γ,

2.2 Ein Zoo von Strukturen Für viele Zwecke ist aber diese Formalisierung problematisch: Ele- mentare Operationen wie die Bildung des Komplements einer Relation führen zu

Wir werden einen Algorith- mus angeben, welcher zu jeder gegebenen Sequenz Γ ⇒ ∆ entweder einen Beweis konstruiert, oder aber eine Interpretation findet, welche jede Formel aus Γ,

Wir werden einen Algorith- mus angeben, welcher zu jeder gegebenen Sequenz Γ ⇒ ∆ entweder einen Beweis konstruiert, oder aber eine Interpretation findet, welche jede Formel aus Γ,

Der aktuelle Kompromissvorschlag im Rat sieht vor, dass Positionslimits nicht für Posi- tionen gelten, „die objektiv messbar die direkt mit der Geschäftstätigkeit oder dem