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