<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2018-06-13 06:07:43Formal methods Computing Alloy Massachusetts Institute of Technology Z notation Software engineering Modeling languages Object Process Methodology Economic model |
Add to Reading List |
Towards a Web-based Analyzer to improve the teaching of Alloy Alcino Cunha, Nuno Macedo José Pereira, Bruno Carvalho, Ricardo Silva![Zum Beweis des Wiener-Lemmas Die Notation folgt in etwa1 Aufgabe 2.5, es sei also `1 (Z) die Faltungsalgebra der summierbaren Folgen und F die Fouriertransformation F : `1 (Z) 3 (xn ) 7→ f ∈ Cper [0, 1], ∞](https://www.pdfsearch.io/img/2b49b404aec51d419df6d7f045a73685.jpg "Zum Beweis des Wiener-Lemmas Die Notation folgt in etwa1 Aufgabe 2.5, es sei also `1 (Z) die Faltungsalgebra der summierbaren Folgen und F die Fouriertransformation F : `1 (Z) 3 (xn ) 7→ f ∈ Cper [0, 1], ∞")
