Inductive reasoning is certainly valid in real-life examples. You want to know that if something
holds for the base case, it should hold for n
and n+1 cases. I agree that its not really necessary (because you know beyond a shadow of
a doubt its correct without doing a proof), but its something that one should know as a computer scientist and its definitely valid.
CS majors should knows discrete math
anyway! You need to know it for proving
program correctness and you *definitely*
need experience when you're doing inductive
proofs.
They make us learn all that discrete
crap in one semester! Years of studying my
ass!
If Achilles kills Agamemnon then at least
one Trojan is the son of Priam and there
exists a Greek who slept with Helen.
hahaha!
Slashdot Mirror
Inductive reasoning is certainly valid in real-life examples. You want to know that if something
holds for the base case, it should hold for n and n+1 cases. I agree that its not really
necessary (because you know beyond a shadow of a doubt its correct without doing a proof), but
its something that one should know as a computer scientist and its definitely valid.
CS majors should knows discrete math anyway! You need to know it for proving
program correctness and you *definitely* need experience when you're doing inductive
proofs.
They make us learn all that discrete crap in one semester! Years of studying my ass! If Achilles kills Agamemnon then at least one Trojan is the son of Priam and there exists a Greek who slept with Helen. hahaha!