posted message: Problem sets for the Math for CS book is added to the External Links. Thank you Angjoo!

posted message: Today, we will be meeting at AVW 3228 at 6pm :) See you later!

posted message: 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 :)

posted message: Woa! Thanks Saravanan for the answers! I've just noticed :)))

posted message: 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/