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

فرض کنیم (r, m)یک حلقه موضعی با بعد کرول n و a ایده آلی از r باشد. دستیابی به نتایجی در صفر شدن و ناصفر شدن مدول های کوهمولوژی موضعی برای هر r-مدول m در جبر جابجایی و هندسه جبری از اهمیت بسزایی برخودار است. با توجه به قضیه صفر شدن گروتندیک به ازای هر i>n , i-امین مدول کوهمولوژی موضعی m نسبت به ایده آل a برابر با صفر است. یک شرط لازم و کافی برای صفر شدن n- امین مدول کوهمولوژی موضعی r نسبت به...

رابطۀ فرهنگ دینی و فنّاوری، از جمله موضوعاتی است که برای تحقق جنبش نرم افزاری، نهضت تولید علم، معرفی سبک زندگی اسلامی و در نهایت، تمدن سازی ضرورت ویژه ای دارد. این مسئله که متأسفانه تاکنون ابعاد و زوایای آن به طور دقیق بررسی نشده است، مستلزم دانستن مبانی و پیش فرض های فنّاوری از یک سو و همچنین آثار، لوازم و پیامدهای آن از دیگر سو و سپس نقد دینی هر کدام است.هدف: هدف این مقاله با توجه به محدودیتی ک...

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

قضیه بورسوک-اولام و قضیه نقطه ثابت براوئر هر دو از قضیه های شناخته شده در توپولوژی هستند و هر دو غیر ساختاری و وجودی به شمار می آیند. بیشتر کتابهای درسی این قضیه ها را بدون ذکر رابطه آنها با یکدیگر بیان کرده اند. با وجود این ثابت می شود که قضیه بورسوک-اولام، قضیه نقطه ثابت براوئر را نتیجه می دهد. در این مقاله این نتیجه را با روشی مستقیم ثابت می کنیم.

فرض کنیم g یک گروه h زیر گروه g باشد و فرض کنیم s یک تقاطع راست از h در g باشد مجموعه تمام تقاطع های راست h در g را با نماد r(g, h) مشخص می کنیم در حالت خاص اگر h در g نرمال باشد آنگاه همه تقاطع های راست h در g با هم ایزومورف می شوند اما سوالی که مطرح است اینست که آیا اگر همه تقاطع های راست h در g ایزومورف باشد آنگاه h در g نرمال می شود؟ -h را کاملا پایدار گوئیم اگر همه تقاطع های راست h در g ای...

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

در این مقاله با استفاده از مدل استاندارد رأی‌دهنده میانه تغییرات مخارج بخش عمومی در اقتصاد ایران طی سال‌های (1390-1360) مورد بررسی و تحلیل تجربی قرار گرفته است. فرض می‌شود که رأی دهنده میانه توهم مالی دارد.، در این راستا برای تخمین مدل تحقیق و آزمون قضیه رأی‌دهنده میانه از روش‌های هم‌انباشتگی چند متغیره و مدل خودرگرسیون برداری با وقفه‌های گسترده (ARDL) برای آزمون قضیه رأی‌دهنده میانه استفاده شد...

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

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