کتاب الکترونیکی

برنامه های انشعاب و نمودارهای تصمیم باینری: نظریه و کاربردها

Branching programs and binary decision diagrams: theory and applications

دانلود کتاب Branching programs and binary decision diagrams: theory and applications (به فارسی: برنامه های انشعاب و نمودارهای تصمیم باینری: نظریه و کاربردها) نوشته شده توسط «Ingo Wegener»

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

موضوع اصلی: ریاضیات گسسته

نوع: کتاب الکترونیکی

ناشر: Society for Industrial Mathematics

نویسنده: Ingo Wegener

زبان: English

فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)

سال انتشار: 1987

تعداد صفحه: 419

حجم کتاب: 3 مگابایت

کد کتاب: 9780898714586 , 0898714583

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

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

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

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.

دانلود کتاب «برنامه های انشعاب و نمودارهای تصمیم باینری: نظریه و کاربردها»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
برچسب ها
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان