نتایج جستجو

قضیهٔ ماشین تورینگ جهانی در [[نظریه محاسبات]] یک نتیجهٔ پایه ای از [[شماره گذاری های گودل]] برای مجموعه توابع شمارش پذ [[رده:قضیه‌ها در نظریه محاسبات]] ...

...قعی تصمیم‌پذیر است که روش کارآمدی برای تعیین آنکه آیا فرمول‌های اختیاری در نظریه موجودند، موجود باشد. بسیاری از مسائل مهم، [[مسئله تصمیم‌ناپذیر|تصمیم‌ناپذیر ...ده می‌شود. بسیاری از مسائل مهم [[مسایل تصمیم ناپذیر|تصمیم‌ناپذیر]]‌اند. هر نظریه یا [[سیستم صوری|سیستم منطقی]] تصمیم‌پذیر را می‌توان به صورت یک راه مؤثر یا ...

در ریاضیات، '''قضیه باقیمانده چینی''' بیان می‌کند که اگر باقی‌مانده تقسیم اقلی ...Zi Suanjing]]) نوشته ریاضی‌دان چینی [[سان تزو|سون تزو]] (Sun Tzu) که بعداً در [[۱۲۴۷]] توسط [[قین جیوشاو]] (Qin Jiushao) باز نوشت شد گنجانده شده. ...

...ستدلالی منطقی برای گزارهٔ مطرح‌شده در قضیه است که در توافق با قوانین موجود در روش (سیستم) استقرایی، می‌باشد.<ref>{{یادکرد وب|عنوان=Theorem {{!}} Proofs, ...مفهوم و تصور کلی یک قضیهٔ ریاضی اساساً استقرایی است که در تضاد با مفهوم یک نظریه (قضیه) علمی - که بر اساس تجربه و آزمایش است - می‌باشد. {{مدرک}} ...

...نه دیگری از مسائل بدتر باشد. علاوه بر این، هر چقدر در دامنه خودش بهتر باشد در باقی دامنه‌ها بدتر خواهد بود.]] ...باشند. [[دیوید ولپرت]] و [[ویلیام مک ردی]] بیان زیبایی را برای چنین وضعیتی در مسائل جستجو<ref name=WM95>Wolpert, D.H., Macready, W.G. (1995), No Free Lun ...

...رار می‌گرفت. غربال اراتوستن را [[اراتوستن]]، [[ریاضیدان]] [[یونان باستان]] در [[قرن سوم پیش از میلاد]] ابداع کرد.]] ...ت یا اگر اول نباشد، می‌توان آن را به ضرب اعداد اول تجزیه کرد، که این تجزیه در حد ترتیب یگانه است. ...