posted comment at wall activity from Zuzel Vera.

posted comment at August 4 - 10: Alice Ch. 7.

posted comment at July 27: Meeting 10.

posted comment at wall activity from Angjoo Kanazawa.

posted message: https://github.com/akanazawa/Formal-Reasoning-in-Computer-Science Is the link to the github repo I made for this course. I'm planning to keep my notes and answers to questions there. If you have a github account I can add you as a collaborator and we can all edit the tex or any files! Thanks, aj

posted message: questions for mathcs chapter 8&9 http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-042j-mathematics-for-computer-science-fall-2010/assignments/MIT6_042JF10_assn06.pdf

posted message: Assignments for Math for CS http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-042j-mathematics-for-computer-science-fall-2010/assignments/

posted message: Assignments for Math for CS http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-042j-mathematics-for-computer-science-fall-2010/assignments/