Formale Methoden I - Universität Bielefeld
Formale Methoden I - Universität Bielefeld
Formale Methoden I - Universität Bielefeld
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Symbole<br />
∅, 6<br />
∈, 8<br />
∀,↔, 8<br />
{x :···}, 9<br />
∩,∪, 10<br />
−,\, 10<br />
, 10<br />
⊆, 14<br />
− X M, 16<br />
, 14<br />
℘, 16<br />
n, 36<br />
〈m, n〉, 20<br />
π 1 ,π 2 , 20<br />
M×N, 21<br />
R ⌣ , 22<br />
R P , 24<br />
Π R , 24<br />
⃗x n , 58<br />
L ∗ , 58<br />
a<br />
j−→ k, 64<br />
L(A), 66<br />
⃗x→⃗y, 50<br />
→ ρ , 50<br />
⃗x→⃗y/C, 52<br />
→ n ρ ,→∗ ρ , 51<br />
→ R ,→ n R ,→∗ R , 53<br />
⊢ G ⃗y, 53<br />
L(G), 53<br />
|, 54<br />
, 56<br />
A(G),Γ(A), 73<br />
dom f , 25<br />
f [K], 26<br />
N, 26<br />
Z, 26<br />
f↾ K, 27<br />
f −1 , 28<br />
◦, 29<br />
|⃗x|, 39<br />
ε, 40<br />
⃗x·⃗y, 40<br />
|M| , 45<br />
ℵ 0 , 47<br />
L· M, 56<br />
84
Change language