دانلود کتاب Computation engineering: applied automata theory and logic (به فارسی: مهندسی محاسبات: تئوری و منطق خودکارهای کاربردی) نوشته شده توسط «Ganesh Gopalakrishnan»
اطلاعات کتاب مهندسی محاسبات: تئوری و منطق خودکارهای کاربردی
موضوع اصلی: مهندسی
نوع: کتاب الکترونیکی
ناشر: Springer
نویسنده: Ganesh Gopalakrishnan
زبان: english
فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2010
تعداد صفحه: 492
حجم فایل: 3.60 مگابایت
کد کتاب: 1441937412 , 9781441937414
نوبت چاپ: 1st Edition.
توضیحات کتاب مهندسی محاسبات: تئوری و منطق خودکارهای کاربردی
اگرچه در دنیای امروز بسیار مهم است که دانشآموزانی که در دورههای تئوری و منطق اتوماتا میگذرانند، آموختههای خود را حفظ کنند و درک کنند که چگونه از دانش خود استفاده کنند، بسیاری از کتابهای درسی معمولاً فقط بر نظریه خودکار تأکید میکنند، نه بر منطق، بنابراین فرصت ارزشمندی را برای پیوند دادن این موضوعات با یکدیگر از دست میدهند. و یادگیری را تقویت کند. این کتاب درسی از ابزارهای تعاملی مانند ابزار ساده BDD و SAT استفاده می کند. با ارائه ترکیبی از تئوری و کاربردهای عملی، مطالب به عنوان دعوت کننده و جاری ارائه می شود. مفاهیم کلیدی در حوزههای متعدد نشان داده شدهاند تا اطلاعات تقویت شود و دانشآموزان بتوانند نظریه و منطق را با هم پیوند دهند.
دانلود کتاب «مهندسی محاسبات: تئوری و منطق خودکارهای کاربردی»
📖 خرید این کتاب
برای دریافت فایل و اطلاع از قیمت، روی یکی از دکمههای زیر کلیک کنید تا پیام آماده برای شما ارسال شود:
پس از ارسال پیام، قیمت و لینک دریافت فایل در اسرع وقت برای شما ارسال خواهد شد.