FB18.de - Das Informatikforum
F1/F2 Gesucht Musteraufgaben - Druckversion

+- FB18.de - Das Informatikforum ( /mybb )
+-- Forum: Diplom Informatik ( /forumdisplay.php?fid=114 )
+--- Forum: Unterbereich Grundstudium ( /forumdisplay.php?fid=123 )
+---- Forum: Formale Informatik ( /forumdisplay.php?fid=16 )
+---- Thema: F1/F2 Gesucht Musteraufgaben ( /showthread.php?tid=7539 )

F1/F2 Gesucht Musteraufgaben - Anonymer User - 17.07.2005 13:27

Hat irgendjemand neue Aufgaben die einem so ein bischen auf die Klausur vorbereiten?

Re: F1/F2 Gesucht Musteraufgaben - sChQrf - 17.07.2005 14:09

Aufgabenzettel aus vergangenen Semestern schon durchgeschaut?

Re: F1/F2 Gesucht Musteraufgaben - Anonymer User - 17.07.2005 19:57

Schon die Musteraufgabe gesehen (bzgl. F1):

Formen Sie die folgenden Formeln jeweils in eine DNF und KNF um.

(a)



(b)




Re: F1/F2 Gesucht Musteraufgaben - Anonymer User - 17.07.2005 20:03

Kommt für (a)

KNF:



DNF:




raus?

Re: F1/F2 Gesucht Musteraufgaben - Anonymer User - 17.07.2005 20:20

Und für (b) :

KNF:




DNF:




?

Re: F1/F2 Gesucht Musteraufgaben - Anonymer User - 17.07.2005 20:37

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 , deren Länge eine ungerade Zahl ist.

Re: F1/F2 Gesucht Musteraufgaben - Anonymer User - 17.07.2005 20:37

Zitat:
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 , deren Länge eine ungerade Zahl ist.


Kann mir jemand weiter helfen?

Re: F1/F2 Gesucht Musteraufgaben - georg - 17.07.2005 20:50

Zitat:
L2 sei die Menge aller Wörter aus , deren Länge eine ungerade Zahl ist.


Moment, ich bin noch mit der Aufgabe "Sei n eine Zahl größer 3"
beschäftigt .

SCNR

Im Ernst: Wie geht die Aufgabe weiter?

Re: F1/F2 Gesucht Musteraufgaben - Anonymer User - 17.07.2005 20:54

upps, hab doch glatt die Erläuterung vergessen...

gesucht ist ein rationaler Ausdruck für L2

Re: F1/F2 Gesucht Musteraufgaben - Anonymer User - 17.07.2005 20:56

@george  könntest du obige Lösungen für die F1 Aufgaben
verifizieren,plz

wenn sich noch jemand anderes findet - auch gut


Re: F1/F2 Gesucht Musteraufgaben - georg - 17.07.2005 21:15

Zitat:
@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.html
erledigen (am einfachsten ist wohl die zentrale Verarbeitung).

Und zwar lässt man sich dazu einfach die Tabelle zu
vom Rechner anzeigen, wenn F die ursprüngliche
Formel und G die ausgerechnete Normalform  ist.

Re: F1/F2 Gesucht Musteraufgaben - georg - 17.07.2005 21:26

Zitat:
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.

Re: F1/F2 Gesucht Musteraufgaben - Inkarnat - 17.07.2005 22:17



Kann ich aus so einer Wahrheitstabelle interpretieren, dass meine Lösung falsch ist ?

Re: F1/F2 Gesucht Musteraufgaben - Anonymer User - 17.07.2005 22:37

Zitat:
Zitat:
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:



was nu?

Re: F1/F2 Gesucht Musteraufgaben - georg - 17.07.2005 23:06

Zitat:
? - 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.

Re: F1/F2 Gesucht Musteraufgaben - georg - 17.07.2005 23:10

Zitat:
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.

Re: F1/F2 Gesucht Musteraufgaben - Inkarnat - 17.07.2005 23:33

Zitat:
Aber wenn ich das richtig sehe, steht auf der
linken Seite nur ein Disjunktionsglied der DNF.


stimmt -> super, meine DNF ist doch richtig

Re: F1/F2 Gesucht Musteraufgaben - Anonymer User - 17.07.2005 23:48

Zitat:
Wenn's garnicht anders geht, hilft der Satz von Kleene.


In der Klausur möchte ich auf eine so zeitraubende Plakerei verzichten können.

Re: F1/F2 Gesucht Musteraufgaben - georg - 17.07.2005 23:51

Zitat:
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.

Re: F1/F2 Gesucht Musteraufgaben - Lazy - 18.07.2005 01:02

wäre das korrekt:
((a+b)(a+b))*(a+b) ?

Re: F1/F2 Gesucht Musteraufgaben - Anonymer User - 18.07.2005 01:04

KNF und DNF für (b) sind richtig.

Re: F1/F2 Gesucht Musteraufgaben - Anonymer User - 18.07.2005 01:14

Lässt sich die Menge bei Aufgabe 5 (F1 Probeklausurblatt) unifizieren?

Re: F1/F2 Gesucht Musteraufgaben - Janis - 18.07.2005 11:13

nein, wenn ich mich richtig erinnere

Re: F1/F2 Gesucht Musteraufgaben - georg - 18.07.2005 12:58

Zitat:
wäre das korrekt:
((a+b)(a+b))*(a+b) ?


Ja, das sieht gut aus.

Re: F1/F2 Gesucht Musteraufgaben - Anonymer User - 18.07.2005 13:45

entsprechend zu L2:= (a+b)((a+b)(a+b))*
L3 |w| ist gerade := ((a+b)(a+b))*

Re: F1/F2 Gesucht Musteraufgaben - Anonymer User - 18.07.2005 13:46

entsprechend zu L2:= (a+b)((a+b)(a+b))*
L3 |w| ist gerade := ((a+b)(a+b))*