Programming C, C++, Java, PHP, Ruby, Turing, VB
Computer Science Canada 
Programming C, C++, Java, PHP, Ruby, Turing, VB  

Username:   Password: 
 RegisterRegister   
 Help with Computer Science Assignment
Index -> General Programming
View previous topic Printable versionDownload TopicSubscribe to this topicPrivate MessagesRefresh page View next topic
Author Message
xoxoxoxoxo




PostPosted: Mon Sep 17, 2012 8:06 am   Post subject: Help with Computer Science Assignment

I am a student in university currently enrolled in an advanced programming class. For an assignment, we were asked to prove that:
For all Nats x, for all Nats y, plus x y = add x y
Definitions:
plus x Z = x
plus x (S y) = S (plus x y)
add x Z = x
add x (S y) = add (S x) y

I started attempting to prove this by using the structural method (which is like mathematical induction). The base step (proving for y = Z) is easy, but I can't seem to get through the induction step:
We assume that for a Nat w, plus x w = add x w
We want to prove that plus x (S w) = add x (S w), so:
plus x (S w) = S (plus x w) [from definition of plus]
= S (add x w) [from inductive hypothesis]
= ???

Please help!
Sponsor
Sponsor
Sponsor
sponsor
Dreadnought




PostPosted: Mon Sep 17, 2012 7:06 pm   Post subject: Re: Help with Computer Science Assignment

Ah, good ol' CS 145, I miss that class. I personally feel that that the first assignments are very important, thus I'm afraid I can't help you.

However, you're on the right track.

Don't worry too much about it. If you're still stumped talk to classmates or go see Prabhakar during office hours.
Display posts from previous:   
   Index -> General Programming
View previous topic Tell A FriendPrintable versionDownload TopicSubscribe to this topicPrivate MessagesRefresh page View next topic

Page 1 of 1  [ 2 Posts ]
Jump to:   


Style:  
Search: