مشخصات کتاب

Machines de Turing et Automates Cellulaires: du Trait Grave au Tres Anime

ویرایش:  
نویسندگان: Charles Corges  
سری:  
ISBN (شابک) : 2729837728, 9782729837723 
ناشر: Ellipses Marketing 
سال نشر: 2008 
تعداد صفحات: 509 
زبان: French 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 13 مگابایت 

در صورت تبدیل فایل کتاب Machines de Turing et Automates Cellulaires: du Trait Grave au Tres Anime به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب ماشین‌های تورینگ و اتوماتای ​​سلولی: از Grave Trait تا انیمه Tres نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب ماشین‌های تورینگ و اتوماتای ​​سلولی: از Grave Trait تا انیمه Tres

به سؤالی که دیوید هیلبرت در سال 1900 مطرح کرد، که توسط ماکس نیومن مطرح شد. آلن تورینگ در سال 1936 با اختراع ماشینی انتزاعی که نام او را در خود دارد، با حداکثر سادگی، که چاپ یا می خواند، پاسخ داد: «آیا فرآیندی مکانیکی وجود دارد که بدانیم آیا یک گزاره ریاضی قابل اثبات است یا نه؟» سکته مغزی در جعبه های تراز یک نوار کاغذی بی پایان. نویسنده پیشنهاد می کند که با تجزیه و تحلیل فرآیندهای محاسبات ابتدایی به بنیادی ترین مکانیسم های آن تا حد امکان، از او در تحلیل بسیار دقیق عملکرد این ماشین پیروی کند. او کم کم خواننده را با دست گرفتن به سمت محاسبات دقیق تر هدایت می کند، بنابراین مفهوم توابعی را تعریف می کند که می توان به طور مؤثر محاسبه کرد. او به تفصیل نشان می‌دهد که چنین ماشینی از خاصیت جهان‌شمولی برخوردار است: می‌تواند هر محاسبه قابل تصوری را انجام دهد که انسان می‌تواند با استفاده از یک الگوریتم مشخص کند، یعنی یک دنباله محدود و گسسته از قوانین: این ماشین قادر است هر ماشین تورینگ دیگری را شبیه‌سازی کند، اما مخترع آن ثابت کرده است که هیچ کس نمی تواند توقف آن را پیش بینی کند، که پاسخ منفی به سوال هیلبرت است. این ماشین جهانی است که در واقع نمونه اولیه کامپیوتر مدرن است. در بخش دوم کار، که برای مشاهده تکامل پیکربندی‌های گرفته شده توسط نوار دوبعدی یک ماشین تورینگ مجهز به حالت خواندن گسترده، از خواننده دعوت می‌شود تا وارد دنیای اتوماتای ​​سلولی شود. این‌ها سیستم‌های ریاضی پویا هستند که از عناصر بسیار ساده و یکسانی تشکیل شده‌اند که رفتارشان پیچیده، حتی کاملاً غیرقابل پیش‌بینی است، حتی زمانی که بر حسب روابط محلی بسیار ابتدایی مشخص شده باشد. سپس خواننده مجموعه کاملی از اتوماتای ​​سلولی را کشف خواهد کرد، که برخی از آن‌ها "ملیله‌هایی" را ترسیم می‌کنند که در میان آن‌ها بازگشت احتمالی در زمان بافته نشده وجود دارد، در حالی که سایر اتومات‌های ساختار یافته به عنوان بسیاری از دستگاه‌های پردازش جهانی با مدارهای منطقی ارائه می‌شوند. او با اتومات های پارتیشن آشنا می شود که یک فرآیند محاسباتی را بر اساس پدیده برخورد مدل می کند و طبق قوانین اتخاذ شده، رفتار گازهای ایده آل مختلف را منعکس می کند و پدیده های فیزیکی مختلف را به حساب می آورد. با جلوتر رفتن، او به مقوله اتوماتای ​​سلولی که طبیعت را تقلید می کنند، نزدیک می شود، برخی به این دلیل که می توانند خود را تکرار کنند، برخی دیگر به این دلیل که پدیده ظهور هوش را در ازدحام حشرات بازتولید می کنند. بنابراین، به دنبال سیر ماشین تورینگ در سراسر این کتاب، خواننده با دو مکانیسم محاسبه مواجه می‌شود، یکی که در آن بخش ساختاری و داده‌هایی که برای تکامل فراخوانده شده‌اند را از هم تشخیص می‌دهیم، و دیگری که در آن عملکردهای پردازش و ذخیره‌سازی به طور نزدیک در ارتباط هستند. همان سلول حافظه پویا و تابع همان قوانین دانه ای هستند.

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

A la question posée par David Hilbert en 1900, reprise par Max Newman. sous la forme : " Existe-t-il un procédé mécanique qui permette de savoir si une proposition mathématique est démontrable ou non ? ", Alan Turing répondit en 1936 en inventant une machine abstraite qui porte son nom, d'une simplicité maximale, qui imprime ou lit des traits dans les cases alignées d'un ruban de papier sans fin. L'auteur propose de le suivre dans l'analyse très fine du fonctionnement de cette machine en décomposant les procédés de l'arithmétique élémentaire en ses mécanismes les plus fondamentaux jusqu'à la limite du possible. Il amène le lecteur petit à petit, en le prenant par la main, vers des calculs de plus en plus élaborés cernant, ce faisant la notion de fonctions effectivement calculables. Il montre dans le détail qu'une telle machine jouit de la propriété d'universalité : elle est capable d'exécuter tout calcul imaginable que l'homme peut spécifier à l'aide d'un algorithme, c'est-à-dire une suite finie et discrète de règles : elle est capable de simuler toute autre machine de Turing, mais son inventeur a prouvé qu'il n'en est aucune qui puisse en prédire l'arrêt, ce qui constitue une réponse négative à la question de Hilbert. C'est cette machine universelle qui est réellement le prototype de l'ordinateur moderne. Dans la deuxième partie de l'ouvrage, appelé à observer l'évolution des configurations prises par le ruban bidimensionnel d'une machine de Turing dotée d'un mode de lecture étendu, le lecteur se trouve invité à pénétrer dans l'univers des automates cellulaires. Il s'agit de systèmes mathématiques dynamiques faits d'éléments identiques très simples dont le comportement s'avère complexe, voire totalement imprévisible, alors même qu'il est spécifié en ternies de relations locales très élémentaires. Le lecteur découvrira alors toute une panoplie d'automates cellulaires dont certains dessinent des " tapisseries " parmi lesquelles il en est qu'une possible remontée dans le temps détisse, tandis que d'autres automates réputés structurés se présentent comme autant de dispositifs de traitement universels avec des circuits logiques. Il fera connaissance avec des automates à partition qui modélisent un procédé de calcul fondé sur le phénomène de collision et qui reflète selon les règles adoptées le comportement de différents gaz idéaux et rend compte de divers phénomènes physiques. Allant plus loin, il abordera la catégorie d'automates cellulaires qui imitent la nature, les uns parce qu'ils sont capables de s'autorépliquer, les autres parce qu'ils reproduisent le phénomène d'émergence de l'intelligence en essaim des insectes sociaux. Ainsi, à suivre le parcours de la machine de Turing tout au long de ce livre, le lecteur aura rencontré deux mécanismes de calcul, l'un dans lequel on distingue la partie structurelle et les données appelées à évoluer, l'autre où fonctions de traitement et de rangement sont intimement liées dans une même cellule mémoire dynamique et sont soumises aux mêmes lois granulaires.

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

کتاب های تصادفی

دانلود کتاب foam and foam films. Theory, Ecxperiment, Application

دانلود کتاب Mega Transport Infrastructure Planning: European Corridors in Local-Regional Perspective

دانلود کتاب Inventing the Feeble Mind: A History of Mental Retardation in the United States

دانلود کتاب Imagini si simboluri

دانلود کتاب Hagia Sophia, A History