Logische Definition gesucht < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
Status: |
(Frage) überfällig | Datum: | 23:28 Do 20.11.2008 | Autor: | MarcelB |
Hallo,
ich möchte gerne einen Sachverhalt mathematisch korrekt darstellen, aber meine Mathekenntnisse sind leider schon etwas eingerostet. Es geht darum, einen speziellen, neu erfundenen Graphtypen zu beschreiben.
Ich gehe mal vom einfachen zum schwierigen:
1. Der Graph besteht aus Knoten (V) und Kanten (E). Das hier wär dann wohl noch korrekt, oder?
G := {V,E}
2. Nun möchte ich logische Verknüpfungen, sozusagen Regeln, definieren. m Knoten sollen über eine Funktion verknüpft werden und eine Auswirkung auf einen Zielknoten haben. Die Verknüpfung kann zB ein logischer Operator sein.
Wie würde man diese Art Regeln formal definieren?
3. Wie würde man es definieren, wenn die Regeln mehrstufig sein dürfen, also zB: (A und B) oder (C und D) = E
Wenn mir jemand hierbei helfen könnte, würde er/sie mir wirklich einen Riesengefallen tun. Wenn ich mehr Infos liefern soll, einfach fragen. Freue mich über jede noch so kleine Hilfe!
Vielen Dank schon mal.
Ich habe diese Frage auch hier gestellt.
|
|
|
|
Status: |
(Mitteilung) Reaktion unnötig | Datum: | 03:27 Fr 21.11.2008 | Autor: | Marcel |
Hallo,
durchstöber vll. mal dieses Skript und schau', ob Du findest, wonach Du suchst. Ansonsten wäre es vll. doch ein wenig besser, wenn Du etwas ausführlicher Dein Problem beschreiben würdest.
> 2. Nun möchte ich logische Verknüpfungen, sozusagen Regeln,
> definieren. m Knoten sollen über eine Funktion verknüpft
> werden und eine Auswirkung auf einen Zielknoten haben. Die
> Verknüpfung kann zB ein logischer Operator sein.
>
> Wie würde man diese Art Regeln formal definieren?
Vll. liegt's daran, dass es so spät ist, aber so ganz verstehe ich das nicht. Also zwei Knoten mit z.B. [mm] '$\text{oder}$' [/mm] zu verknüpfen? Und das soll Auswirkungen auf einen Zielknoten haben? Also sozusagen irgendeine Funktion mit Definitionsbereich $V [mm] \times [/mm] V$? Ich blicke da nicht so ganz durch. Willst Du da irgendwelche Funktionen verknüpfen?
> 3. Wie würde man es definieren, wenn die Regeln mehrstufig
> sein dürfen, also zB: (A und B) oder (C und D) = E
Also hier wäre wohl
[mm] $$\text{und}: [/mm] V [mm] \times [/mm] V [mm] \to [/mm] V$$
sowie
[mm] $$\text{oder}: [/mm] V [mm] \times [/mm] V [mm] \to [/mm] V$$
Aber ich sehe da keinen wirklichen Sinn, was Du da machen willst?
> Wenn mir jemand hierbei helfen könnte, würde er/sie mir
> wirklich einen Riesengefallen tun. Wenn ich mehr Infos
> liefern soll, einfach fragen. Freue mich über jede noch so
> kleine Hilfe!
Also ich blicke noch nicht so ganz durch, was genau Dein Ziel ist und befürchte fast, dass ich da nicht alleine damit dastehe. Vll. kannst Du etwas präziser werden?
Gruß,
Marcel
|
|
|
|
|
Status: |
(Mitteilung) Reaktion unnötig | Datum: | 08:45 Fr 21.11.2008 | Autor: | MarcelB |
OK, vielleicht habe ich zu viele Infos unterschlagen. Ich hab das noch mal sauber aufgeschrieben, mit einer Zeichnung versehen und auch noch mal hier gepostet.
|
|
|
|
|
Status: |
(Mitteilung) Reaktion unnötig | Datum: | 00:20 So 23.11.2008 | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|