نتایج جستجو

...Casinos and Wall Street'']</ref> در زمان [[جنگ جهانی دوم]]، شانون به پژوهش در [[رمزکاوی]] پرداخت و پس از جنگ به [[رمزشکنی]] روی آورد. ...مدل]]، [[قایق‌های کنترل از راه دور]] و [[تلگراف]]ی که وی را به خانه دوستش در یک کیلومتری وصل می‌کرد، می‌ساخت. همچنین او برای شرکت [[وسترن یونیون]] پیغام ...

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

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

[[پرونده:Euclid.jpg|جایگزین=اقلیدس|بندانگشتی|[[اقلیدس]] (در حالی که [[پرگار]] در دست دارد){{سخ}}ریاضیدان [[یونان|یونانی]] سده سوم قبل از میلاد{{سخ}}این حد ا ...&pg=PR7 vii] |isbn=978-3-642-19532-7 |chapter=What Is Mathematics?}}</ref> در حقیقت، تعریفی جهانی که همه بر سر آن توافق داشته باشند، برای ریاضیات وجود ند ...

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