Am 05.03.2023 um 02:19 schrieb Aman Shaikh <amanshaikh75@xxxxxxxxx>:
Achtung, externe Mail!Hi--
Does TLA+ define a function composition operator? I.e., given two functions f and g, can I declare something along those lines:
h == f \function_composition_operator g?
Thus,
h[x] = f[g[x]] for every x \in the domain of 'g'.
Naturally, the range of function 'g' has to be a subset of the domain of 'f' for this to make sense.
thxaman
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/CA%2B13N%3DvhzmTHfRxJ4ncsiwqXcNcCYbaSX2fPfUEbX1%2Bt%3DsH4Ew%40mail.gmail.com.
UKSH hilft Ukraine: Wir machen weiter. Helfen Sie uns, zu helfen!
Unterstützung für die Menschen in und aus der Ukraine.
UKSH-Gutes tun!-Spendenkonto zur Aktion
Empfänger: UKSH WsG e.V.
IBAN: DE75 2105 0170 1400 1352 22 | BIC: NOLADE21KIE
Angabe bei Ihrer Überweisung im Verwendungszweck:
FW14042: UKSH hilft Ukraine
Spenden via PayPal:
Spenden per PayPal
Alle Infos: www.uksh.de/ukrainehilfe
Universitätsklinikum Schleswig-Holstein
Rechtsfähige Anstalt des öffentlichen Rechts der Christian-Albrechts-Universität zu Kiel und der Universität zu Lübeck
Vorstandsmitglieder: Prof. Dr. Dr. h.c. mult. Jens Scholz (Vorsitzender/CEO), Peter Pansegrau (CFO), Corinna Jendges (COO), Prof. Dr. Thomas Münte, Prof. Dr. Joachim Thiery
Vorsitzender des Aufsichtsrates: Guido Wendt
Bankverbindungen:
Förde Sparkasse IBAN: DE14 2105 0170 0000 1002 06 SWIFT/BIC: NOLA DE 21 KIE
Commerzbank AG IBAN: DE17 2308 0040 0300 0412 00 SWIFT/BIC: DRES DE FF 230
Gemeinsam Gutes tun! Spenden: Alle UKSH-Spendenmöglichkeiten unter
www.uksh.de/gutestun
Spendenkonto: Förde Sparkasse IBAN: DE75 2105 0170 1400 1352 22 | BIC: NOLADE21KIE | Empfänger: UKSH WsG e.V.
Diese E-Mail enthält vertrauliche Informationen und ist nur für die Personen bestimmt, an welche sie gerichtet ist.
Sollten Sie nicht der bestimmungsgemäße Empfänger sein, bitten wir Sie, uns hiervon unverzüglich zu unterrichten und die E-Mail zu vernichten.
Wir weisen darauf hin, dass der Gebrauch und die Weiterleitung einer nicht bestimmungsgemäß empfangenen E-Mail und ihres Inhalts gesetzlich verboten sind und ggf. Schadensersatzansprüche auslösen können.
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/38A983B9-B957-4BF1-B6F9-B99B5AC16326%40uksh.de.