Titlebook: Mathematisch-strukturelle Grundlagen der Informatik; Hartmut Ehrig,Bernd Mahr,Philip Zeitz Textbook 2001Latest edition Springer-Verlag Ber

通便

RelationenMit dem Begriff der Relation driicken wir mathematisch-formal jede Form der . zwischen Elementen beliebiger Mengen aus. Wollen wir ausdrücken, da? zwei Elemente . in einer Beziehung . stehen, so definieren wir . als Menge, die das geordnete Paar (.) enth?lt.

防水

OASIS

展覽

gerrymander

Von der Modellalgebra über die Spezifikation zur ImplementierungMit dem folgenden Kapitel wollen wir den Teil II dieses Buches beenden und eine Brücke von der hier behandelten Theorie in die praktische Anwendung schlagen.

轉(zhuǎn)折點(diǎn)

978-3-540-41923-5Springer-Verlag Berlin Heidelberg 2001

Exonerate

Panther

https://doi.org/10.1007/978-3-642-56792-6Algebraische Strukturen und Spezifikation; Datenstruktur; Datenstrukturen; Datentyp; Grundlagen der Info

d-limonene

Ordnungenformatik von gro?er Bedeutung, im vorliegenden Buch dient er vor allem der weiteren Illustration des Prinzips der speziellen Relationen, au?erdem ist der Unterschied zum anschlieBenden Begriff der ?quivalenzrelation aufschlu?reich, da zwei der jeweils drei Eigenschaften, die beide Begriffe charakterisieren, identisch sind.

不能約