ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Decision Procedures: An Algorithmic Point of View

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

Decision Procedures: An Algorithmic Point of View

مشخصات کتاب

Decision Procedures: An Algorithmic Point of View

دسته بندی: کامپیوتر
ویرایش:  
نویسندگان:   
سری: Texts in Theoretical Computer Science. An EATCS Series 
ISBN (شابک) : 3540741046, 9783540741046 
ناشر: Springer 
سال نشر: 2008 
تعداد صفحات: 321 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت 

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



کلمات کلیدی مربوط به کتاب رویه های تصمیم گیری: یک دیدگاه الگوریتمی: مهندسی انفورماتیک و کامپیوتر، فناوری اطلاعات



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

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


در صورت تبدیل فایل کتاب Decision Procedures: An Algorithmic Point of View به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب رویه های تصمیم گیری: یک دیدگاه الگوریتمی

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


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

A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that are expressive enough to model real problems, but are still decidable. Specifically, the book concentrates on decision procedures for first-order theories that are commonly used in automated verification and reasoning, theorem-proving, compiler optimization and operations research. The techniques described in the book draw from fields such as graph theory and logic, and are routinely used in industry. The authors introduce the basic terminology of satisfiability modulo theories and then, in separate chapters, study decision procedures for each of the following theories: propositional logic; equalities and uninterpreted functions; linear arithmetic; bit vectors; arrays; pointer logic; and quantified formulas.



فهرست مطالب

Content: Introduction and basic concepts --
Decision procedures for propositional logic --
Equality logic and uninterpreted functions --
Decision procedures for equality logic and uninterpreted functions --
Linear arithmetic --
Bit vectors --
Arrays --
Pointer logic --
Quantified formulas --
Deciding a combination of theories --
Propositional encodings.




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