نظریه رایانش‌پذیری از مباحث بنیادین علوم کامپیوتر است که به بررسی محاسبه‌پذیری و محاسبه‌ناپذیر بودن عملیات با استفاده از ابزارهای کلاسیک نظیر ماشین ثبات، ماشین تورینگ و توابع بازگشتی می‌پردازد. یکی...
ماشین محاسبه تورینگ (Universal Turing machine) نوعی ماشین محاسباتی است که می‌تواند بر اساس داده‌های تصادفی یک محاسبه تورینگ تصادفی را شبیه‌سازی کند. این ماشین محاسباتی با خواندن توضیح ماشین و نیز...
تلاش آلن تورینگ برای پاسخگویی به یکی از مهم‌ترین مفاهیم فلسفی علوم کامپیوتر، یعنی «محاسبات چگونه انجام می‌شود؟» منجر به ارائه ایده و نظریه مهمی شد که سرآغاز پیشرفت‌های بسیاری قرار گرفت و تولید و عرضه...
تلاش آلن تورینگ برای پاسخگویی به یکی از مهم‌ترین مفاهیم فلسفی علوم کامپیوتر، یعنی «محاسبات چگونه انجام می‌شود؟» منجر به ارائه ایده و نظریه مهمی شد که سرآغاز پیشرفت‌های بسیاری قرار گرفت و تولید و عرضه...
ماشین تورینگ! مفهومی که به اندازه فرد مطرح کننده خود از اهمیت ویژه‌ای برخوردار است و نقش مهمی در رسیدن علوم کامپیوتر و همچنین فناوری محاسبات به مقطع کنونی دارد. اگرچه به سادگی می‌توان بدون داشتن...
