ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings

دانلود کتاب برنامه ها ، اثبات ها ، فرآیندها: ششمین کنفرانس محاسبه پذیری در اروپا ، CiE 2010 ، پونتا دلگادا ، آزور ، پرتغال ، 30 ژوئن - 4 ژوئیه 2010. مجموعه مقالات

Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings

مشخصات کتاب

Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings

ویرایش: 1 
نویسندگان: , , , ,   
سری: Lecture Notes in Computer Science 6158 Theoretical Computer Science and General Issues 
ISBN (شابک) : 9783642139611, 9783642139628 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2010 
تعداد صفحات: 464 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 7 مگابایت 

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



کلمات کلیدی مربوط به کتاب برنامه ها ، اثبات ها ، فرآیندها: ششمین کنفرانس محاسبه پذیری در اروپا ، CiE 2010 ، پونتا دلگادا ، آزور ، پرتغال ، 30 ژوئن - 4 ژوئیه 2010. مجموعه مقالات: تحلیل الگوریتم و پیچیدگی مسئله، محاسبات با دستگاه‌های انتزاعی، هوش مصنوعی (شامل رباتیک)، ریاضیات گسسته در علوم کامپیوتر، منطق ریاضی و زبان‌های رسمی، شبیه‌سازی و مدل‌سازی



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

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


در صورت تبدیل فایل کتاب Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب برنامه ها ، اثبات ها ، فرآیندها: ششمین کنفرانس محاسبه پذیری در اروپا ، CiE 2010 ، پونتا دلگادا ، آزور ، پرتغال ، 30 ژوئن - 4 ژوئیه 2010. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب برنامه ها ، اثبات ها ، فرآیندها: ششمین کنفرانس محاسبه پذیری در اروپا ، CiE 2010 ، پونتا دلگادا ، آزور ، پرتغال ، 30 ژوئن - 4 ژوئیه 2010. مجموعه مقالات

این کتاب مجموعه مقالات داوری ششمین کنفرانس محاسبات پذیری در اروپا، CiE 2010، برگزار شده در پونتا دلگادا، آزور، پرتغال، در ژوئن/ژوئیه 2010 است. ارسالی ها این مقالات نه تنها به خطوط ثابت تر تحقیقات پیچیدگی محاسباتی و تعامل بین اثبات و محاسبات می پردازند، بلکه به دیدگاه های جدیدی نیز می پردازند که بر فرآیندها و مدل های فیزیکی و بیولوژیکی برای یافتن راه های جدیدی برای مقابله با محاسبات و بهبود کارایی آنها تکیه دارند.


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

This book constitutes the refereed proceedings of the 6th Conference on Computability in Europe, CiE 2010, held in Ponta Delgada, Azores, Portugal, in June/July 2010. The 28 revised papers presented together with 20 invited lectures were carefully reviewed and selected from 90 submissions. The papers address not only the more established lines of research of computational complexity and the interplay between proofs and computation, but also novel views that rely on physical and biological processes and models to find new ways of tackling computations and improving their efficiency.



فهرست مطالب

Front Matter....Pages -
Avoiding Simplicity Is Complex....Pages 1-10
Higher-Order Containers....Pages 11-20
On the Completeness of Quantum Computation Models....Pages 21-30
The Ordinal of Skolem + Tetration Is τ 0 ....Pages 31-38
Proofs, Programs, Processes....Pages 39-48
Ergodic-Type Characterizations of Algorithmic Randomness....Pages 49-58
How Powerful Are Integer-Valued Martingales?....Pages 59-68
A Faster Algorithm for Finding Minimum Tucker Submatrices....Pages 69-77
Processes in Space....Pages 78-87
Computability of Countable Subshifts....Pages 88-97
The Limits of Tractability in Resolution-Based Propositional Proof Systems....Pages 98-107
Haskell before Haskell: Curry’s Contribution to Programming (1946–1950)....Pages 108-117
A Miniaturisation of Ramsey’s Theorem....Pages 118-125
Graph Structures and Algorithms for Query-Log Analysis....Pages 126-131
On the Complexity of Local Search for Weighted Standard Set Problems....Pages 132-140
Computational Interpretations of Analysis via Products of Selection Functions....Pages 141-150
The Peirce Translation and the Double Negation Shift....Pages 151-161
Counting the Changes of Random ${\\Delta^0_2}$ Sets....Pages 162-171
Boole: From Calculating Numbers to Calculating Thoughts....Pages 172-179
Approximability and Hardness in Multi-objective Optimization....Pages 180-189
${\\cal P}_w$ Is Not a Heyting Algebra....Pages 190-194
Lower Bounds for Reducibility to the Kolmogorov Random Strings....Pages 195-200
Spatial Models for Virtual Networks....Pages 201-210
DNA Rearrangements through Spatial Graphs....Pages 211-218
On Index Sets of Some Properties of Computable Algebras....Pages 219-228
The Strength of the Besicovitch-Davies Theorem....Pages 229-238
Circuit Complexity and Multiplicative Complexity of Boolean Functions....Pages 239-245
Definability in the Subword Order....Pages 246-255
Undecidability in Weihrauch Degrees....Pages 256-265
Degrees with Almost Universal Cupping Property....Pages 266-275
Incomputability in Physics....Pages 276-285
Approximate Self-assembly of the Sierpinski Triangle....Pages 286-295
Hairpin Lengthening....Pages 296-306
Infinities in Quantum Field Theory and in Classical Computing: Renormalization Program....Pages 307-316
Computational Complexity Aspects in Membrane Computing....Pages 317-320
Computable Ordered Abelian Groups and Fields....Pages 321-330
Focusing in Asynchronous Games....Pages 331-341
A Note on the Least Informative Model of a Theory....Pages 342-351
Three Roots for Leibniz’s Contribution to the Computational Conception of Reason....Pages 352-361
Development of a Bacteria Computer: From in silico Finite Automata to in vitro and in vivo ....Pages 362-371
The Complexity of Explicit Constructions....Pages 372-375
Kolmogorov Complexity Cores....Pages 376-385
Every $\\Delta^0_2$ -Set Is Natural, Up to Turing Equivalence....Pages 386-393
Computable Fields and Weak Truth-Table Reducibility....Pages 394-405
What Is the Problem with Proof Nets for Classical Logic?....Pages 406-416
Quasi-linear Dialectica Extraction....Pages 417-426
Computing with Concepts, Computing with Numbers: Llull, Leibniz, and Boole....Pages 427-437
Inference Concerning Physical Systems....Pages 438-447
Back Matter....Pages -




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