• Keine Ergebnisse gefunden

(c) exptr is a simple haskell expression

N/A
N/A
Info
Herunterladen
Protected

Academic year: 2021

Aktie "(c) exptr is a simple haskell expression"

Copied!
1
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Jetzt herunterladen ( 1 Seite )

Volltext

(1)

Definition 2.2.11

A complex haskell expression exp is transformed into exptr iff

exptr results from exp by repeated application of Rules (1) – (12) and no rule is applicable to exptr any more.

Theorem 2.2.12

Let exp be a complex haskell expression. Then we have:

(a) Application of the rules (1) – (12) terminates, i.e., there is an expression exptr.

(b) Except Rule (10), the rules are “confluent”, i.e., exptr is unique up to the order of declarations and nested let-expressions.

(c) exptr is a simple haskell expression.

52

Referenzen

Jetzt herunterladen ( PDF - 1 Seite - 14.69 KB )

ÄHNLICHE DOKUMENTE

c 2 · 1 exp kT hν

antiproportional zur Temperatur.. einer halben Gröÿenordnung) zu groÿ sein. Dies

dx exp

und gegen den Uhrzeigersinn läuft und die Beträge gleih sind, somit diese sih also..

σ−= ndIdI )exp()0()( Übungsblatt 4

Betrachten Sie Compton-Streuung von hν = 8 keV Synchrotronstrahlung an He und von γ- Strahlen einer radioaktiven 137 Cs Probe mit λ = 1.88 10 −2 Å an Graphit. Berechnen Sie in

c) Berechnen Sie den Fl¨acheninhalt von exp(G)

[r]

n const exp( ) k T

Quantenmechanik: jedes Molekül hat diskrete

Fig. 1 northern North AtlanticWeiss 2019 CP Age Year BP Exp. 5Exp. 6 Exp. 5Exp. 6

Bradley and Bakke ignore, however, the 4.2 ka BP event data from Svalbard, Sweden, Norway, Denmark, Faroes Islands, Iceland, west Greenland, and the relevant Nordic Seas marine

log 2 -r atio [exp er im en t/con tr ol]

[r]

Berechnen Sie Z A exp(−x2)d(x, y)

Diese werden so ausgew¨ ahlt, dass Sie eine m¨ oglichst hohe Punktzahl erreichen. Abgabe in der Vorlesungspause