ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Branching programs and binary decision diagrams: theory and applications

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

Branching programs and binary decision diagrams: theory and applications

مشخصات کتاب

Branching programs and binary decision diagrams: theory and applications

دسته بندی: ریاضیات گسسته
ویرایش:  
نویسندگان:   
سری: Monographs on Discrete Mathematics and Applications 
ISBN (شابک) : 9780898714586, 0898714583 
ناشر: Society for Industrial  Mathematics 
سال نشر: 1987 
تعداد صفحات: 419 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت

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



کلمات کلیدی مربوط به کتاب برنامه های شاخه و نمودار تصمیم گیری باینری: نظریه و برنامه ها: ریاضیات، ریاضیات گسسته



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

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


در صورت تبدیل فایل کتاب Branching programs and binary decision diagrams: theory and applications به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب برنامه های شاخه و نمودار تصمیم گیری باینری: نظریه و برنامه ها

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

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


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

Finite functions (in particular, Boolean functions) play a fundamental role in computer science and discrete mathematics. This book describes representations of Boolean functions that have small size for many important functions and which allow efficient work with the represented functions. The representation size of important and selected functions is estimated, upper and lower bound techniques are studied, efficient algorithms for operations on these representations are presented, and the limits of those techniques are considered.

This book is the first comprehensive description of theory and applications. Research areas like complexity theory, efficient algorithms, data structures, and discrete mathematics will benefit from the theory described in this book. The results described within have applications in verification, computer-aided design, model checking, and discrete mathematics. This is the only book to investigate the representation size of Boolean functions and efficient algorithms on these representations.





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

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی