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