نتایج جستجو

...کنیم. <!-- فرض می‌کنیم حکم برای برهان‌های با طول کمتر از n درست باشد و طول برهان <math>\Gamma \cup \{A\} \vdash B </math> نیز n باشد. [[رده:نظریه برهان]] ...

...اطش با نظریه [[تقریب دیوفانته]] مورد توجه قرار گرفته‌است. استیون لوکاس این برهان را «یکی از زیباترین نتایج مرتبط با تقریب عدد پی» می‌نامد.<ref name="Lucas20 هدف اصلی این برهان اثبات اینکه ۲۲/۷ بزرگتر از عدد پی است، نیست. ۲۲/۷ {{Nowrap|(یا ۳<sup>۱</sup ...

== برهان == مبانی [[نظریه اعداد]]، [[مریم میرزاخانی]]، رویا بهشتی زواره، [[انتشارات فاطمی]] ۱۳۸۲ ...

در [[منطق]] و [[نظریه برهان|نظریهٔ برهان]]، '''استنتاج طبیعی''' {{به انگلیسی|Natural deduction}} نوعی حساب اثباتی می [[رده:نظریه برهان]] ...

'''قضیه لاگرانژ''' در [[نظریه گروه‌ها]] از جمله قضایای مهم است. این قضیه بیان می‌کند که مرتبه هر [[زیرگرو ...توجه داشته باشید که قضیه‌ای با [[قضیه لاگرانژ(نظریه اعداد)|همین نام]] در [[نظریه اعداد]] در مورد [[همنهشتی‌های جبری]] وجود دارد که نباید آن را با این قضیه خ ...

...برهان، یک [[استدلال استنتاجی]] است و نه استدلالی استقرایی، به این معنا که برهان باید نشان دهد که یک گزاره در تمامی شرایط و بدون هیچ استثنایی، همواره صحیح ا ...عی]] را نیز دربر می‌گیرند که اکثراً باعث ایجاد ابهام می‌شود. در واقع، اکثر برهان‌ها در ریاضیات نوشتاری، می‌توانند به عنوان کاربردی از منطق غیر صوری به‌شمار ...

== برهان == ...ست که با اثبات آن در اصل اثبات قضیه فرما نیز انجام شده‌است اما در این قسمت برهان را مخصوص همین قضیه ارائه می‌دهیم. ...

در [[نظریه اعداد]]، '''ضرب دیریکله''' یا '''پیچش دیریکله''' [[تابع حسابی|توابع حسابی]] ...روی مقسوم علیه‌های n است. چنین مجموع‌هایی در سراسر [[نظریه اعداد]] بویژه [[نظریه تحلیلی]] اعداد رخ می‌دهند و لذا از اهمیت خاصی دارند. ...

در [[نظریه محاسبه]] و [[پیچیدگی محاسباتی|نظریه پیچیدگی رایانشی]]، '''''کاهش''''' فراروندی است که یک مسئله یا مسئله را به م ...نیم، آن گاه می‌توانیم با [[برهان خلف]] نشان دهیم که مسئله «ب» نیز سخت است. برهان خلف چنین است: فرض کنید که پیرِ فرزانه‌ای هست که مسئله «ب» را در زمانی کوتاه ...

== برهان == [[رده:نظریه رأی‌دهی]] ...

در نظریه گراف، '''قضیه برگه''' بیان می‌کند که یک تطابق (Matching) M از گراف G '''ماک ابتدا به اثبات طرف اول رابطه بالا می پردازیم: از [[برهان خلف]] استفاده کرده و فرض می کنیم که مسیر M-افزوده داشته باشیم و تطابق ماکسی ...

...ی ضرب داخلی]] اشاره دارد. این تجزیه کاربردهای متعددی در [[اطلاعات کوانتومی|نظریهٔ اطلاعات کوانتومی]] مانند مشخصه‌یابی [[درهم‌تنیدگی کوانتومی|درهم تنیدگی،]] [[رده:نظریه اطلاعات کوانتومی]] ...

...گروه‌ها]]، از مفاهیم اساسی برای تعریف [[گروه خارج قسمت]] هستد و در سراسر [[نظریه گروه‌ها]] به آن‌ها بر خورد می‌کنیم. فرض کنید G یک [[نظریه گروه ها|گروه]] و H [[زیرگروه|زیرگروهی]] از G باشد. [[رابطه]] <math>\equiv_H ...

'''نظریه تجدید،''' شاخه‌ای از [[نظریه احتمال]] است که [[فرایندهای پواسون]] را به زمان‌های نگهداری اختیاری عمومیت در رویه غیررسمی ممکن است نظریه تجدید را به همین صورت تعریف کنیم به جز اینکه زمان‌های نگهداری شده از توزیع ...

[[رده:مقاله‌های دربردارنده برهان]] [[رده:مسائل حل‌نشده در نظریه اعداد]] ...

...ظریه گراف|گراف]] مجموعه‌ای از [[رأس (نظریه گراف)|گره‌ها]]‌ست که هیچ [[یال (نظریه گراف)|یالی]] میان هیچ جفتی از این گره‌ها نباشد. ...روهک‌هایی بزرگ نداشته باشند دارای مجموعه‌های ناوابستهٔ بزرگی خواهند بود. [[نظریه رمزی]] چنین شیوه‌ای را بررسی کرده است. ...

...[[بخش پذیری|بخش‌پذیری]] دانست و به‌وسیلۀ آن می‌توان مفاهیم بنیادی را در [[نظریه اعداد|نظریۀ اعداد]] مورد مطالعه قرار داد که بدون استفاده از آن، بیان و اثبا ;برهان ۱: ...

...ی تعریف این ترتیب است. هدف ما تعریف زوج مرتب به گونه‌ای قابل قبول از نظر [[نظریه مجموعه‌ها]] است. ...صورت شهودی درک کنید اما چگونه می‌توان این کار را به گونه‌ای قابل قبول برای نظریه مجموعه‌ها تعریف نمود. ...

برهان: [[رده:نظریه محاسبات]] ...

در [[نظریه مجموعه‌ها]] و جبر بولی، این عبارات را می‌توان به صورت زیر نوشت: * <math>\cap</math> [[اشتراک (نظریه مجموعه‌ها)|اشتراک]] است ...