Die Suche ergab 86 Treffer

von karimhanif
8. Mär 2009 20:29
Forum: Archiv
Thema: Modellierung einer Ampel, Problem mit Ereignismenge
Antworten: 8
Zugriffe: 545

Modellierung einer Ampel, Problem mit Ereignismenge

da es nicht sonderlich viele Modellierungsaufgaben in der Vorlesung gab (insgesammt 4 verschiedene) und ich sie alle x-mal durch-modelliert habe, hab ich mir nun selbst eine ausgedacht und hänge da gerade fest, was die ereignismenge, bzw. auch die menge der übergangsrelationen angeht... meine idee w...
von karimhanif
8. Mär 2009 19:38
Forum: Archiv
Thema: Prozesse, Präfixabgeschlossenheit und die leere Spur...
Antworten: 8
Zugriffe: 620

Re: Prozesse, Präfixabgeschlossenheit und die leere Spur...

bruse hat geschrieben:Kleine Bemerkung: Die FoC-Folien sind ja furchtbar. Ich habe noch nie eine so dröge Aneinanderreihung von Formalia gesehen ohne sinnvolle Prosa.
oh ja, da stimme ich voll und ganz zu, besonders die module: 1, 8, 9 :wink:
von karimhanif
7. Mär 2009 20:54
Forum: Archiv
Thema: Klausureinsicht
Antworten: 33
Zugriffe: 3744

Re: Klausureinsicht

ich wäre auch für einen anderen termin...

habe mit meiner gruppe an dem 12.03 eine präsentation unseres praktikums, da kann ich leider unmöglich fehlen,
ginge eventuell die woche darauf, z.B am montag: 16.03 ? oder auch am freitag, obwohl naja freitag der 13. ist kein gutes datum ;-)
von karimhanif
7. Mär 2009 17:30
Forum: Archiv
Thema: Prozesse, Präfixabgeschlossenheit und die leere Spur...
Antworten: 8
Zugriffe: 620

Re: Prozesse, Präfixabgeschlossenheit und die leere Spur...

gut dann bin ich beruhigt, wäre auch meine lösung dafür gewesen ;-) ist schon extrem wieviele fehler die musterlösungen generell beinhalten, mal abgesehen von den 1000 rechtschreibfehlern 8) in der musterlösung zur übung 10 beispielsweise (Transionssystem der knobelaufgabe) fehlt doch auch in der zu...
von karimhanif
7. Mär 2009 12:29
Forum: Archiv
Thema: Prozesse, Präfixabgeschlossenheit und die leere Spur...
Antworten: 8
Zugriffe: 620

Prozesse, Präfixabgeschlossenheit und die leere Spur...

irgendwie bin ich etwas verwirrt was das folgende angeht... \alpha := musterlösung der übung 11, aufgabe 3.3) und \beta := musterlösung der übung 12, aufgabe 1.3) ich hatte angenommen, so wie es auch in \alpha bestätigt wird, das traces(P) IMMER die leere Spur () enthalten müssen... in \beta ist das...
von karimhanif
5. Mär 2009 22:02
Forum: Archiv
Thema: Kalküle (Fragen)
Antworten: 5
Zugriffe: 326

Re: Kalküle (Fragen)

okay, dann so rum...ich würde nicht so penibel fragen wenn ich nicht genau wüsse wie die jungs da korrigieren ;-)
von karimhanif
5. Mär 2009 20:59
Forum: Archiv
Thema: Kalküle (Fragen)
Antworten: 5
Zugriffe: 326

Re: Kalküle (Fragen)

ja ich geb zu ich habs nicht genau verdeutlicht was ich vorhabe... also, nehmen wir mal an, wir erweitern unseren Kalkül AExp mit neuen regeln und zwar mit dem selben Namen jedoch anderen Herleitungen als die ursprünglichen regeln (also halt sowas wie "überschreiben") wenn ich nun eine Regel instanz...
von karimhanif
5. Mär 2009 20:10
Forum: Archiv
Thema: Uebung 7 Afg 4 (Bexp ohne Aexp Determinismus)
Antworten: 2
Zugriffe: 218

Re: Uebung 7 Afg 4 (Bexp ohne Aexp Determinismus)

Tip: Versuchen Sie die Aufgabe zu loesen, ohne den Beweis, dass die Auswertung von Aexp deterministisch ist, welcher in der Vorlesung gefuehrt wurde, zur Hilfe zu nehmen. Wie koennte das denn aussehen? Wuerde man die nicht einfach als Vorraussetzung nehmen (was im Prinzip dem Verweis auf Aexp-Deter...
von karimhanif
5. Mär 2009 20:06
Forum: Archiv
Thema: Kalküle (Fragen)
Antworten: 5
Zugriffe: 326

Re: Kalküle (Fragen)

nächste frage, wenn ich einen bestehenden Kalkül erweitere, kann ich dann die sozusagen "geerbte" Kalkülregeln "überschreiben"...?
von karimhanif
5. Mär 2009 19:48
Forum: Archiv
Thema: Kalküle (Fragen)
Antworten: 5
Zugriffe: 326

Kalküle (Fragen)

ich hätte da einige fragen zu Kalküle...

erstmal generell, ist es eigentlich möglich ein Kalkül anzugeben der 2 identische Kalkül-Regeln (zumindest vom Namen her) enthält, die jedoch unterdschiedliche Prämissen besitzen und dementsprechend unterschiedliche herleitungen?
von karimhanif
5. Mär 2009 14:02
Forum: Archiv
Thema: Beispielaufgaben (Modellierung) anderer Uni's..
Antworten: 0
Zugriffe: 240

Beispielaufgaben (Modellierung) anderer Uni's..

habe im netz folgende seite gefunden, vielleicht hilft es den einem oder anderem beim lernen: http://ag-kastens.cs.uni-paderborn.de/lehre/material/model2007/hinweise.html#hw1210320687_3 leider ist nur ein begrenzter teil davon für uns interessant (der modellierungsteil) alles andere haben wir nicht ...
von karimhanif
4. Mär 2009 23:46
Forum: Archiv
Thema: Übung 10, Verwirrung...
Antworten: 3
Zugriffe: 243

Re: Übung 10, Verwirrung...

vielen dank für die Info Tigger... aber trotzdem bin ich mittlerweile sehr verwirrt was: funktionen, symbole, prädikate, etc. angeht... diese ganze "alternative modellierung" ist für mich irgendwie sehr komplex, das man da zwanghaft vieles durcheinander bringt und am ende daran scheitert... irgendwi...
von karimhanif
4. Mär 2009 21:32
Forum: Archiv
Thema: Übung 10, Verwirrung...
Antworten: 3
Zugriffe: 243

Übung 10, Verwirrung...

hallo, ich habe gerade die musterlösung der ersten aufgabe (Transitionssystem) in der 10 übung angeschaut...mich stört hier die bezeichnung: "Symbol" für fahre(T) ich hätte jetzt vermutet fahre(T) wäre eine Funktion...??

weiß da jemand wie das aufzufassen ist ??
von karimhanif
4. Mär 2009 20:36
Forum: Archiv
Thema: Modul 0, (Modellierung) --> Frage(n)
Antworten: 2
Zugriffe: 176

Modul 0, (Modellierung) --> Frage(n)

ist vielleicht 'ne ganz kleine frage, aber ich würde trotzdem gerne wissen was dahinter steckt... auf der seite: 23 im Modul 0 wurde für R' bzw. L' folgendes gefordert: \lbrace z, w \rbrace \not\subset L' bzw. \lbrace z, k \rbrace \not\subset L' meine frage ist nun, warum ECHTE teilmenge? eine "norm...
von karimhanif
4. Mär 2009 14:25
Forum: Archiv
Thema: Klausureinsicht
Antworten: 33
Zugriffe: 3744

Re: Klausureinsicht

ich meine gelesen zu haben das die Einsicht am 12 oder 13.03 ist, aber ich weiß ehrlich gesagt gar nicht mehr, wo ich das gelesen hab...
weiß jemand in welchen Thread Erik das bekanntgegeben hat?

Zur erweiterten Suche