Useful tools for studying theoretical computer science