ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Feasible Mathematics II

دانلود کتاب ریاضیات امکان پذیر II

Feasible Mathematics II

مشخصات کتاب

Feasible Mathematics II

ویرایش: 1 
نویسندگان:   
سری: Progress in Computer Science and Applied Logic 13 
ISBN (شابک) : 9781461275824, 9781461225669 
ناشر: Birkhäuser Basel 
سال نشر: 1995 
تعداد صفحات: 456 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 62 مگابایت 

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



کلمات کلیدی مربوط به کتاب ریاضیات امکان پذیر II: نظریه محاسبات، علم، عمومی



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

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


در صورت تبدیل فایل کتاب Feasible Mathematics II به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب ریاضیات امکان پذیر II نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب ریاضیات امکان پذیر II



مشاهده بخشی از اثبات است. اگر فرآیندی که از طریق آن به نتیجه می‌رسم قابل بررسی نبود، ممکن است در واقع یادداشت کنم که این عدد همان چیزی است که به دست می‌آید - اما این چه واقعیتی را برای من تأیید می‌کند؟ من نمی دانم \"چه چیزی قرار است بیرون بیاید\". . . . 1 - L. ویتگنشتاین یک محاسبات امکان پذیر از منابع کوچکی بر روی یک دستگاه محاسباتی انتزاعی، مانند یک ماشین lUring یا مدار بولی استفاده می کند. ریاضیات ریاضی امکان پذیر به مطالعه محاسبات امکان پذیر، با استفاده از ترکیبات و منطق، و همچنین مطالعه ساختارهای ریاضی قابل اجرا مانند گروه ها، جبرها و غیره می پردازد. این جلد شامل کمک به ریاضیات امکان پذیر در سه زمینه است: نظریه پیچیدگی محاسباتی، نظریه اثبات و جبر، با همپوشانی اساسی بین زمینه های مختلف. در نظریه پیچیدگی محاسباتی، سلسله مراتب زمان چند جمله ای بدون معرفی محدودیت های زمان اجرا با بسته شدن برخی از توابع اولیه تحت ترکیب ایمن، بازگشت گزاره ای در نمادگذاری، و کمینه سازی نامحدود مشخص می شود (S. Bellantoni). یک روش جایگزین برای نگاه کردن به مسائل NP معرفی شده است که بر روی پارامترهای مسئله علت پیچیدگی محاسباتی و کامل بودن آن، نتایج چگالی و جدایی/ فروپاشی آن برای یک نظریه ساختار برای مسائل پارامتری شده تمرکز دارد (R. Downey and M. Fellows)؛ خصوصیات جدید PTIME و فضای خطی با استفاده از عود گزاره ای در تمام سطوح محدود جبرهای آزاد طبقه بندی شده خاص ارائه شده است (D.


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

Perspicuity is part of proof. If the process by means of which I get a result were not surveyable, I might indeed make a note that this number is what comes out - but what fact is this supposed to confirm for me? I don't know 'what is supposed to come out' . . . . 1 -L. Wittgenstein A feasible computation uses small resources on an abstract computa­ tion device, such as a 'lUring machine or boolean circuit. Feasible math­ ematics concerns the study of feasible computations, using combinatorics and logic, as well as the study of feasibly presented mathematical structures such as groups, algebras, and so on. This volume contains contributions to feasible mathematics in three areas: computational complexity theory, proof theory and algebra, with substantial overlap between different fields. In computational complexity theory, the polynomial time hierarchy is characterized without the introduction of runtime bounds by the closure of certain initial functions under safe composition, predicative recursion on notation, and unbounded minimization (S. Bellantoni); an alternative way of looking at NP problems is introduced which focuses on which pa­ rameters of the problem are the cause of its computational complexity and completeness, density and separation/collapse results are given for a struc­ ture theory for parametrized problems (R. Downey and M. Fellows); new characterizations of PTIME and LINEAR SPACE are given using predicative recurrence over all finite tiers of certain stratified free algebras (D.



فهرست مطالب

Front Matter....Pages i-viii
On the Existence of modulo p Cardinality Functions....Pages 1-14
Predicative Recursion and The Polytime Hierarchy....Pages 15-29
Are there Hard Examples for Frege Systems?....Pages 30-56
On Gödel’s Theorems on Lengths of Proofs II: Lower Bounds for Recognizing k Symbol Provability....Pages 57-90
Feasibly Categorical Abelian Groups....Pages 91-153
First Order Bounded Arithmetic and Small Boolean Circuit Complexity Classes....Pages 154-218
Parameterized Computational Feasibility....Pages 219-244
On Proving Lower Bounds for Circuit Size....Pages 245-255
Effective Properties of Finitely Generated R.E. Algebras....Pages 256-283
On Frege and Extended Frege Proof Systems....Pages 284-319
Ramified Recurrence and Computational Complexity I: Word Recurrence and Poly-time....Pages 320-343
Bounded Arithmetic and Lower Bounds in Boolean Complexity....Pages 344-386
Ordinal Bounds for Programs....Pages 387-406
Turing Machine Characterizations of Feasible Functionals of All Finite Types....Pages 407-428
The Complexity of Feasible Interpretability....Pages 429-447




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