نتایج جستجو

...این رویکرد در صورتی ترجیح داده می‌شود که اثبات عکس نقیض گزاره، آسان‌تر از اثبات خود گزارهٔ شرطی اصلی باشد. '''برهان عکس نقیض''': برای اثبات درستی <math>A \to B</math>، درستی گزارهٔ عکس نقیض آن که <math>\neg B \to \n ...

...'' {{به انگلیسی|Conditional proof}} برهانی است که به‌شکل ادعای شرطی است، و اثبات می‌کند که [[مقدم (منطق)|مقدم]] عبارت شرطی، لزوماً منجر به [[تالی]] می‌شود. ...حدس دیگر دلالت کند. نشان دادن صدق یک گزاره از گزارۀ دیگر بسیار ساده‌تر از اثبات مستقل آن است. ...

...از بین می‌برد، '''مثال نقض''' می‌گویند. در [[زبان انگلیسی]] به این روش از اثبات "Counterexample" گفته می‌شود. ...قض می‌گویند. نکته اینجاست که با مثال می‌توان نقض کرد، ولی با مثال نمی‌توان اثبات کرد که این مورد در [[هندسه]] مثال بسیار دارد. ...

...ers|page=133|isbn=978-9460912443}}.</ref> این یک روش [[اثبات مستقیم]] است. اثبات با بررسی حالت‌ها معمولاً شامل دو مرحله است: # اثبات اینکه مجموعهٔ حالت‌ها جامع است؛ یعنی هر مثال از گزاره‌ای که باید ثابت شود، ...

* لوی، میشل، [http://teachinglogic.univ-grenoble-alpes.fr/DN1/ یک اثبات‌کنندۀ گزاره‌ای.] [[رده:شیوه‌های اثبات]] ...

...بالا با استفاده از ویژگی‌های بستاری [[اتوماتون تعین‌ناپذیر متناهی|NFA]]‌ها اثبات می‌شوند. == شیوه‌های پذیرنده و تولیدکننده == ...

شیوه‌های دیگر بیان این قضیه این است که چند یا حتی بی‌نهایت تایپیست وجود داشته باشد، == اثبات ریاضی قضیه == ...

...2-12-10|کد زبان=fa|نام=دفتر انتشارات و فناوری|نام خانوادگی=آموزشی}}</ref> «اثبات با فرض خلاف» و [[تعلیق به محال]] نیز شناخته می‌شود.<ref>{{Cite web|url=http برهان خلف معمولاً در اثبات عکس یک قضیه به‌کار می‌رود و مورد استفاده در [[دوشرطی منطقی|قضیه‌های دوشرطی] ...

...|doi=10.1007/978-94-017-1043-5}}</ref> نیز مشهور است. علت این نامگذاری‌ها، شیوه‌های گوناگون گسترش یافتن این نامساوی به فضاهای مختلف است که در زمینه‌های مختلفی برای اثبات کافیست تا ضرب داخلی روی فضای برداری <math>\mathbb{R}^n</math> را در نظر بگی ...

...</ref> است. نشان دادن این‌که این رابطه هم‌ارزی‌ست، بسیار ساده‌است و لذا از اثبات آن می‌گذریم. به این ترتیب همان‌طور که گفته شد، این رابطه مجموعهٔ [[اعداد طب ...مایش هریک از انواع رابطه‌ها راه‌های گوناگونی هست. به طور کلی یکی از بهترین شیوه‌های نمایش رابطه‌ها، استفاده از [[گراف جهت‌دار]] است. ...

...ل مدیر می‌تواند در راستای هدف سهام دار نباشد و عمل مدیر برای سهام دار قابل اثبات نباشد؛ چرا که مدیر می‌تواند زیان سهام دار را به عامل تصادفی نسبت دهد. در این‌جا دیده می‌شود که حتی اگر کارگزار در انجام وظیفه خود سستی کند، اثبات ادعای حقوقی علیه کارگزار بسیار پر هزینه است و به نتیجه مطلوب نخواهد رسید؛ ب ...

...الی {{انگلیسی|Probability}} همچنین می‌تواند به گزاره‌ای که شواهد خوبی برای اثبات آن وجود دارد گفته شود.<ref name="Franklin">Franklin, J. , ''The Science of ...یه و اساس را برای بیشتر علوم اجتماعی داراست. آزمون‌های آماری فواصل اطمینان شیوه‌های رگرسیون (پس رفت) ...

...گراف است. اگر یک گراف دوبخشی همبند نباشد، ممکن است بتوان راس‌های آن را به شیوه‌های مختلف به دو بخش تقسیم نمود (یعنی ممکن است <math>U</math> و <math>V</math> ی ...اف‌های دوبخشی، و مکمل آن‌ها، ۴ رده از ۵ ردهٔ اصلی گراف‌های آرمانی را که در اثبات قضیهٔ قوی گراف‌های آرمانی (strong perfect graph theorem)از آن‌ها استفاده می ...

نوشته هندی یوکتیبهاسا شامل اثبات بسط تابع‌های سینوس و کسینوس و استخراج و اثبات سری توانی برای وارون تانژانت است که توسط مدهاوا کشف شدند. این نوشته، شامل ق ابوالوفا اتحادهای جمع و تفاضل دو زاویه را نیز با اثبات کاملشان ارائه داد:<ref name="musa"/> ...

...}}" و "۱" عددی یکسان را نشان می‌دهند. شیوه‌های متنوعی برای [[برهان (ریاضی)|اثبات]] این [[معادله (ریاضی)|برابری]] با درجات مختلفی از [[دقت ریاضی]] وجود دارد. == اثبات جبری == ...

...شمیر-ادلمن (RSA)''' {{Efn|رونالد ریوست -لئونارد آدلمن-ادی شامیر}} از اولین شیوه‌های [[رمزنگاری کلید عمومی|رمزنگاری به روش کلید عمومی]] (Public Key Cryptography == اثبات درستی == ...

[[لئونارد اویلر]] در یکی از اولین مقالات توپولوژی اثبات کرد که یافتن مسیری از شهر [[کونیگسبرگ، پروس|کونیگسبرگ]] (اکنون این شهر به [ ...فضای وضعیت‌های قرار گرفتن عقربه‌ها در ساعت)، گروه‌های متقارن همچون مجموعه شیوه‌های چرخاندن یک رأس و غیره در ارتباط است. ...

...رون خروجی مرتب شده قرار نگرفته باشند، درون هرم اضافه نمی‌کند. به این ترتیب اثبات می‌شود که الگوریتم برای ورودی‌هایی که از قبل تقریباً مرتب شده‌اند سریع‌تر ا ...برای [[داده]]<nowiki/>‌هایی که به صورت یکنواخت پخش شده‌اند کارآمد است اما شیوه‌های دیگر انتخاب محور، مثل انتخاب تصادفی، مقاومت و پایداری بیشتری در برابر داده‌ ...

...در سال ۱۹۱۵ است که از طریق تجزیه قطبی به آن دست یافت. به نظر می‌رسد اولین اثبات تجزیه ارزش مفرد برای ماتریس‌های مستطیل و پیچیده توسط کارل اکارت و گیل جی جو ...گونی زمینه‌ها و کاربردها، و نیز ابعاد و اندازه‌های داده‌های امروزین است که شیوه‌های ماشینی مربوط به یادگیری، مدل‌سازی، و آموزش را طلب می‌نماید. ...

...نگ، بو و غلظت) و حالت‌های متفاوت ([[جامد]]، [[مایع]] و [[گاز]]) دارند و با شیوه‌های گوناگون با یکدیگر واکنش می‌دهند. در این زمان فیلسوفان یونانی نخستین نظریه‌ه | [[ژوزف لویی گیلوساک]] چندین ویژگی شیمیایی و فیزیکی هوا و سایر گازها از جمله اثبات تجربی قوانین بویل و چارلز و روابط بین تراکم و ترکیب گازها را جمع‌آوری و کشف ...