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