Variablen

Eine Variable besteht aus einem Namen (z.B. X), einem veränderlichen Wert und einem Typ. Bei Variablen handelt es sich um Speicherplätze für Werte. Ist t ein Term ohne Variablen und w(t) sein Wert, dann heißt das Paar X:=t eine Wertzuweisung. Ihre Bedeutung ist festgelegt durch

Nach Ausführung von X:=t gilt  X=w(t)
Vor Ausführung der ersten Wertzuweisung gilt X=?(undefiniert)

Beispiel

$X:=7$

$X:=(3-7)*9)$

$F:={\text{true}}$

$Q:=\neg ({\text{true}}~\lor ~{\text{false}})\lor ~\neg \neg ~{\text{true}}$

Literatur

Da die Vorlesungsinhalte auf dem Buch Algorithmen und Datenstrukturen: Eine Einführung mit Java von Gunter Saake und Kai-Uwe Sattler aufbauen, empfiehlt sich dieses Buch um das hier vorgestellte Wissen zu vertiefen. Die auf dieser Seite behandelten Inhalte sind in Kapitel 3.3.1 zu finden.

This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.