Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.
Probeklausur WS13 - Aufgabe 6 Induktion
Da das hier die einzige Aufgabe ist, die sich von denen der letzten Semester unterscheidet, wollte ich mal meinen (warscheinlich schlechten) Lösungsvorschlag Posten:
Z.Z. M[E] ∈{0,1}.
IV: M[E] ∈ {0,1}
IA:
- E:= zero : → M[zero]=0 ∈ {0,1} √
- E:= one : → M[one]=1 ∈ {0,1} √
IS:
E:=mult(E₁,E₂)
(IV)
→M[E] = M[[i]mult/i] = M[i]mult[/i] = M[E₁]M[E₂] = e₁e₂ mit e₁,e₂∈ {0,1}
da (e₁*e₂)∈{0,1} q.e.d
EDIT: bitte um feedback 
1 Like
wieso schlecht?
sieht doch super aus 
1 Like
weil ich mit der Induktion bisher etwas auf Kriegsfuß stehe
Sind zero und one nicht einstellige Funktionssymbole? Das würde ja bedeuten, dass man einen Parameter x benötigt auch für diese beiden Funktionen. In der Übung hatte wir neben der 2-stelligen Funktion nur Konstanten, da ging das…
Aber ich bin mir nich sicher, ob das so stimmt wie du gepostet hast…
zero und one sind Konstanten / nullstellige Funktionen, zu sehen an M[[zero]]=0 statt M[zero]=0.
Das mit zero/1, one/1 halte ich für einen Fehler in der Aufgabenstellung - in der Klausur vor 2 Semestern hatten wir auch Probleme mit fehlenden Klammern, etc. … ich glaub der hier war auch dabei und wurde vermutlich per c/p übernommen.