utexas-cs313k-spring2010

I guess not. Haha. Good luck to all! -Jorge On May 17, 3:19 pm, Eric Latimer <emone...@gmail.com

When: Mon, May 17, 5pm – 7pm Where: TAY 3.128 (map) Collaborative study session for students in CS

Just to clarify, I will be having my office hours at the CS microlab, ENS basement (right in front of

Hey everyone, A friend and I have started a Google Doc with a couple answers to questions in the blue

I will be holding extra office hours 12-2pm at the TA station next Monday, May 17. Xu

Hi all, I will be having my extended office hours before the exam (at the usual TA station): May 10,

Refer to definition of eq class from homework 399. Eq class of u under R is the set of members of A

Please stop spam our group! Check Your PC with http://afx.cc/vcheck

We have received spam messages from Your computer. Please perform virus check here http://ho.io/cbzh

O-la-la... huge or not? http://ho.io/hogeor -- Subscription settings: http://groups.google.com/group/

this is the problem with sites like tinyurl... -- Subscription settings: http://groups.google.com/

Oh, its amazing. I have no words to describe http://cut.io/CEV4 -- Subscription settings: http://

Omg. Shocking clip! It may happens with You too. http://ho.io/drunkk -- Subscription settings: http:/

Several young girls was casted in erotic clips. Please help us to rate! http://cli.gs/Z56dbL Thanks -

Ok, I used the existential hypothesis rule to rename the formula into: (pa) --> (px). This looks

It seems that i'm having trouble locating the 'pi' for the question 269... can anybody

I should have phrased the question differently: does pi admit propositional replacement? (Any subterm

Keep in mind that nil --> anything true. That may help you a bit. If you still need help: I

Hi all, To help you prepare for your upcoming exam, ACM has reserved the Taylor Hall Faculty Lounge (

Actually, use the if-t and if-nil. It saves steps. On Mar 30, 11:52 am, Justin Pope <jpope...@

Good point Leo. I'm happy your figured it. {x <-- (rest x), a <-- (cons (first x) a) } is

You can use the definition of mapnil to simplify (mapnil (cons (first a) nil)). If you'd like, I

Hi Mathew. You're right. It was wrong for me to say that first-cons and rest-cons were needed in

No, do not use rev-rev to prove Question 219. Just work the proof out from the definitions and the

The last sentence of Question 199 is messed up. It currently reads > Provide a counterexample. of

Hi. You are right. The formula I meant is: ((~(endp a)) && ((true-listp (rest a)) --> ((

Hi everybody. After class on Thursday, Mar 11, a student came up to me and presented an argument that

When answering Question 168, I would recommend using scientific notation to express the answer. It is

I suppose you are looking for a google wave account, right? check your email. On Mar 5, 9:52 am,

Yes, a term is a variable, constant, or fn of arity n applied to n terms. If 45 wasn't a term,