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