通便 发表于 2025-3-28 17:26:22

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.

防水 发表于 2025-3-28 19:23:12

http://reply.papertrans.cn/63/6275/627455/627455_42.png

OASIS 发表于 2025-3-29 01:54:04

http://reply.papertrans.cn/63/6275/627455/627455_43.png

展览 发表于 2025-3-29 05:58:46

http://reply.papertrans.cn/63/6275/627455/627455_44.png

gerrymander 发表于 2025-3-29 10:46:25

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.

转折点 发表于 2025-3-29 11:51:05

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

Exonerate 发表于 2025-3-29 15:56:35

http://reply.papertrans.cn/63/6275/627455/627455_47.png

Panther 发表于 2025-3-29 21:40:17

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

d-limonene 发表于 2025-3-30 02:30:15

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.

不能约 发表于 2025-3-30 05:31:43

http://reply.papertrans.cn/63/6275/627455/627455_50.png
页: 1 2 3 4 [5] 6
查看完整版本: Titlebook: Mathematisch-strukturelle Grundlagen der Informatik; Hartmut Ehrig,Bernd Mahr,Philip Zeitz Textbook 2001Latest edition Springer-Verlag Ber