Kanal-Theorie < Mengenlehre < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 23:36 Fr 27.04.2007 | | Autor: | torun78 |
| Aufgabe | | Frage zum Information-Channel |
[mm] (\forall\alpha \in [/mm] Γ) [a |= α] → [mm] (\exists [/mm] α [mm] \in [/mm] ∆) [a |= α]
Kann mir jemand sagen was das genau bedeutet und mir vielleicht auch ein schönes beispiel dazu geben.
ich bedanke mich im voraus,
grüße,
torun
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 15:32 Sa 28.04.2007 | | Autor: | felixf |
Hallo torun,
> Frage zum Information-Channel
> [mm](\forall\alpha \in[/mm] Γ) [a |= α] →
> [mm](\exists[/mm] α [mm]\in[/mm] ∆) [a |= α]
>
> Kann mir jemand sagen was das genau bedeutet und mir
> vielleicht auch ein schönes beispiel dazu geben.
da uns allen die ganzen Zeichen nicht viel sagen musst du uns ein wenig auf die Spruenge helfen, damit wir dir helfen koennen. Was bedeuten die ganzen Zeichen (abgesehen von den Standardsymbolen wie [mm] $\forall, \exists, \in, [/mm] ...$)?
LG Felix
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig | | Datum: | 17:36 Mo 30.04.2007 | | Autor: | torun78 |
Also,
[mm] "\alpha" [/mm] steht für Typen.
"a" steht für Token.
a |= [mm] \alpha [/mm] bedeutet:Token a ist vom Typ [mm] \alpha.
[/mm]
grüße,
torun78
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig | | Datum: | 17:52 Mo 30.04.2007 | | Autor: | felixf |
Hallo,
und was sind [mm] $\Gamma$ [/mm] und [mm] $\Delta$? [/mm] Und etwas mehr Kontext (worum geht es generell, in welchem Kontext taucht diese Gleichung auf etc.) hilft vielleicht auch...
LG Felix
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig | | Datum: | 00:20 Mi 02.05.2007 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
