Show, that ( Z, 0, + 1, − 1, + ) is initial in Alg ( INTEGER ) . 2. Structurize this specification using the specification INT.
Show that INTEGER is an enrichment of INT.
3.
www-madlener.informatik.uni-kl.deStrukturieren Sie diese Spezifikation mit Hilfe der Spezifikation INT.
Zeigen Sie, dass INTEGER eine Anreicherung von INT ist.
3.
www-madlener.informatik.uni-kl.deExtend INTEGER by a function absolute with the properties of the absolute value function on Z.
Show that this is an enrichment of INT.
Exercise 24:
www-madlener.informatik.uni-kl.deErweitern Sie INTEGER um eine Funktion Betrag, die die üblichen Eigenschaften der Betragsfunktion auf Z hat.
Zeigen Sie, dass dies eine Anreicherung von INTEGER ist.
22. Aufgabe:
www-madlener.informatik.uni-kl.de0711 / 685-82176, E-Mail : andrea.mayer-grenu ( at ) hkom.uni-stuttgart.de
INT The institute of Electrical and Optical Communications Engineering belongs to the faculty of “ Computer Science, Electrical Engineering and Information Technology ” at the University of Stuttgart.
Under the direction of Prof. Manfred Berroth, the INT employs 22 members, active in research, teachings, and administration.
www.uni-stuttgart.deHochschulkommunikation, Tel. 0711 / 685-82176, E-Mail : andrea.mayer-grenu [ at ] hkom.uni-stuttgart.de
INT Das Institut für Elektrische und Optische Nachrichtentechnik ( INT ) gehört zur Fakultät „ Informatik, Elektrotechnik und Informationstechnik “ der Universität Stuttgart.
Unter der Leitung von Prof. Manfred Berroth beschäftigt das INT zurzeit 22 Mitarbeiter, die in Forschung, Lehre und Verwaltung arbeiten.
www.uni-stuttgart.deStrukturieren Sie diese Spezifikation mit Hilfe der Spezifikation INT.
Zeigen Sie, dass INTEGER eine Anreicherung von INT ist.
3.
www-madlener.informatik.uni-kl.deShow, that ( Z, 0, + 1, − 1, + ) is initial in Alg ( INTEGER ) . 2. Structurize this specification using the specification INT.
Show that INTEGER is an enrichment of INT.
3.
www-madlener.informatik.uni-kl.deHochschulkommunikation, Tel. 0711 / 685-82176, E-Mail : andrea.mayer-grenu [ at ] hkom.uni-stuttgart.de
INT Das Institut für Elektrische und Optische Nachrichtentechnik ( INT ) gehört zur Fakultät „ Informatik, Elektrotechnik und Informationstechnik “ der Universität Stuttgart.
Unter der Leitung von Prof. Manfred Berroth beschäftigt das INT zurzeit 22 Mitarbeiter, die in Forschung, Lehre und Verwaltung arbeiten.
www.uni-stuttgart.de0711 / 685-82176, E-Mail : andrea.mayer-grenu ( at ) hkom.uni-stuttgart.de
INT The institute of Electrical and Optical Communications Engineering belongs to the faculty of “ Computer Science, Electrical Engineering and Information Technology ” at the University of Stuttgart.
Under the direction of Prof. Manfred Berroth, the INT employs 22 members, active in research, teachings, and administration.
www.uni-stuttgart.deMöchtest du ein Wort, eine Phrase oder eine Übersetzung hinzufügen?
Sende uns gern einen neuen Eintrag.