Die Suche ergab 114 Treffer

von felicis
7. Jul 2016 16:19
Forum: Archiv
Thema: 7.46: Example for injective, label-preserving graph morphisms
Antworten: 1
Zugriffe: 385

7.46: Example for injective, label-preserving graph morphisms

Hi, does someone know a graph morphism r=(\operatorname{\mathit{v-f}}, \operatorname{\mathit{e-f}}) for the De-Jure-Rule "x creates \alpha for new object y"? I don't get how we could create the y subject when we only have \operatorname{\mathit{v-f}}: V_L \rightarrow V_R , i.e. we can't tell the func...
von felicis
28. Mai 2016 16:50
Forum: Archiv
Thema: Ex 2.2e)_solution: small typo
Antworten: 1
Zugriffe: 497

Ex 2.2e)_solution: small typo

In e) the attribute used was "enr":
Selection_094.png
Selection_094.png (25.37 KiB) 497 mal betrachtet
but in f) "reg" is used instead:
Selection_093.png
Selection_093.png (21.43 KiB) 497 mal betrachtet
von felicis
28. Mai 2016 16:11
Forum: Archiv
Thema: Ex 2_solution: small typo
Antworten: 1
Zugriffe: 512

Ex 2_solution: small typo

Selection_092.png
Selection_092.png (57.96 KiB) 512 mal betrachtet
von felicis
10. Mai 2016 18:55
Forum: Archiv
Thema: 4.23/4.25: Difference R_weird and LABELS
Antworten: 1
Zugriffe: 294

4.23/4.25: Difference R_weird and LABELS

Hi, I didn't really get the difference between \mathscr{R} and the set LABELS ? They are both parameters and thus arbitrarily chosen.... best felicis PS: I tried to reproduce the curly R, but the font which was used is Blackadder ITC, a commercial font (acquirable for ~$40), and therefore not usable...
von felicis
10. Mai 2016 18:20
Forum: Archiv
Thema: Slide 4.44: typo?
Antworten: 1
Zugriffe: 372

Slide 4.44: typo?

Hi, while summarizing the slides I notices something weird on slide 4.44: it is (existentially) quantified over A^* \subseteq SUBJECTS \times OBJECTS \times ATTRIBS (after having quantified over S* and O* ), even though we always defined A \subseteq S \times O \times ATTRIBS (not SUBJECTS or OBJECTS...
von felicis
9. Mai 2016 22:35
Forum: Archiv
Thema: Ex3.3: transition relation semantics (HRU model)
Antworten: 3
Zugriffe: 521

Re: Ex3.3: transition relation semantics (HRU model)

Doesn't the Definition on slide 4.25 imply the equivalence? If the transition relation is the greatest set of (single) transitions, which comply with all constraints, there cannot be any single transition which complies with the constraints, but is not present in the transition relation, can't there...
von felicis
9. Mai 2016 13:17
Forum: Archiv
Thema: Ex3.3: transition relation semantics (HRU model)
Antworten: 3
Zugriffe: 521

Ex3.3: transition relation semantics (HRU model)

Hi,

I would like to use the constraint for conditional requests (slide 21) for exercise part a). It would help me very much if the "implies" would be a "is equivalent to". Is this valid, or do I allow wrong semantics for the requests if I make this change?

best
felicis
von felicis
12. Mär 2016 13:13
Forum: Archiv
Thema: Klausureinsicht
Antworten: 14
Zugriffe: 2344

Re: Klausureinsicht

push
von felicis
7. Mär 2016 21:20
Forum: Archiv
Thema: Modul 10 Folie 15: Spuren von Transitionssystemen
Antworten: 1
Zugriffe: 167

Modul 10 Folie 15: Spuren von Transitionssystemen

Warum ist Traces(TS) die "kleinste" Menge, die den danach genannten Eingenschaften genügt?
Wäre für \(TS=(S, S_0,E,\rightarrow)\), \(Traces(TS)=\{s_0\}\) dann nicht eine gültige Menge, wenn \(s_0 \in S_0\)?

Irgendwie kommt mir das komisch vor, oder habe ich etwas übersehen?

Gruß
felicis
von felicis
7. Mär 2016 20:43
Forum: Archiv
Thema: Übung 9.3 b) Fehler? (Lösung)
Antworten: 0
Zugriffe: 198

Übung 9.3 b) Fehler? (Lösung)

Hallo, in der Lösung von Übung 9.3 b) sieht es so aus, also ob \zeta anstatt von \xi verwendet wird!? Eine meiner Ansicht nach strittige Aussage ist diese hier: \zeta \in \{\xi \mid \exists \xi_1, ..., \xi_n: \exists r\text{-}name: r\text{-}name(\xi, (\xi_1, ..., \xi_n)) \in RTerme(r\text{-}name) \l...
von felicis
7. Mär 2016 17:41
Forum: Archiv
Thema: Abschlusseigenschaft (M08 Folie 22)
Antworten: 4
Zugriffe: 350

Re: Abschlusseigenschaft (M08 Folie 22)

und was bringt uns dieses P ? wir machen doch später gar nichts damit?! Wir verwenden nur die "Abschlusseigenschaft" allgemein für Q und definieren damit I_\mathcal{K} ! ADDIT: ich meine die Definition sagt doch nur aus, dass ab einer gewissen Größe Q^* \subseteq M jede Obermenge von Q^* in P ist: \...
von felicis
7. Mär 2016 17:30
Forum: Archiv
Thema: Modul 7 Folie 17
Antworten: 2
Zugriffe: 204

Re: Modul 7 Folie 17

Hallo, ich dachte vielleicht braucht man für das induzieren bis ans Ende der Herleitung auch eine Bedingung für AExp (ähnlich wie P für Com ), aber die Lösung in der Übung 6.2 leutet mir ein (es sind zwar viele Kolumbus-Eier dabei gut: es funktioniert!). Ich hoffe nur wir müssen aber uns in der Klau...
von felicis
7. Mär 2016 13:55
Forum: Archiv
Thema: Modul 8 Folie 10: Äquivalenz von Semantiken
Antworten: 1
Zugriffe: 248

Modul 8 Folie 10: Äquivalenz von Semantiken

Theorem: \text{Für alle $a \in AEXP$, $\sigma \in \Sigma$ und $n \in Num$ gilt: } \quad \Vdash \langle a, \sigma \rangle \Downarrow n \iff \; \Vdash \langle a, \sigma \rangle \Rightarrow n. Würdet ihr das Theorem auch mit Struktureller Induktion beweisen? Ich dachte das ist gut, weil die zwei Kalkü...
von felicis
7. Mär 2016 12:38
Forum: Archiv
Thema: Kalkülregeln für die Klausur
Antworten: 7
Zugriffe: 911

Re: Kalkülregeln für die Klausur

da es völlig blödsinnig ist Kalkülregeln auswendig zu lernen und dieses Fach einen sehr mathematischen, formalen Anspruch hat (ähnlich wie FGdI, vll etwas stärker), zweifle ich allerstärkstens daran, dass hier konkrete Kalkülregeln verlangt werden. Ich denke mal sie sind gegeben, wenn nötig. Außerde...
von felicis
7. Mär 2016 12:29
Forum: Archiv
Thema: Modul 7 Folie 17
Antworten: 2
Zugriffe: 204

Modul 7 Folie 17

Beim Fall der Regel r:= wird nicht vorausgesetzt, dass P(\mathcal{H_1}) gilt. Bei Regel r; dagegen wird P(\mathcal{H_1}) und P(\mathcal{H_2}) vorausgesetzt (Implikation). Verstehe ich das richtig, dass dies lediglich damit zu tun hat, dass die Relation P nicht auf DER_\mathcal{A} definiert ist? Ich ...

Zur erweiterten Suche