CS Theory Basics