برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید

09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Mathematical Theory of Computation

دانلود کتاب نظریه ریاضی محاسبات

مشخصات کتاب

Mathematical Theory of Computation

دسته بندی: ریاضیات
ویرایش:  
نویسندگان: Zohar Manna  
سری:  
ISBN (شابک) : 0486432386, 9780486432380 
ناشر: Dover Publications 
سال نشر: 2003 
تعداد صفحات: 73 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 15 مگابایت

قیمت کتاب (تومان) : 45,000

در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد

میانگین امتیاز به این کتاب :
تعداد امتیاز دهندگان : 16

در صورت تبدیل فایل کتاب Mathematical Theory of Computation به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب نظریه ریاضی محاسبات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب نظریه ریاضی محاسبات

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

توضیحاتی درمورد کتاب به خارجی

With the objective of making into a science the art of verifying computer programs (debugging), the author addresses both practical and theoretical aspects of the process. A classic of sequential program verification, this volume has been translated into almost a dozen other languages and is much in demand among graduate and advanced undergraduate computer science students. Subjects include computability (with discussions of finite automata and Turing machines); predicate calculus (basic notions, natural deduction, and the resolution method); verification of programs (both flowchart and algol-like programs); flowchart schemas (basic notions, decision problems, formalization in predicate calculus, and translation programs); and the fixpoint theory of programs (functions and functionals, recursive programs, and verification programs). The treamtent is self-contained, and each chapter concludes with bibliographic remarks, references, and problems.