دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Machines, Computations, and Universality: 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers
دانلود کتاب ماشین آلات، محاسبات و جهانی سازی: چهارمین کنفرانس بین المللی، MCU 2004، سنت پترزبورگ، روسیه، 21-24 سپتامبر 2004، مقالات منتخب تجدید نظر شده
مشخصات کتاب
Machines, Computations, and Universality: 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers
ویرایش: 1 نویسندگان: Cristian S. Calude (auth.), Maurice Margenstern (eds.) سری: Lecture Notes in Computer Science 3354 Theoretical Computer Science and General Issues ISBN (شابک) : 9783540252610, 3540252614 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2005 تعداد صفحات: 336 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 52,000
کلمات کلیدی مربوط به کتاب ماشین آلات، محاسبات و جهانی سازی: چهارمین کنفرانس بین المللی، MCU 2004، سنت پترزبورگ، روسیه، 21-24 سپتامبر 2004، مقالات منتخب تجدید نظر شده: محاسبات با دستگاه های انتزاعی، منطق ریاضی و زبان های رسمی، منطق و معانی برنامه ها، تحلیل الگوریتم و پیچیدگی مسئله
در صورت تبدیل فایل کتاب Machines, Computations, and Universality: 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ماشین آلات، محاسبات و جهانی سازی: چهارمین کنفرانس بین المللی، MCU 2004، سنت پترزبورگ، روسیه، 21-24 سپتامبر 2004، مقالات منتخب تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب ماشین آلات، محاسبات و جهانی سازی: چهارمین کنفرانس بین المللی، MCU 2004، سنت پترزبورگ، روسیه، 21-24 سپتامبر 2004، مقالات منتخب تجدید نظر شده
این کتاب مجموعه مقالات پس از داوری کامل چهارمین کنفرانس بین‌المللی ماشین‌ها، محاسبات و جهانی، MCU 2004 است که در سپتامبر 2004 در سن پترزبورگ، روسیه برگزار شد.
21 مقاله کامل اصلاح‌شده ارائه شده است. همراه با 5 مقاله دعوت شده، دو دور بررسی، انتخاب و بهبود را طی کردند. طیف گسترده‌ای از جنبه‌های بنیادی در علم کامپیوتر نظری، مانند اتوماتای سلولی، محاسبات مولکولی، محاسبات کوانتومی، زبان‌های رسمی، تئوری خودکار، ماشین‌های تورینگ، سیستم‌های P و غیره مورد توجه قرار گرفته است.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed postproceedings of the 4th International Conference on Machines, Computations, and Universality, MCU 2004, held in St. Petersburg, Russia in September 2004.
The 21 revised full papers presented together with 5 invited papers went through two rounds of reviewing, selection, and improvement. A broad variety of foundational aspects in theoretical computer science are addressed, such as cellular automata, molecular computing, quantum computing, formal languages, automata theory, Turing machines, P systems, etc.
فهرست مطالب
Front Matter....Pages -
Algorithmic Randomness, Quantum Physics, and Incompleteness....Pages 1-17
On the Complexity of Universal Programs....Pages 18-35
Finite Sets of Words and Computing....Pages 36-49
Universality and Cellular Automata....Pages 50-59
Leaf Language Classes....Pages 60-81
Computational Completeness of P Systems with Active Membranes and Two Polarizations....Pages 82-92
Computing with a Distributed Reaction-Diffusion Model....Pages 93-103
Computational Universality in Symbolic Dynamical Systems....Pages 104-115
Real Recursive Functions and Real Extensions of Recursive Functions....Pages 116-127
Ordering and Convex Polyominoes....Pages 128-139
Subshifts Behavior of Cellular Automata. Topological Properties and Related Languages....Pages 140-152
Evolution and Observation: A Non-standard Way to Accept Formal Languages....Pages 153-163
The Computational Power of Continuous Dynamic Systems....Pages 164-175
Abstract Geometrical Computation for Black Hole Computation....Pages 176-187
Is Bosco’s Rule Universal?....Pages 188-199
Sequential P Systems with Unit Rules and Energy Assigned to Membranes....Pages 200-210
Hierarchies of DLOGTIME-Uniform Circuits....Pages 211-222
Several New Generalized Linear- and Optimum-Time Synchronization Algorithms for Two-Dimensional Rectangular Arrays....Pages 223-232
Register Complexity of LOOP -, WHILE -, and GOTO -Programs....Pages 233-244
Classification and Universality of Reversible Logic Elements with One-Bit Memory....Pages 245-256
Universal Families of Reversible P Systems....Pages 257-268
Solving 3CNF-SAT and HPP in Linear Time Using WWW....Pages 269-280
Completing a Code in a Regular Submonoid of the Free Monoid....Pages 281-291
On Computational Universality in Language Equations....Pages 292-303
Attacking the Common Algorithmic Problem by Recognizer P Systems....Pages 304-315
On the Minimal Automaton of the Shuffle of Words and Araucarias....Pages 316-327
Back Matter....Pages -
