Modellierungsproblem < Mengenlehre < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
Hallo
Ich würde gerne folgendes modellieren:
Angenommen ich Habe ein Logisches Gatter wie in folgender Abbildung:
[Dateianhang nicht öffentlich]
Würde gerne eine Methode formal modellieren, die zu einer Ausgangsvariablen die Menge der Eingangsvariablen liefert. Ich hänge da gerade etwas. Im Prinzip ist das ja eine Abildung von einer Variablen auf eine Menge(Multimenge) von Variablen (Ein Gatter kann auch mehr als 3 Eingänge haben).
Mir geht es garnich so um die Semantik sondern: welches Mathematische Konstrukt eignet sich für die Beschreibung einer solchen Operation (Realation, Funktion, irgedwas anderes abgefahrenes).
mfg Fred
Dateianhänge:
Anhang Nr. 1 (Typ: PNG) [nicht öffentlich]
|
|
| |
|
| Status: |
(Antwort) fertig  | | Datum: | 11:14 So 31.10.2010 | | Autor: | abakus |
> Hallo
> Ich würde gerne folgendes modellieren:
> Angenommen ich Habe ein Logisches Gatter wie in folgender
> Abbildung:
> [Dateianhang nicht öffentlich]
> Würde gerne eine Methode formal modellieren, die zu einer
> Ausgangsvariablen die Menge der Eingangsvariablen liefert.
> Ich hänge da gerade etwas. Im Prinzip ist das ja eine
> Abildung von einer Variablen auf eine Menge(Multimenge) von
> Variablen (Ein Gatter kann auch mehr als 3 Eingänge
> haben).
>
> Mir geht es garnich so um die Semantik sondern: welches
> Mathematische Konstrukt eignet sich für die Beschreibung
> einer solchen Operation (Realation, Funktion, irgedwas
> anderes abgefahrenes).
Hallo,
im konkreten Fall des abgebildeten AND-Gatters kann man sehr leicht mit einer Funktion arbeiten:
x=f(a,b)=a*b
x nimmt nur dann den Wert 1 an, wenn a und b jeweils den Wert 1 haben.
Gruß Abakus
>
> mfg Fred
|
|
|
| |
|
Ersteinmal danke für die Antwort,
leider meinte ich etwas anderes:
ich suche etwas das so aussieht:
[mm] $k(y)=\{a,b\};
[/mm]
aber was ist $k$? Ist ja keine Funktion. Da es ja eine Abbildung von einem Element der Variablenmenge $V$ auf eine Menge $ [mm] V^{\bullet} \subseteq [/mm] V$ ist.
mfg Fred
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 15:23 Di 02.11.2010 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
