نتایج جستجو
پرش به ناوبری
پرش به جستجو
- برهانهای شرطی در [[ریاضیات]] اهمیت زیادی دارند. برهانهای شرطیای وجود دارند که چندین [[حدس]] اثبات نشده را به هم مرتبط میکنند، بهط یک شبکهٔ معروف از برهانهای شرطی، کلاس نظریۀ پیچیدگی NP-complete است. تعداد زیادی کار جالب وجود دارد (ب ...۴ کیلوبایت (۱۱۹ واژه) - ۱۴ ژانویهٔ ۲۰۲۳، ساعت ۰۹:۳۲
- ...h>\Gamma \vdash A \to B </math> استفاده میکنیم. <!-- فرض میکنیم حکم برای برهانهای با طول کمتر از n درست باشد و طول برهان <math>\Gamma \cup \{A\} \vdash B </m [[رده:قضایای بنیانهای ریاضیات]] ...۲ کیلوبایت (۱۱۰ واژه) - ۲ ژانویهٔ ۲۰۲۳، ساعت ۰۷:۳۲
- '''نظریه مدل''' (به [[زبان انگلیسی|انگلیسی]]: Model Theory) در ریاضیات مطالعهٔ [[ساختار (ریاضی)|ساختارهای ریاضی]] از یک مرتبه بالاتر است. * ''[[فراریاضیات|فرا ریاضیاتِ]] دستگاههای جبری'' <ref>به گفتهٔ [[آلفرد تارسکی]] یکی از بنیانگذاران نظر ...۴ کیلوبایت (۸۴ واژه) - ۸ اوت ۲۰۲۴، ساعت ۱۵:۵۱
- '''پایان اثبات''' در نماد [[ریاضیات]]، {{به انگلیسی|Tombstone (typography)}} یا end-of-proof، یا نماد '''.Q.E.D ...ینکه من آن را اقتباس کنم. اما، یکبار دیگر، بهنظر میرسد که من آن را وارد ریاضیات کردم. نمادی است که گاهی بهشکل ▯ است و برای نشان دادن پایان اثبات استفاده م ...۴ کیلوبایت (۱۹۶ واژه) - ۱۰ دسامبر ۲۰۲۲، ساعت ۰۷:۳۶
- {{اشتباه نشود|نفی تالی}}در [[ریاضیات]]، '''برهان عکس نقیض''' (به [[زبان انگلیسی|انگلیسی]]: Proof by contrapositi [[رده:برهانهای ریاضیات]] ...۴ کیلوبایت (۲۲۲ واژه) - ۲۱ ژانویهٔ ۲۰۲۳، ساعت ۰۷:۳۴
- در [[ریاضیات]] و [[منطق]]، '''اثبات مستقیم''' (به [[زبان انگلیسی|انگلیسی]]: Direct proof [[رده:برهانهای ریاضیات]] ...۵ کیلوبایت (۱۶۰ واژه) - ۳۰ دسامبر ۲۰۲۲، ساعت ۱۶:۵۱
- در [[ریاضیات]]، اثبات ریاضی (به [[زبان انگلیسی|انگلیسی]]: Mathematical proof) '''برهان'' ...دربر میگیرند که اکثراً باعث ایجاد ابهام میشود. در واقع، اکثر برهانها در ریاضیات نوشتاری، میتوانند به عنوان کاربردی از منطق غیر صوری بهشمار آیند. ...۱۳ کیلوبایت (۱۸۵ واژه) - ۲۵ مهٔ ۲۰۲۴، ساعت ۱۰:۰۹
- [[رده:برهانهای ریاضیات]] ...۹ کیلوبایت (۲۴۱ واژه) - ۲۴ اکتبر ۲۰۲۱، ساعت ۰۸:۱۷
- ...ص مانند جهان یا [[فرضیه چندجهانی]]، [[بیگ بنگ]]، [[خدا]]، [[ریاضیات|قوانین ریاضیات]]، [[قانون علمی|قوانین فیزیکی]]، [[زمان]] و [[خودآگاهی]]. این پرسش را میتو ...وف فیزیک «دین ریکلز»{{efn|Dean Rickles}} استدلال نموده که ممکن است ارقام و ریاضیات (یا قوانین زیربناییشان) الزاماً وجود داشته باشند.<ref>{{یادکرد وب |نشانی=h ...۲۴ کیلوبایت (۱٬۳۱۹ واژه) - ۱۸ فوریهٔ ۲۰۲۵، ساعت ۱۳:۵۲
- [[رده:برهانهای ریاضیات]] ...۹ کیلوبایت (۱۹۵ واژه) - ۱۰ ژانویهٔ ۲۰۲۳، ساعت ۲۱:۴۳
- [[رده:برهانهای ریاضیات]] ...۱۴ کیلوبایت (۷۹۵ واژه) - ۳ سپتامبر ۲۰۲۴، ساعت ۱۸:۳۳
- [[رده:برهانهای ریاضیات]] ...۱۷ کیلوبایت (۱٬۰۴۵ واژه) - ۲۴ فوریهٔ ۲۰۲۵، ساعت ۱۰:۱۵
- ...ضی را همراه با لذت و [[زیباییشناسی|زیبایی]] میدانند برای همین برای توصیف ریاضیات (یا حداقل برخی بخشهای آن) از صفت ''زیبا'' استفاده میکنند. برخی ریاضی را ب {{نقل قول|ریاضیات، در جایگاه واقعی خود نه تنها حقیقت را حکایت میکند بلکه در منتها الیه زیبای ...۲۳ کیلوبایت (۷۱۹ واژه) - ۱۲ دسامبر ۲۰۲۱، ساعت ۱۵:۳۵
- '''قضیه''' یا '''فَربین''' (به انگلیسی: Theorem)، در ریاضیات، [[گزاره]]ای است که بر پایه گزارههای پیشین مثل سایر قضایا یا تئوریها، گ ...گی بیان شود، اما اثبات آن ممکن است اتصال شگفتانگیز و ظریف بین مناطق مختلف ریاضیات را شامل شود. آخرین قضیه فرما مثال خوبی برای این گونه از قضایاست. {{مدرک}} ...۲۸ کیلوبایت (۱۱۹ واژه) - ۱۲ مهٔ ۲۰۲۴، ساعت ۱۱:۰۱
- [[رده:برهانهای ریاضیات]] ...۲۳ کیلوبایت (۸۱۱ واژه) - ۲ اکتبر ۲۰۲۳، ساعت ۱۰:۳۳