مبانی علم کامپیوتر از دیدگاه ریاضی: ریاضیات گسسته
طی مباحث آغازین کتاب خواننده با الگوریتمها، روش نوشتن آنها، نیز چگونگی کاربرد الگوریتمهای بازگشتی در حل مسائل آشنا میشود .نگارنده سپس همراه با مثالهای متعدد، صورتهای گوناگون اثبات ریاضی را آموزش میدهد و در ادامه این مباحث را مطرح میسازد :تابعهای سازنده، عددهای ویژه، تابعهای عددی و رابطههایی که در حل مسائل کامپیوتری کاربرد دارند ;همچنین تابعهای مجانبی که در محاسبه کارایی الگوریتمها به کار میروند .