دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Boolean Models and Methods in Mathematics, Computer Science, and Engineering
دانلود کتاب مدل ها و روش های بولی در ریاضیات ، علوم کامپیوتر و مهندسی
مشخصات کتاب
Boolean Models and Methods in Mathematics, Computer Science, and Engineering
ویرایش: 1
نویسندگان: Yves Crama. Peter L. Hammer
سری: Encyclopedia of Mathematics and its Applications
ISBN (شابک) : 0521847524, 9780521847520
ناشر: Cambridge University Press
سال نشر: 2010
تعداد صفحات: 780
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 49,000
در صورت تبدیل فایل کتاب Boolean Models and Methods in Mathematics, Computer Science, and Engineering به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مدل ها و روش های بولی در ریاضیات ، علوم کامپیوتر و مهندسی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مدل ها و روش های بولی در ریاضیات ، علوم کامپیوتر و مهندسی
این مجموعه مقالات مجموعه ای از بررسی های عمیق از انواع موضوعات پیشرفته مرتبط با توابع و عبارات بولی را ارائه می دهد. این فصل ها توسط برخی از برجسته ترین متخصصان در زمینه های مربوطه نوشته شده اند و موضوعاتی از جبر و منطق گزاره ای گرفته تا تئوری یادگیری، رمزنگاری، پیچیدگی محاسباتی، مهندسی برق و نظریه قابلیت اطمینان را پوشش می دهند. فراتر از تنوع سوالات مطرح شده و بررسی شده در فصول مختلف، یکی از ویژگی های قابل توجه مجموعه، موضوع مشترک ایجاد شده توسط زبان بنیادی، مفاهیم، مدل ها و ابزارهای ارائه شده توسط نظریه بولی است. بسیاری از خوانندگان از کشف پیوندهای بی شماری بین موضوعات به ظاهر دور از بحث در فصل های مختلف کتاب شگفت زده خواهند شد. این متن به آنها کمک می کند تا از چنین ارتباطاتی استفاده کنند تا درک خود را از رشته علمی خود بیشتر کنند و راه های جدیدی برای تحقیق کشف کنند.
توضیحاتی درمورد کتاب به خارجی
This collection of papers presents a series of in-depth examinations of a variety of advanced topics related to Boolean functions and expressions. The chapters are written by some of the most prominent experts in their respective fields and cover topics ranging from algebra and propositional logic to learning theory, cryptography, computational complexity, electrical engineering, and reliability theory. Beyond the diversity of the questions raised and investigated in different chapters, a remarkable feature of the collection is the common thread created by the fundamental language, concepts, models, and tools provided by Boolean theory. Many readers will be surprised to discover the countless links between seemingly remote topics discussed in various chapters of the book. This text will help them draw on such connections to further their understanding of their own scientific discipline and to explore new avenues for research.
فهرست مطالب
Part I. Algebraic Structures: 1. Compositions and clones of Boolean functions Reinhard Pöschel and Ivo Rosenberg 2. Decomposition of Boolean functions Jan C. Bioch Part II. Logic: 3. Proof theory Alasdair Urquhart 4. Probabilistic analysis of satisfiability algorithms John Franco 5. Optimization methods in logic John Hooker Part III. Learning Theory and Cryptography: 6. Probabilistic learning and Boolean functions Martin Anthony 7. Learning Boolean functions with queries Robert H. Sloan, Balázs Szörényi and György Turán 8. Boolean functions for cryptography and error-correcting codes Claude Carlet 9. Vectorial Boolean functions for cryptography Claude Carlet Part IV. Graph Representations and Efficient Computation Models: 10. Binary decision diagrams Beate Bollig, Martin Sauerhoff, Detlef Sieling and Ingo Wegener 11. Circuit complexity Matthias Krause and Ingo Wegener 12. Fourier transforms and threshold circuit complexity Jehoshua Bruck 13. Neural networks and Boolean functions Martin Anthony 14. Decision lists and related classes of Boolean functions Martin Anthony Part V. Applications in Engineering: 15. Hardware equivalence and property verification J. H. Roland Jiang and Tiziano Villa 16. Synthesis of multi-level Boolean networks Tiziano Villa, Robert K. Brayton and Alberto L. Sangiovanni-Vincentelli 17. Boolean aspects of network reliability Charles J. Colbourn.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Justice, Luck, and Knowledge
دانلود کتاب From Symptom to Synapse: A Neurocognitive Perspective on Clinical Psychology
دانلود کتاب Reading with Patrick
