نویسنده : جی. پی. ترمبلی ،آر. مانوهر

    ترجمه : مصطفی شاهزمانیان ،محمدعلی اسلامی

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