Not logged in. · Lost password · Register

MiriTheRing
Member since Oct 2011
38 posts
Subject: Problem 9.3
Ich seh nicht so ganz, wie man das mit Induktion ueber die value function loesen soll, ist da nicht Induktion ueber A (mit Unterbeweis fuer die Aussage fuer Termen) gemeint?

Wenn man Induktion ueber die Value function macht kann man das nur ueber einen der beiden gleichzeitig machen, weil man zwei verschiedene Value-functions hat...
Jazzpirate
Member since Oct 2016
803 posts
Ja, dann meinst du ja das richtige ;)

Aber wenn du das per Beweis über den Aufbau von A durchexorzierst, benutzt du in jedem Induktionsschritt genau den entsprechenden Fall der Definition von "value function" ;-) Nicht verwunderlich,. nachdem die induktiv über den formelaufbau definiert ist. Was du also machst, ist, dich die Definition entlanghangeln.
Also was ich meinte war "by induction on the DEFINITION of 'value function'" und nicht "by induction on one of the two value functions, or both simultaneously or something" :D

Ääh, ja, du weißt was ich mein :P
BTL
Member since Oct 2012
310 posts
+1 Jazzpirate
Btw Aus- und Abgabedatum des Blattes sind noch etwas veraltet.
Jazzpirate
Member since Oct 2016
803 posts
ach verdammt :D
Close Smaller – Larger + Reply to this post:
Verification code: VeriCode Please enter the word from the image into the text field below. (Type the letters only, lower case is okay.)
Smileys: :-) ;-) :-D :-p :blush: :cool: :rolleyes: :huh: :-/ <_< :-( :'( :#: :scared: 8-( :nuts: :-O
Special characters:
Go to forum
Datenschutz | Kontakt
Powered by the Unclassified NewsBoard software, 20150713-dev, © 2003-2011 by Yves Goergen