publicó mensaje: 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
publicó mensaje: 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
publicó mensaje: Assignments for Math for CS http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-042j-mathematics-for-computer-science-fall-2010/assignments/
publicó mensaje: Assignments for Math for CS http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-042j-mathematics-for-computer-science-fall-2010/assignments/