ریاضیات گسسته و کاربرد در کامپیوتر

این کتاب دربر گیرنده مطالب زیر است : مبانی ریاضی، منطق ریاضی، نظریه مجموعه ها، ساختارهای جبری، جبر بول، گرافها و کاربردهای آن ها نظیر: ترکیب جملات Polish، زبانها، دستور زبانها، نظریه fast-adders، خطایابی و اصلاح کدها، نظریه کلیدها و ماشینهای دنباله ای، طراحی منطقی سیستم های کامپیوتری رقمی، تجزیه و تحلیل سینتاتیک، ردیابی خطا، diagnosis، مسائل مسیرهای مینیمم، هم ارزی بین گیرنده های حالت متناهی و دستور زبانهای منظم و در نهایت معرفی یک روش موثر که یک ماشین تورینگ می تواند هر تابع برگشتی جزئی را محاسبه کند.