ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Computer-Aided Reasoning: An Approach

دانلود کتاب استدلال به کمک رایانه: یک رویکرد

Computer-Aided Reasoning: An Approach

مشخصات کتاب

Computer-Aided Reasoning: An Approach

ویرایش: Softcover reprint of the original 1st ed. 2000 
نویسندگان: , ,   
سری: Advances in Formal Methods 3 
ISBN (شابک) : 9781461370031, 9781461544494 
ناشر: Springer US 
سال نشر: 2000 
تعداد صفحات: 272 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 9 مگابایت 

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



کلمات کلیدی مربوط به کتاب استدلال به کمک رایانه: یک رویکرد: روش‌های محاسباتی، زبان‌های برنامه‌نویسی، کامپایلرها، مترجمان، مهندسی نرم‌افزار/برنامه‌نویسی و سیستم‌های عامل، علوم کامپیوتر، عمومی



ثبت امتیاز به این کتاب

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


در صورت تبدیل فایل کتاب Computer-Aided Reasoning: An Approach به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


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

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

سیستم ACL2 با موفقیت در پروژه‌های مورد علاقه تجاری، از جمله ریزپردازنده، مدل‌سازی، تأیید سخت‌افزار، تأیید میکروکد و تأیید نرم‌افزار اعمال شده است. این کتاب روشی برای مدل‌سازی سیستم‌های محاسباتی به طور رسمی و استدلال در مورد آن مدل‌ها با کمک مکانیزه ارائه می‌دهد. عملی بودن استدلال به کمک رایانه بیشتر در کتاب همراه، استدلال به کمک رایانه: ACL2مطالعات موردی نشان داده شده است.
تقریباً 140 تمرین در سراسر کتاب توزیع شده است. مطالب اضافی به صورت رایگان از صفحه اصلی ACL2 در وب در دسترس است، از جمله راه‌حل‌های تمرین‌ها، تمرین‌های اضافی، مطالعات موردی از کتاب همراه، مقالات تحقیقاتی، و سیستم ACL2 با مستندات دقیق.


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

Computer-Aided Reasoning: An Approach is a textbook introduction to computer-aided reasoning. It can be used in graduate and upper-division undergraduate courses on software engineering or formal methods. It is also suitable in conjunction with other books in courses on hardware design, discrete mathematics, or theory, especially courses stressing formalism, rigor, or mechanized support. It is also appropriate for courses on artificial intelligence or automated reasoning and as a reference for business and industry.
Current hardware and software systems are often very complex and the trend is towards increased complexity. Many of these systems are of critical importance; therefore making sure that they behave as expected is also of critical importance. By modeling computing systems mathematically, we obtain models that we can prove behave correctly. The complexity of computing systems makes such proofs very long, complicated, and error-prone. To further increase confidence in our reasoning, we can use a computer program to check our proofs and even to automate some of their construction.
In this book we present:

The ACL2 system has been successfully applied to projects of commercial interest, including microprocessor, modeling, hardware verification, microcode verification, and software verification. This book gives a methodology for modeling computing systems formally and for reasoning about those models with mechanized assistance. The practicality of computer-aided reasoning is further demonstrated in the companion book, Computer-Aided Reasoning: ACL2Case Studies.
Approximately 140 exercises are distributed throughout the book. Additional material is freely available from the ACL2 home page on the Web, including solutions to the exercises, additional exercises, case studies from the companion book, research papers, and the ACL2 system with detailed documentation.



فهرست مطالب

Front Matter....Pages i-xv
Introduction....Pages 1-5
Front Matter....Pages 7-7
Overview....Pages 9-20
Front Matter....Pages 21-21
The Language....Pages 23-56
Programming Exercises....Pages 57-64
Macros....Pages 65-73
Front Matter....Pages 75-75
The Logic....Pages 77-101
Proof Examples....Pages 103-116
Front Matter....Pages 117-117
The Mechanical Theorem Prover....Pages 119-153
How to Use the Theorem Prover....Pages 155-181
Theorem Prover Examples....Pages 183-210
Theorem Prover Exercises....Pages 211-222
Back Matter....Pages 223-270




نظرات کاربران