نتایج جستجو

که در آن: [[رده:علوم رایانه در ۱۹۳۷ (میلادی)]] ...

|زیرنویس = تورینگ در سال ۱۹۳۶ |رشته فعالیت = [[منطق]]{{-}}[[ریاضیات]]{{-}}[[تحلیل رمز]]{{-}}[[علوم رایانه]]{{-}}[[زیست‌شناسی ریاضیاتی و نظری]]{{-}}[[منطق ریاضی]]{{-}}[[رمزنگاری]] ...

...ی|thumb|یک مدل فیزیکی از ماشین تورینگ. یک ماشین تورینگ واقعی نوار نامحدودی در هر دو طرف دارد؛ با این حال، مدل‌های فیزیکی تنها مقدار محدودی نوار دارند.|30 ...ادها را ذخیره و بعداً بازیابی کند." همچنین استون ۱۹۷۲:۸ که واژه "ماشین" را در گیومه می‌آورد.</ref> را توصیف می‌کند که نمادها را روی یک نوار طبق جدول قوان ...

...ین تورینگی]] استفاده کرد. این دستگاه صوری، توسط [[آلونزو چرچ]] در دهه ۱۹۳۰ میلادی، به عنوان بخشی از تحقیقات او بر روی [[بنیان‌های ریاضیات]] معرفی گشت. ...لامبدا، شامل ساخت ترم‌های لامبدا و اعمال عملیات کاهشی (تقلیلی) رویشان است. در ساده‌ترین فرم حساب لامبدا، ترم‌ها تنها با استفاده از قواعد زیر ساخته می‌شون ...

...قاعده» است.}} یک شیء صلب هندسی در فضای سه بعدی است که وجه‌هایی صاف (هر وجه در یک صفحه) و ضلع‌ها یا یال‌هایی واقع بر خط راست دارد. تا کنون تعریف واحدی برا ...نی و همچنین برخی شعاعیان شکلی شبیه اجسام افلاطونی دارند. از اجسام افلاطونی در ساخت تاس نیز استفاده می‌شود. ...