دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Classical and New Paradigms of Computation and their Complexity Hierarchies: Papers of the conference “Foundations of the Formal Sciences III”
دانلود کتاب پارادایم های کلاسیک و جدید محاسبه و سلسله مراتب پیچیده آنها: مقالات همایش "مبانی علوم رسمی سوم III"
مشخصات کتاب
Classical and New Paradigms of Computation and their Complexity Hierarchies: Papers of the conference “Foundations of the Formal Sciences III”
دسته بندی: منطق ویرایش: نویسندگان: Benedikt Löwe, Boris Piwinger, Thoralf Räsch (eds.) سری: Trends in Logic 23 ISBN (شابک) : 9781402027758, 9781402027765 ناشر: Springer سال نشر: 2004 تعداد صفحات: 265 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 44,000
کلمات کلیدی مربوط به کتاب پارادایم های کلاسیک و جدید محاسبه و سلسله مراتب پیچیده آنها: مقالات همایش "مبانی علوم رسمی سوم III": علوم کامپیوتر، عمومی، تئوری محاسبات، منطق و مبانی ریاضی، کاربردهای ریاضی در علوم کامپیوتر، ریاضیات محاسبات، الگوریتم ها
در صورت تبدیل فایل کتاب Classical and New Paradigms of Computation and their Complexity Hierarchies: Papers of the conference “Foundations of the Formal Sciences III” به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب پارادایم های کلاسیک و جدید محاسبه و سلسله مراتب پیچیده آنها: مقالات همایش "مبانی علوم رسمی سوم III" نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب پارادایم های کلاسیک و جدید محاسبه و سلسله مراتب پیچیده آنها: مقالات همایش "مبانی علوم رسمی سوم III"
مفهوم پیچیدگی سهم مهمی از منطق در علوم نظری کامپیوتر و ریاضیات است. این جلد تلاش می‌کند تا به پیچیدگی به روشی کل نگر نزدیک شود و خواص ریاضی سلسله‌مراتب پیچیدگی را همزمان با بحث درباره الگوریتم‌ها و خواص محاسباتی بررسی کند. تمرکز اصلی این جلد بر برخی از پارادایم‌های جدید محاسبات، از جمله محاسبات کوانتومی و محاسبات بی‌نهایت است. مقالات این جلد توسط یک مقاله مقدماتی که ویژگی‌های انتزاعی سلسله مراتب پیچیدگی را توصیف می‌کند به هم گره خورده است.
این جلد هم برای منطق‌دانان ریاضی و هم برای دانشمندان نظری رایانه جالب خواهد بود و بینش جدیدی را در مورد انواع مختلف ارائه می‌دهد. دیدگاه های پیچیدگی و در نتیجه روشن کردن نور جدیدی بر تحقیقات خود.
توضیحاتی درمورد کتاب به خارجی
The notion of complexity is an important contribution of logic to theoretical computer science and mathematics. This volume attempts to approach complexity in a holistic way, investigating mathematical properties of complexity hierarchies at the same time as discussing algorithms and computational properties. A main focus of the volume is on some of the new paradigms of computation, among them Quantum Computing and Infinitary Computation. The papers in the volume are tied together by an introductory article describing abstract properties of complexity hierarchies.
This volume will be of great interest to both mathematical logicians and theoretical computer scientists, providing them with new insights into the various views of complexity and thus shedding new light on their own research.
فهرست مطالب
Front Matter....Pages i-xiii
Complexity hierarchies derived from reduction functions....Pages 1-14
Quantum query algorithms and lower bounds....Pages 15-32
Algebras of minimal rank: overview and recent developments....Pages 33-46
Recent developments in iterated forcing theory....Pages 47-60
Classification problems in algebra and topology....Pages 61-75
Using easy optimization problems to solve hard ones....Pages 77-93
On Sacks forcing and the Sacks property....Pages 95-139
Supertask computation....Pages 141-158
A refinement of Jensen\'s constructible hierarchy....Pages 159-169
Effective Hausdorff dimension....Pages 171-186
Axiomatizability of algebras of binary relations....Pages 187-205
Forcing axioms and projective sets of reals....Pages 207-222
Post\'s and other problems of supertasks of higher type....Pages 223-237
Back Matter....Pages 239-259
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman
دانلود کتاب Tableau-based Reasoning for Description Logics with Inverse Roles and Number Restrictions [PhD Thesis]
دانلود کتاب Proper and improper forcing
دانلود کتاب Systems of Logic
دانلود کتاب What is mathematical logic?
دانلود کتاب Yeats And the Logic of Formalism
دانلود کتاب Set Theory. An Introduction to Independence Proofs
دانلود کتاب Intensional and Higher-Order Modal Logic
دانلود کتاب Automating Business Modelling: A Guide to Using Logic to Represent Informal Methods and Support Reasoning (Advanced Information and Knowledge Processing)
