Die Suche ergab 4 Treffer

von pinanta
5. Mär 2018 21:14
Forum: Archiv
Thema: (P || Q) vs (P ||| Q)
Antworten: 2
Zugriffe: 421

(P || Q) vs (P ||| Q)

Ich habe eine Verständisfrage bezüglich der beiden "Prozess-Operatoren" || und |||: Wenn ich das richtig verstanden habe, spezifiziert ein Prozessausdruck (P || Q) , für beliebige Prozessausdrücke P und Q, denjenigen Prozess, der einem nebenläufigen Ablauf beider Teilprozesse, die durch P und Q mode...
von pinanta
13. Aug 2017 21:14
Forum: Archiv
Thema: SAT(FO) nicht aufzählbar, aber FINSAT(FO)?
Antworten: 0
Zugriffe: 1086

SAT(FO) nicht aufzählbar, aber FINSAT(FO)?

Hey, ich stehe gerade etwas auf dem Schlauch... Weshalb das Erfüllbarkeitsproblem der Logik erster Stufe unentscheidbar ist, leuchtet mit denke ein: Es gibt grundsätzlich unendlich viele S-Strukturen, weshalb es nicht möglich ist systematisch für beliebige AL-Formeln zu bestimmen, ob diese erfüllbar...
von pinanta
30. Jul 2017 12:33
Forum: Archiv
Thema: Hornformeln: Minimale Belegung, Beispiel 5.14
Antworten: 1
Zugriffe: 559

Re: Hornformeln: Minimale Belegung, Beispiel 5.14

Okay, mir ist mein Fehler denke ich aufgefallen: Die leere Konjunktion (für Blätter) ist wahr, und impliziert damit, dass zumindest alle für alle Blätter u die Variable pu durch die minimale Belegung auf 1 gesetzt wird. Der Rest ergibt sich dann von da aus ...
von pinanta
30. Jul 2017 10:53
Forum: Archiv
Thema: Hornformeln: Minimale Belegung, Beispiel 5.14
Antworten: 1
Zugriffe: 559

Hornformeln: Minimale Belegung, Beispiel 5.14

Hi, ich habe momentan ein kleines Verständnisproblem bei Beispiel 5.14 des AL-Skripts: Betrachte einen Graphen G = (V, E) mit abzählbarer Knotenmenge V und Kantenrelation E , als Teilmenge von V x V. Zu V* := {pv: v aus V} und u aus V sei Cu die zu (Konjunktion über {pv: v aus E(u)}) -> pu äquivalen...

Zur erweiterten Suche