PartI-TheScienceofComputing'sThreeMethodsofInquiryChapter1-WhatistheScienceofComputing?Chapter2-Abstraction:AnIntroductiontoDesignChapter3-Proof:AnIntroductiontoTheoryChapter4-Experimentation:AnIntroductiontotheScientificMethodPartII-ProgramDesignChapter5-Condit