این کتاب یک مرور کامل و کاربردی از ریاضیات گسسته برای علاقه مندان و دانشجویان کامپیوتر است و قدم به قدم مفاهیم پایه ای را جلو می برد؛ از مبانی ریاضی و منطق ریاضی گرفته تا نظریه مجموعه ها، ساختارهای جبری، جبر بول و گراف ها. نویسنده سعی کرده مطالب را طوری بچیند که فقط تئوری نباشد و بتوانید ارتباط مستقیمشان را با مسائل واقعی در دنیای کامپیوتر ببینید.
در بخش های کاربردی تر، کتاب سراغ موضوعاتی مثل نمایش و ترکیب عبارت ها (مثل Polish)، زبان ها و دستور زبان ها، طراحی و تحلیل مدارهای دیجیتال، ماشین های دنباله ای، روش های خطایابی و اصلاح کدها، بررسی خطا و عیب یابی (diagnosis)، و مسائل مسیرهای کمینه در گراف می رود. همچنین درباره هم ارزی اتوماتای حالت متناهی با دستور زبان های منظم صحبت می کند و در پایان هم یک معرفی روشن از این ایده می دهد که ماشین تورینگ چطور می تواند هر تابع بازگشتی جزئی را محاسبه کند.
اولین نفری باشید که نظر میدهد
برای ثبت نظر وارد حساب کاربری خود شوید.