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

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