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.

转折点

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.

不能约