Registrierung Kalender Mitgliederliste Teammitglieder Suche Häufig gestellte Fragen Zur Startseite

Informatiker Board » Themengebiete » Theoretische Informatik » Beweis/ Induktion » Hallo Gast [Anmelden|Registrieren]
Letzter Beitrag | Erster ungelesener Beitrag Druckvorschau | An Freund senden | Thema zu Favoriten hinzufügen
Neues Thema erstellen Antwort erstellen
Zum Ende der Seite springen Beweis/ Induktion
Autor
Beitrag « Vorheriges Thema | Nächstes Thema »
newsys
Jungspund


Dabei seit: 04.11.2007
Beiträge: 15

Beweis/ Induktion Auf diesen Beitrag antworten Zitatantwort auf diesen Beitrag erstellen Diesen Beitrag editieren/löschen Diesen Beitrag einem Moderator melden       Zum Anfang der Seite springen

Hallo,

ich soll dies Beweisen grad(F) < |F|
Habe keine Ahnung wie ich das machen muss....hhhiiilllfeee
27.04.2008 12:24 newsys ist offline E-Mail an newsys senden Beiträge von newsys suchen Nehmen Sie newsys in Ihre Freundesliste auf
Tobias
Routinier


Dabei seit: 18.09.2006
Beiträge: 324

Auf diesen Beitrag antworten Zitatantwort auf diesen Beitrag erstellen Diesen Beitrag editieren/löschen Diesen Beitrag einem Moderator melden       Zum Anfang der Seite springen

Immer wieder gerne sage ich: Wenn ihr Fragen stellt, dann geht NICHT davon aus, dass jeder jede Definition so kennt, wie ihr sie eingeführt habt. Und auch ein bisschen Kontext wäre schön.

Also:

Was ist F, was ist grad(.), was ist |.| ?
27.04.2008 12:28 Tobias ist offline E-Mail an Tobias senden Beiträge von Tobias suchen Nehmen Sie Tobias in Ihre Freundesliste auf
newsys
Jungspund


Dabei seit: 04.11.2007
Beiträge: 15

Auf diesen Beitrag antworten Zitatantwort auf diesen Beitrag erstellen Diesen Beitrag editieren/löschen Diesen Beitrag einem Moderator melden       Zum Anfang der Seite springen

Hier die komplette Aufgabenstellung:

Zeigen Sie durch strukturelle Induktion über den Aufbau von Formeln, dass gilt
grad(F) < |F|
Dabei bezeichnet |F| die Länge (Anzahl der Zeichen) in F.

Ich kenne den Aufbau einer Induktion aber anwenden ist wieder eine andere Sache. Induktionsanfang: für einen speziellen Wert und dann die Behauptung, dann der Ind.schritt.
27.04.2008 17:04 newsys ist offline E-Mail an newsys senden Beiträge von newsys suchen Nehmen Sie newsys in Ihre Freundesliste auf
newsys
Jungspund


Dabei seit: 04.11.2007
Beiträge: 15

Auf diesen Beitrag antworten Zitatantwort auf diesen Beitrag erstellen Diesen Beitrag editieren/löschen Diesen Beitrag einem Moderator melden       Zum Anfang der Seite springen

Als Induktionsanfang habe ich das hier:
[latex]$A\in\mathcal{AS}_{AL}, F=A\\ grad(A)=grad_{\mathcal{AS}}(A)=0<1=\mid F\mid[/latex]

Ist das so richtig? Und wie mache ich weiter??????
27.04.2008 17:45 newsys ist offline E-Mail an newsys senden Beiträge von newsys suchen Nehmen Sie newsys in Ihre Freundesliste auf
Tobias
Routinier


Dabei seit: 18.09.2006
Beiträge: 324

Auf diesen Beitrag antworten Zitatantwort auf diesen Beitrag erstellen Diesen Beitrag editieren/löschen Diesen Beitrag einem Moderator melden       Zum Anfang der Seite springen

Du magst den Aufbau der Formeln kennen, ich hingegen weiß noch nichtmal, von welchen Formeln du redest. Wie ist also der Aufbau der Formeln definiert.

Was ist grad(F) einer Formel F?
27.04.2008 18:27 Tobias ist offline E-Mail an Tobias senden Beiträge von Tobias suchen Nehmen Sie Tobias in Ihre Freundesliste auf
newsys
Jungspund


Dabei seit: 04.11.2007
Beiträge: 15

Auf diesen Beitrag antworten Zitatantwort auf diesen Beitrag erstellen Diesen Beitrag editieren/löschen Diesen Beitrag einem Moderator melden       Zum Anfang der Seite springen

Das weiß ich auch nicht. Das was ich in den Anfang geschrieben habe ist das einzige was ich darüber gefunden habe...
27.04.2008 18:32 newsys ist offline E-Mail an newsys senden Beiträge von newsys suchen Nehmen Sie newsys in Ihre Freundesliste auf
Tobias
Routinier


Dabei seit: 18.09.2006
Beiträge: 324

Auf diesen Beitrag antworten Zitatantwort auf diesen Beitrag erstellen Diesen Beitrag editieren/löschen Diesen Beitrag einem Moderator melden       Zum Anfang der Seite springen

Und wo hast du die Aufgabe dann her? Ist die vom Himmel gefallen? Du musst doch wenigstens wissen, um welche Formeln es sich handelt (Aussagenlogik, Prädikatenlogik, Arithmetische Formeln, ...)?

Und wie soll man ohne Definition von "grad" eine Induktion führen?
27.04.2008 18:53 Tobias ist offline E-Mail an Tobias senden Beiträge von Tobias suchen Nehmen Sie Tobias in Ihre Freundesliste auf
newsys
Jungspund


Dabei seit: 04.11.2007
Beiträge: 15

Auf diesen Beitrag antworten Zitatantwort auf diesen Beitrag erstellen Diesen Beitrag editieren/löschen Diesen Beitrag einem Moderator melden       Zum Anfang der Seite springen

Ok also Thema Aussagenlogik weiteres weiß ich wirklich nicht. Die komplette Aufgabe habe ich hingehschrieben...
27.04.2008 19:52 newsys ist offline E-Mail an newsys senden Beiträge von newsys suchen Nehmen Sie newsys in Ihre Freundesliste auf
Tobias
Routinier


Dabei seit: 18.09.2006
Beiträge: 324

Auf diesen Beitrag antworten Zitatantwort auf diesen Beitrag erstellen Diesen Beitrag editieren/löschen Diesen Beitrag einem Moderator melden       Zum Anfang der Seite springen

Also irgendwie nehme ich dir das nicht ab. Immerhin hast du hier:

Zitat:
[latex]$A\in\mathcal{AS}_{AL}, F=A\\ grad(A)=grad_{\mathcal{AS}}(A)=0<1=\mid F\mid[/latex]


schon grad(A) = 0 aufgeschrieben. Wo hast du das denn her?
Noch meinem Kenntnisstand kann man grad auch durch Bratwurst oder Pommes ersetzen. Beweis mal:

Bratwurst(F) <= |F|
28.04.2008 13:25 Tobias ist offline E-Mail an Tobias senden Beiträge von Tobias suchen Nehmen Sie Tobias in Ihre Freundesliste auf
Baumstruktur | Brettstruktur
Gehe zu:
Neues Thema erstellen Antwort erstellen
Informatiker Board » Themengebiete » Theoretische Informatik » Beweis/ Induktion