Hat irgendjemand neue Aufgaben die einem so ein bischen auf die Klausur vorbereiten?
Aufgabenzettel aus vergangenen Semestern schon durchgeschaut?
Schon die Musteraufgabe gesehen (bzgl. F1):
Formen Sie die folgenden Formeln jeweils in eine DNF und KNF um.
(a)
[img]
http://mokrates.de/cgi-bin/texstring?$(((%20%5Cneg%20P%20%5Cvee%20%5Cneg%20Q)%20%5Crightarrow%20(R%20%5Cvee%20S))%20%5Cwedge%20(%5Cneg(%5Cneg%20P%20%5Cvee%20Q)))%20[/img]
(b)
[img]
http://mokrates.de/cgi-bin/texstring?$(Q%20%5Cleftrightarrow%20R)%20%5Cwedge%20%5Cneg%20S[/img]
Kommt für (a)
KNF:
[img]
http://mokrates.de/cgi-bin/texstring?$(P%20%5Cvee%20(R%20%5Cvee%20S))%20%5Cwedge%20(Q%20%5Cvee%20(R%20%5Cvee%20S))%20%5Cwedge%20(%20P%20%5Cwedge%20%5Cneg%20Q)[/img]
DNF:
[img]
http://mokrates.de/cgi-bin/texstring?$((P%20%5Cwedge%20Q)%20%5Cwedge%20(P%20%5Cwedge%20%5Cneg%20Q))%20%5Cvee%20(R%20%5Cwedge(P%5Cwedge%20%5Cneg%20Q))%20%5Cvee%20((%20P%20%5Cwedge%20Q)%20%5Cvee%20S)%20%5Cwedge%20(P%20%5Cwedge%20%5Cneg%20Q))[/img]
raus?
Da sind auf der F2-Homepage auch Beispiele für F2-Klausuraufgaben
Ich komm hier nicht weiter:
L2 sei die Menge aller Wörter aus [img]
http://mokrates.de/cgi-bin/texstring?$%5CSigma%5E*$[/img] , deren Länge eine ungerade Zahl ist.
Da sind auf der F2-Homepage auch Beispiele für F2-Klausuraufgaben
Ich komm hier nicht weiter:
L2 sei die Menge aller Wörter aus [img]http://mokrates.de/cgi-bin/texstring?%24%5CSigma%5E*%24[/img] , deren Länge eine ungerade Zahl ist.
Kann mir jemand weiter helfen?
L2 sei die Menge aller Wörter aus [img]http://mokrates.de/cgi-bin/texstring?%24%5CSigma%5E*%24[/img] , deren Länge eine ungerade Zahl ist.
Moment, ich bin noch mit der Aufgabe "Sei n eine Zahl größer 3"
beschäftigt [img]
http://www.fb18.de/gfx/7.gif[/img].
SCNR
Im Ernst: Wie geht die Aufgabe weiter?
upps, hab doch glatt die Erläuterung vergessen…
gesucht ist ein rationaler Ausdruck für L2
@george könntest du obige Lösungen für die F1 Aufgaben
verifizieren,plz
wenn sich noch jemand anderes findet - auch gut
@george könntest du obige Lösungen für die F1 Aufgaben
verifizieren,plz
Das Nachrechnen kann man mit dem auf der WSV-Seite
verlinkten Logik-Rechner
http://logik.phl.univie.ac.at/~chris/formular.htmlerledigen (am einfachsten ist wohl die zentrale Verarbeitung).
Und zwar lässt man sich dazu einfach die Tabelle zu
[img]
http://mokrates.de/cgi-bin/texstring?F%5Cleftrightarrow%20G[/img] vom Rechner anzeigen, wenn F die ursprüngliche
Formel und G die ausgerechnete Normalform ist.
gesucht ist ein rationaler Ausdruck für L2
Überleg doch mal, ob du einen Ausdruck für eine ähnliche
Sprache finden und daraus einen für L2 konstruieren kannst.
[img]http://img18.imageshack.us/img18/9359/wahrheitstabelle6bl.jpg[/img]Kann ich aus so einer Wahrheitstabelle interpretieren, dass meine Lösung falsch ist ?
gesucht ist ein rationaler Ausdruck für L2
Überleg doch mal, ob du einen Ausdruck für eine ähnliche
Sprache finden und daraus einen für L2 konstruieren kannst.
? - ich weiss nicht weiter , kann nur einen Automaten zu L2 bilden:
[img]http://img220.imageshack.us/img220/2835/wungeradedea1xp.jpg[/img]was nu?
? - ich weiss nicht weiter , kann nur einen Automaten zu L2 bilden:
…
was nu?
Wenn's garnicht anders geht, hilft der Satz von Kleene.
Oder du überlegst dir erst einen Ausdruck für die Menge
der Wörter gerader Länge und konstruierst dir daraus
einen für die Wörter ungerader Länge.
Kann ich aus so einer Wahrheitstabelle interpretieren, dass meine Lösung falsch ist ?
Wenn du für G die richtige Formel in Normalform eingegeben
hast, schon. Aber wenn ich das richtig sehe, steht auf der
linken Seite nur ein Disjunktionsglied der DNF.
Aber wenn ich das richtig sehe, steht auf der
linken Seite nur ein Disjunktionsglied der DNF.
stimmt -> super, meine DNF ist doch richtig
Wenn's garnicht anders geht, hilft der Satz von Kleene.
In der Klausur möchte ich auf eine so zeitraubende Plakerei verzichten können.
In der Klausur möchte ich auf eine so zeitraubende Plakerei verzichten können.
Kannst du auch, wenn du mal versuchst, dir einen
rat. Ausdruck direkt auszudenken.
wäre das korrekt:
((a+b)(a+b))*(a+b) ?
KNF und DNF für (b) sind richtig.
Lässt sich die Menge bei Aufgabe 5 (F1 Probeklausurblatt) unifizieren?
nein, wenn ich mich richtig erinnere
entsprechend zu L2:= (a+b)((a+b)(a+b))*
L3 |w| ist gerade := ((a+b)(a+b))*
entsprechend zu L2:= (a+b)((a+b)(a+b))*
L3 |w| ist gerade := ((a+b)(a+b))*
