رياضيات‌ گسسته‌و كاربرد آن‌ در كامپيوتر

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