نتایج جستجو برای: قضیه وابستگی منطقی
تعداد نتایج: 21647 فیلتر نتایج به سال:
در این نوشته، برهانی غیر از برهان استاندارد برای قضیه کیلی - همیلتن ارائه می شود که بر مبنای استفاده از سری های توانی صوری استوار است.
در این رساله قضیه شور مورد بررسی قرار گرفته است که ارتباط گروه خارخ قسمتی مرکزی وزیرگروه مشتق را از حیث متناهی بودن بررسی می کند.
خونجی و پیروان وی، با اثرپذیری از فخر رازی، قضیه محصور را به دو قسم حقیقی و خارجی تقسیم کرده اند. ابهری قسم سومی را تحت عنوان «ذهنی» به دو قسم پیش گفته اضافه می کند. خواجه طوسی و پیروان وی با طرح دیدگاه رقیب به ردّ دیدگاه خونجی می پردازند. تحلیل و تبیین تطوّر تاریخی طبقه بندی گزاره حملی به حقیقی، خارجی، و ذهنی مسئله تحقیق حاضر است. در پرتو تحلیل و تبیین تاریخی این تقسیم بندی، روشن می شود که در ای...
قضیه مورلی حاکی است که نقاط برخورد خطوط مجاور اضلاع تثلیث کننده سه زاویه داخلی هر مثلث تشکیل یک مثلث متساوی الاضلاع می دهند. این مساله ابتدا در سال 1899 توسط فرانک مورلی مطرح گردید و تاکنون اثباتهای متعددی برای آن ارائه شده است. در این مقاله راه حل زیبایی که توسط آلن کن برنده مدال فیلدز در سال1998 ارائه شده است، تشریح می گردد.
انسانها، به طور طبیعی، دارای استعدادی هستند که به وسیلة آن می توانند در مورد اشخاص یا اشیاء جزئی موجود حکم صادر کرده یا تصدیقی انجام بدهند. آنان در موقعیتهای گوناگون و به دلایل مختلف، احکام و تصدیقات خود را در قالب الفاظ مرکب، نظیر جمله های حملیه، تعبیر می کنند، مثلاً: «حافظ شاعر است» و «شما در حال خواندن هستید» در مواقعی نیز، انسانها، به احکام و تصدیقاتی دربارة معدومات نائل می شوند؛ که آنها را ...
دستکند گونهای خاص از معماری بهشمار میرود که در برخی نقاط ایران و جهان دامنة کوهها تپهها شکل گرفته بدون استفاده مصالح مصنوعی فقط با حفاری دل طبیعت برای تولید فضا به کار رفته است. یکی شاهکارهای ایرانی محسوب میشود نیز توانسته هنری فاخر معرفی شود. بنابراین پرداختن نحو چیدمان این نوع معماری، مشتمل بر سکونتگاههای خاص، امری مهم درخور اهمیت پژوهش حاضر روابط فضایی خانههای دو روستای کندوان میمند...
قضیه فارکاش یکی از قضایای آلترناتیو (این یا آن) است که کاربردهای مختلفی از جمله اثبات بهینگی در برنامه ریزی خطی و غیرخطی و اثبات قضایای دوگانی در برنامه ریزی خطی دارد. در این مقاله به بیان این قضیه و برخی صورتهای معادل و اثبات های مختلفی از آن می پردازیم.
قضیه یک نوع ادبی طنزآمیز است که به ابتکار صادق هدایت در کتاب وغ وغ ساهاب پدید آمده و با وجود ظرفیت زیاد آن برای کاربرد در طنزپردازی، هنوز مورد بازشناسی دقیق و پیروی جدی قرار نگرفته است. در قضیه با نوع ادبی کلی تر نقیضه مواجه ایم؛ ضمن اینکه مختصات زبانی، شکلی و محتوایی آن، برجستگی خاصی به آن داده است. دو شگرد برخورد عامیانه با شعر و تخریب عمدی وزن و قافیه نیز هرچه بیشتر به این برجستگی دامن زده و...
در این مقاله، اثباتی شهودی و در عین حال به اندازه کافی دقیق از قضیه کلاسیک گاوس- بونه ارائه می کنیم. این اثبات کاملا طبیعی است و در آن از زبان هندسه ذاتی و مفاهیمی چون مشتق همورد و ضرایب کریستوفل و حتی مفهوم ژئودزیک استفاده نمی شود. تا کنون مقالات بیشماری درباره این قضیه به رشته تحریر درآمده است و احتمال وجود اثری مشابه یادداشت حاضر در گوشه ای از این مجموعه گسترده غیرممکن به نظر نمی رسد.
حلقه ها منبع اصلی موازی سازی در بسیاری از کاربردها می باشند، بنابراین امروزه کشف موازی سازی بین دستورات در حلقه های تودرتو موضوع بسیار مهمی است. وابستگی بین دستورات و تکرار حلقه ها باعث به وجود آمدن تعدادی چرخه در گراف وابستگی می شود که مانع از اجرای برنامه به صورت موازی می شوند. از آنجا که مسئله ی تشخیص مجموعه ی کمینه از وابستگی های بحرانی در یک چرخه ی وابستگی حلقه ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید