Taking Advantage of Sandip's Offer...

1 view
Skip to first unread message

jdiamond

unread,
Oct 21, 2008, 7:15:21 PM10/21/08
to utexas-cs389r-fall2008
Guys, I won't have any more internet access tonight, but please come
to a consensus as to which 3 problems you'd like Sandip to do, else
he'll just do the 3 I pick. (The purpose of this is to see the
preferred formal hand proof style for the exam.)

I would suggest the following proofs from HWK #4:

Problem #55 (This covers a lot of issues.)
Problem #50 (Classic Example of forced generalization.)
Problem #47 (You guys may have aced it, but for me it was messy.)

Again, feel free to override any of these with your own favourites,
but in the end, Sandip needs 3 problems to use as examples for us.

I recommend we use the "eBay" system. Meaning that the chosen problem
choice is the one with the most requests, but if the number of
requests are equal for different problems than the first person to
post wins.

(BTW, I estimate that it would take Sandip about 12 hours to do all of
HWK #4...)
- Jeff

Sandip Ray

unread,
Oct 21, 2008, 8:29:27 PM10/21/08
to utexas-cs38...@googlegroups.com, utexas-cs38...@googlegroups.com
Hi,

I want to keep myself out of the problem selection, but I want to add
something. Please make sure you all agree on the problems selected,
or that none disagrees. One thing that I don't want happen is:

(1) Student 1 sends an email asking for problems p, q, r
(2) Student 2 later sends another email asking for problems x, y, z.
...

You guys decide how you'll handle all this, for example whether you'll
want to set deadlines on problem selection, who should send me the
final set of problems, etc. As far as I am concerned I'll expect
someone to clearly tell me that he or she (a) is representing all of
you in taking up this offer, and (b) is asking me to do problems x, y,
and z. If there are contentions among problems that you want done,
please resolve them among yourselves before sending me the email. The
person sending me the email should remember that they are taking the
responsibility on behalf of all students, so please come to some sort
of arrangement before sending me the email. After all, we should all
cooperate and collaborate with each other and try to learn from each
other. But how you'll do the above is something I don't want to
associate myself with --- it's all your call.

When you guys tell me you're ready I'll look at it, and I'll try to
find time to do those exercises, hopefully within the subsequent 24
hours.

-- Sandip

DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
d=googlegroups.com; s=beta;
h=domainkey-signature:received:received:x-sender:x-apparently-to
:mime-version:content-type:received:date:x-ip:user-agent
:x-http-useragent:message-id:subject:from:to:reply-to:sender
:precedence:x-google-loop:mailing-list:list-id:list-post:list-help
:list-unsubscribe:x-beenthere-env:x-beenthere;
bh=OlwrMLoooD0A1lnP6xgQEq5Envm4s2USS0yLz7Sl2Z0=;
b=p6QdiNaIq2vOAOcD6UokwFWHQ2w8k7xBKikutARBkn70i0UjPYg3Q0Ml/d+YzVTfMT
3yxNOz8mtYTioP73U+P0AvatxZ4tQJl8QlKbPpWNbQ9JfICfXbTns9aV1tW+0OI6ctx+
Am/MEaIoVDeEdIdoZ0YtQDxGh6J2EX8FuLyWk=
DomainKey-Signature: a=rsa-sha1; c=nofws;
d=googlegroups.com; s=beta;
h=x-sender:x-apparently-to:mime-version:content-type:date:x-ip
:user-agent:x-http-useragent:message-id:subject:from:to:reply-to
:sender:precedence:x-google-loop:mailing-list:list-id:list-post
:list-help:list-unsubscribe:x-beenthere-env:x-beenthere;
b=jbmdccmfofA+texsi/YgXe//L9BoeOPuGrFxVHc7mrO9Hg6wLTTdEfXvpx0Ifw2mlQ
ohtRkBo7EpyqmJ73STCPLFrIdWxRa/RlqPZbyrmuFhDluBxQPc1x+I2wIF4j3PnTDRrB
kfWvBbkOng/3H/bAAGah39T1K8ggCdtAbOaIY=
X-Sender: jeffrey...@gmail.com
X-Apparently-To: utexas-cs38...@googlegroups.com
Date: Tue, 21 Oct 2008 16:15:21 -0700 (PDT)
X-IP: 69.149.26.213
X-HTTP-UserAgent: Mozilla/5.0 (Macintosh; U; Intel Mac OS X 10.5; en-US; rv:1.9.0.3) Gecko/2008092414 Firefox/3.0.3,gzip(gfe),gzip(gfe)
From: jdiamond <jeffrey...@gmail.com>
Reply-To: utexas-cs38...@googlegroups.com
Sender: utexas-cs38...@googlegroups.com
X-Google-Loop: groups
Mailing-List: list utexas-cs38...@googlegroups.com;
contact utexas-cs389r-...@googlegroups.com
X-BeenThere-Env: utexas-cs38...@googlegroups.com
X-SpamAssassin-Status: No, hits=0.6 required=5.0
X-UTCS-Spam-Status: No, hits=-110 required=165

Reply all
Reply to author
Forward
0 new messages