قضیه فارکاش یکی از قضایای آلترناتیو (این یا آن) است که کاربردهای مختلفی از جمله اثبات بهینگی در برنامه ریزی خطی و غیرخطی و اثبات قضایای دوگانی در برنامه ریزی خطی دارد. در این مقاله به بیان این قضیه و برخی صورتهای معادل و اثبات های مختلفی از آن می پردازیم.

در این مقاله دو مدعای منطق ریاضی، مبنی بر: 1) وجودی بودن همه قضایای جزئیه. 2) شرطی بودن همه قضایای کلیه، نخست مورد بررسی و نقد قرار گرفته، سپس موضع منطق قدیم در این باب مطرح شده است. نتیجه به‌دست آمده آن است که هیچ یک از دو مدعای فوق به صورت موجبه کلیه درست نیست.

از یک مدول دلخواه یک حلقه ی جابه جایی می سازیم. و به جای بررسی زیرمدول ها ایده ال های این حلقه را بررسی می کنیم. نشان می دهیم خواص مهمی چون حذفی بودن ضربی بودن معکوس پذیری و ...منتقل میشود.

غرض از نگارش نوشتار حاضر، ارائه ی تحلیلی مستدلّ و مستند از دو طبقه بندی مهم منطقی است؛ یکی تقسیم قضیه ی مسوّره به حقیقیه و خارجیه و دیگری تقسیم قضیه ی حملیّه ی موجبه به حقیقیه، خارجیه و ذهنیه. تداخل این دو طبقه بندی به دلیل اشتراک در عنوان، در طول تاریخ موجب بروز اشکالات و ابهامات متعددی در فهم علم­شناسی قدما شده است. در پژوهش حاضر، با اشراف بر تطوّر تاریخی هر دو طبقه بندی و با اخذ روی­آوردی منطقی ...

سال های اخیر، حوزه ی قابلیت اعتماد سیستم های منسجم توجه بسیاری از پژوهشگران را به سوی خود جلب کرده است. در این تحقیق یک کران پایین با استفاده از مسیر های مینیمال و یک کران بالا با استفاده از قطع کننده های مینیمال برای قابلیت اعتماد سیستم های منسجم در حالتی که مولفه ها مستقل (نه الزاما مشابه) هستند به دست آورده شده است. تلفیق این کران ها با کران های ایزاری و پروشان (1963) زمینه ی ارایه ی برخی از...

احراز صدق اولیات ازجمله دغدغه های مهم معرفت شناختی است. ابن سینا این قضایا را بدیهی الصدق می داند (نظریه کلاسیک). از میان متأخران، مصباح یزدی این راه حل را کافی ندانسته و به آن اشکال وارد کرده است. از نظر وی احراز صدق و کلیت حقیقی این قضایا در گروی فرارَوی از مفاهیم و به کار گرفتن علم حضوری است و این گونه می توان اطمینان حاصل کرد که اولیات بافته های ذهن نیستند، بلکه حقایقی عینی و کلی هستند. مقال...

در مقاله حاضر اثر وجود شالوده های سطحی در بالادست شیبها بر روی نتایج محاسبات پایداری شیروانیها و شکل مکانیسم گسیختگی در حالات استاتیکی و لرزه ای مورد بررسی قرار گرفته است . تحلیل یک شیب در شرایطی که شالوده ای سطحی در بالادست آن قرار دارد مسئله ای سه بعدی است که در حال حاضربدلیل پیچیدگی مسئله و در دسترس نبودن نرم افزار مناسب، مهندسان آن را غالباً به صورت دوبعدی تحلیل میکنند. در این مقاله روند متد...

توجه به تغییرات اقلیمی در سال های اخیر به علت پیامدهای اقتصادی، اجتماعی و خسارات مالی مربوط به رویدادهای حدی جوی اهمیت زیادی پیدا کرده است. در اکثر مطالعات توجه به تغییر اقلیم فقط در صدد آشکارسازی روندهای پتانسیلی یا نوسانات در متوسط طولانی مدت علائم اقلیمی است؛ اما مطالعه تغییر پذیری و تغییر رفتار رویدادهای حدی جوی نیز مهم می باشد. برای بررسی رویدادهای حدی، شاخص های اقلیمی حدی برای داده های سط...

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

تفاوت قضایای تحلیلی و ترکیبی و کاربرد­های هر یک از آنها از مسائل مهم معرفت­شناسی و فلسفة تحلیلی است که ابتکار آن به نام «امانوئل کانت» رقم خورده­ است. بررسی سابقة این تقسیم و معرفی لایب نیتس به عنوان مبتکر واقعی آن اولین بحثی است که در این نوشته آمده­ است. تعریف قضایای تحلیلی و ترکیبی از نظر آیت الله مصباح یزدی و همچنین تعریف حمل ذاتی اولی و حمل شایع صناعی از منظر ایشان بحث بعدی این نوشتار است....