دانلود کتاب Computation engineering: applied automata theory and logic (به فارسی: مهندسی محاسبات: تئوری و منطق اتوماتای کاربردی) نوشته شده توسط «Ganesh Gopalakrishnan»
اطلاعات کتاب مهندسی محاسبات: تئوری و منطق اتوماتای کاربردی
موضوع اصلی: ریاضیات محاسباتی
نوع: کتاب الکترونیکی
ناشر: Springer
نویسنده: Ganesh Gopalakrishnan
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2006
تعداد صفحه: 492
حجم کتاب: 4 مگابایت
کد کتاب: 0387244182 , 9780387244181 , 0387325204
نوبت چاپ: 1
توضیحات کتاب مهندسی محاسبات: تئوری و منطق اتوماتای کاربردی
صنعت سخت افزار و نرم افزار کامپیوتر متعهد به استفاده از روش های رسمی است. در نتیجه، بسیار مهم است که دانشآموزانی که دورههای تئوری خودکار و منطق را میگذرانند، آنچه را که آموختهاند حفظ کنند و بدانند که چگونه از دانش خود استفاده کنند. با این حال، بسیاری از کتابهای درسی معمولاً فقط بر نظریه خودکار تأکید میکنند، نه بر منطق، بنابراین فرصت ارزشمندی را برای پیوند دادن این موضوعات به یکدیگر و تقویت یادگیری از دست میدهند. در واقع، تئوری اتوماتا و منطق دست به دست هم تکامل یافتند، با این حال این ارتباط در دهه 70 با امکان پذیر شدن دوره های جداگانه تئوری خودکار و منطق قطع شد. اکنون، با توجه به شلوغی برنامههای درسی رشتههای علوم کامپیوتر، اغلب این امکان برای دانشجویان کارشناسی وجود دارد که بدون نیاز به گذراندن دورهای در منطق ریاضی، مدرک لیسانس بگیرند! به خاطر تئوری به یادگیری تئوری ارجح است. برای اثبات اینکه عقاید نظری نه تنها قابل اجرا هستند، بلکه لازم و مرتبط هستند، باید مثال های مفیدی ارائه شود. این کتاب درسی از ابزارهای تعاملی مانند ابزار ساده BDD و SAT استفاده می کند. با ارائه آمیزه ای از تئوری و کاربردهای عملی، مطالب جذاب و جاری نشان داده می شود. موضوعات نیز در حوزههای متعدد نشان داده میشوند تا اطلاعات تقویت شود و دانشآموزان بتوانند تئوری خودکار و منطق را با هم گره بزنند. آنها همچنین کاربردهای متعددی از نقاط ثابت، از جمله بررسی مدل مبتنی بر BDD و درک تولیدات بدون زمینه را خواهند آموخت. با استفاده از این کتاب، دانش آموزان نه تنها تئوری خودکار را می شناسند و درک می کنند، بلکه می توانند دانش خود را در عمل واقعی به کار گیرند.
دانلود کتاب «مهندسی محاسبات: تئوری و منطق اتوماتای کاربردی»

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.