publicó mensaje: Problem sets for the Math for CS book is added to the External Links. Thank you Angjoo!
publicó mensaje: Today, we will be meeting at AVW 3228 at 6pm :) See you later!
publicó mensaje: We just started last week, so there is no concrete "how" to hold the meeting :) Last time, we discussed the contents of the books where we had doubts. We also solved problems on Alice books together. So it would be similar today. But it depends on the mood of the group :)
publicó mensaje: Woa! Thanks Saravanan for the answers! I've just noticed :)))
publicó mensaje: Some answers for problems we worked on the first meeting is posted on a Flickr group :D You can see them on http://www.flickr.com/groups/formal_reasoning/