<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2015-02-05 09:51:09Mathematics Logic Mathematical logic Algebraic structures Model theory Z notation Topology S Set theory Lattice Ring Axiom |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2015-02-05 09:51:09Mathematics Logic Mathematical logic Algebraic structures Model theory Z notation Topology S Set theory Lattice Ring Axiom |
Add to Reading List |
Efficient Reasoning with Range and Domain Constraints Dmitry Tsarkov and Ian Horrocks Department of Computer Science The University of Manchester Manchester, UK {tsarkov|horrocks}@cs.man.ac.uk![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], ∞")
