کتاب حاضر، صورت تکمیل شده درسی است که طی سال های اخیر در دانشکده مهندسی کامپیوتر دانشگاه صنعتی شریف با همین عنوان تدریس شده است. سرفصل های کتاب مطابق سرفصل های پیشنهادی شورای برنامه ریزی وزارت فرهنگ و آموزش عالی است.
کتاب هشت فصل دارد که به عناوین آنها عبارتند از: حل