دانلود کتاب Branching programs and binary decision diagrams: theory and applications
49,000 تومان
برنامه های انشعاب و نمودارهای تصمیم باینری: نظریه و کاربردها
| موضوع اصلی | ریاضیات محاسباتی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Society for Industrial and Applied Mathematics |
| تعداد صفحه | 419 |
| حجم فایل | 3 مگابایت |
| کد کتاب | 9780898714586,0898714583 |
| نویسنده | Ingo Wegener |
|---|---|
| زبان | انگلیسی |
| فرمت | DJVU |
| سال انتشار | 1987 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
برنامه های انشعاب و نمودارهای تصمیم باینری: نظریه و کاربردها
توابع محدود (به ویژه توابع بولی) نقش اساسی در علوم کامپیوتر و ریاضیات گسسته دارند. این کتاب نمایشهایی از توابع بولی را توصیف میکند که اندازه کوچکی برای بسیاری از توابع مهم دارند و امکان کار موثر با توابع نشاندادهشده را فراهم میکنند. اندازه نمایش توابع مهم و انتخاب شده تخمین زده میشود، تکنیکهای کران بالا و پایین مورد مطالعه قرار میگیرند، الگوریتمهای کارآمد برای عملیات روی این نمایشها ارائه میشوند و محدودیتهای آن تکنیکها در نظر گرفته میشوند.
این کتاب اولین شرح جامع تئوری و کاربردها است. حوزههای تحقیقاتی مانند نظریه پیچیدگی، الگوریتمهای کارآمد، ساختار دادهها و ریاضیات گسسته از نظریههای توصیفشده در این کتاب بهرهمند خواهند شد. نتایج شرح داده شده در داخل دارای کاربردهایی در تأیید، طراحی به کمک رایانه، بررسی مدل، و ریاضیات گسسته است. این تنها کتابی است که اندازه نمایش توابع بولی و الگوریتم های کارآمد در این نمایش ها را بررسی می کند.
Branching programs and binary decision diagrams: theory and applications
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.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.