Resources

• Online resources for this book (additional exercises with solutions, links to resources on the web, etc.)
• Advanced logic video lectures
• Towers of Hanoi applet
• Study problems for test 1
• Symbolic proof editor
• Prime numbers in the news

• List of topics for the final
• Building blocks for TCS book; free book covering many of the topics we covered in class
• Spring embedder demo

If you find any additional interesting links that you think would be valuable for other students, please email the instructor.