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

زمینه و هدف: صنایع نیشکر به دلیل مصرف بالای سوخت های فسیلی جزو صنایع انرژی بر محسوب می گردندکه این امر تأثیر ملموسی بر محیط زیست و میزان انتشار گازهای گلخانه ای دارد. سهم صنعت قند و شکر از مصرف سوخت در میان سایر صنایع 3/4% بوده و صنعت قند و شکر بیش از 70 درصد از مصرف سوخت کل صنایع غذایی را به خود اختصاص داده است. هدف از اجرای این تحقیق ، بررسی میزان سود آوری و بهره گیری از مکانیسم توسعه پاک بر ...

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

هدف اصلی این پژوهش بررسی یکی از اثرات زیان بار اقتصادی ربا، با رویکردی مالی- حسابداری می باشد. از این‌رو، پژوهش حاضر در پی یافتن پاسخی برای این پرسش است که آیا پدیده ربا می تواند دارای اثرات زیانبار اقتصادی باشد یا خیر؟ در این پژوهش به شیوه ای قیاسی، اثر منفی ربا بر حجم سرمایه گذاری با رویکردی مالی-حسابداری مورد بررسی قرار گرفته است؛ به این ترتیب که با رویکردی قیاسی در قالب مدلهای مالی، شامل؛ ا...

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

در این پروژه به بررسی پتانسیل برهمکنشی کل و اهمیّت معادله حالت هسته ای در واکنشهای همجوشی پرداخته ایم. بدین منظور مطالعاتمان را برروی سه دسته از واکنشهای همجوشی معطوف کرده ایم: واکنشهای همجوشی با هسته های نیمه سنگین- نیمه سنگین متقارن (ni64 + ni64 و ni58 + ni58) 2- واکنشهای همجوشی با هسته های سبک - نیمه سنگین نامتقارن (zr92 + c12، zr92 + o16، zr92 + si28 و zr92 + cl35) 3- واکنشهای همجوشی با هسته...

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

چکیده هدف مقاله‌ی حاضر، بررسی رابطه بین تورم و نااطمینانی تورمی با استفاده از رگرسیون چرخشی مارکوف بر اساس اطلاعات ماهانه شاخص قیمت مصرف کننده‌ در ایران، طی دوره 1391:6-1369:10 می‌باشد. برای رسیدن به این هدف نااطمینانی تورمی بر اساس الگوی واریانس ناهمسانی شرطی خود بازگشت‌کننده تعمیم یافته برآورد شده است. نتایج حاصل از تخمین ضرایب الگوی خود بازگشت کننده چرخشی مارکوف نشان می‌دهد که سری زمانی نر...

چکیده هدف مقاله‌ی حاضر، بررسی رابطه بین تورم و نااطمینانی تورمی با استفاده از رگرسیون چرخشی مارکوف بر اساس اطلاعات ماهانه شاخص قیمت مصرف کننده‌ در ایران، طی دوره 1391:6-1369:10 می‌باشد. برای رسیدن به این هدف نااطمینانی تورمی بر اساس الگوی واریانس ناهمسانی شرطی خود بازگشت‌کننده تعمیم یافته برآورد شده است. نتایج حاصل از تخمین ضرایب الگوی خود بازگشت کننده چرخشی مارکوف نشان می‌دهد که سری زمانی نر...

زمینه و هدف: صنایع نیشکر به دلیل مصرف بالای سوخت های فسیلی جزو صنایع انرژی بر محسوب می گردندکه این امر تأثیر ملموسی بر محیط زیست و میزان انتشار گازهای گلخانه ای دارد. سهم صنعت قند و شکر از مصرف سوخت در میان سایر صنایع 3/4% بوده و صنعت قند و شکر بیش از 70 درصد از مصرف سوخت کل صنایع غذایی را به خود اختصاص داده است. هدف از اجرای این تحقیق ، بررسی میزان سود آوری و بهره گیری از مکانیسم توسعه پاک بر ...