Mathematical Basis for Computing
Mathematical Basis for Computing CSE 607
Popular in Course
Popular in Computer Engineering
This 2 page Class Notes was uploaded by Amelie Murphy on Wednesday October 21, 2015. The Class Notes belongs to CSE 607 at Syracuse University taught by Staff in Fall. Since its upload, it has received 8 views. For similar materials see /class/225569/cse-607-syracuse-university in Computer Engineering at Syracuse University.
Reviews for Mathematical Basis for Computing
Report this Material
What is Karma?
Karma is the currency of StudySoup.
You can buy or earn more Karma at anytime and redeem it for class notes, study guides, flashcards, and more!
Date Created: 10/21/15
Grading for Exam 1 Process Each exam was initially graded by Ronghua Wang and Chirag Sheth ShiuKai Chin reviewed each and every exam and made adjustments as necessary Appeals See the process outlined on the course web page Question l 0 Correct proof 10 points 0 Wrong application of a rule 2 points 0 Did not reach the solution but almost there 2 points 0 Demonstrated application of rules but not in the direction to get the result 2 or 4 points M Translation part 6 points proving part 4 points 0 Translation done correctly 6 prove done correctly 4 0 Translation done correctly 6 prove done partially 4 N 1 0 If only the only step missing is G True or A False 4 0 Otherwise depends on the degree of completion 1 N 3 0 Translate incorrectly 0 Speci cally A only if B is translated as A gt B 0 2 points per translation on the translation part out of the 6 points 0 If based on the incorrect translation I If the nal argument is valid 0 Finished a correct proofbased on it 4 0 Finishing part proof depends on the degree of completion 1 3 I If the nal argument is invalid 0 Give a correct counter example based on it 4 0 Counter example not correct each value of the variables l points 0 No counter example 0 points out of the 4 Question 3 0 Correct translation from problem statement to tableau 6 points 0 Incorrect translation 2 points per translation 0 No counter Example 4 points Got the translation right but did not get all the values of variables l point Question 4 Design part 6 points proving part 4 points1 Design done correctly 6 prove done correctly 4 Design done correctly 6 prove done partially 4 N 1 0 If only the only step missing is G True or A False 4 0 If only AlNA3 and Goal part output exist but no proof 2 0 If assertion part and goal part not nished 1 N 2 depending on the degree of nishing Design done correctly 6 nothing else 0 o In this case no points 0 for the 4 points on the proving part Design done partially 6 N 2 nothing else 0 0 Depending on the degree of nishing the design 6 N 2 points 0 We tend to encourage the students so if the student shows the proof that he has the right idea about how to implement the design he will get partial credits for it No design at all 0 o No credit for this case 1 Note We already take into consideration that the solution given to the students is not the only correct design
Are you sure you want to buy this material for
You're already Subscribed!
Looks like you've already subscribed to StudySoup, you won't need to purchase another subscription to get this material. To access this material simply click 'View Full Document'