دراین پایان نامه با به کار گرفتن متناقض نمای گرلینگ از عبارات خونامصداق، یک اثبات معنایی از قضیه ی دوم ناتمامیت گودل ارائه می کنیم. برای نظریهt شامل zf جمله het_t را می سازیم که به طور شهودی بیان می کند محمول "خودنامصداق" خودش، خودنامصداق است. نشان می دهیم که این جمله از t نتیجه نمی شود و با سازگاری t معادل است. بالاخره نشان می دهیم چگونه یک برهان ناتمامیت مشابه برای حساب پئانو بسازیم.

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

در این پژوهش به بررسی مواد و مصالح به کار رفته در اجرای تزئینات گچ�بری خانه�ی شهشان پرداخته شده است. خانه�ی شهشهان در خیابان ابن�سینا واقع در اصفهان، یکی از ابنیه�ی ارزشمند برجای مانده از دوره�ی قاجار است. پس از معرفی بنا و تزئینات گچ�بری آن، به شناسایی مصالح به کار رفته در اجرای تزئینات مذکور پرداخته شده که این مهم با استناد به آزمایش�های دستگاهی و شیمی تر انجام شده است. لایه�های زیرین با استن...

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

بررسی تاثیر نوسانات قیمت نفت بر متغیرهای کلان اقتصادی از موضوعات مورد توجه اقتصاددانان در کشورهای صادرکننده نفت می باشد. مطالعه حاضر به بررسی تاثیر نوسانات قیمت نفت بر اشتغال صنایع منتخب انرژی بر در ایران در بازه زمانی 1386-1374 پرداخته و تاثیر متغیرهای سیاست پولی و سرمایه گذاری را نیز مورد توجه قرار می دهد. در مطالعه حاضر کارگاه های بزرگ صنعتی (ده نفر نیروی کار به بالا) به تفکیک کدهای isic طی ...

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

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

در این پژوهش، تأثیر مقادیر متفاوت پراکسید هیدروژن و زمان ‏های متفاوت در رنگ‏بری مخلوط خمیرکاغذ مرکب‏ زدایی شدۀ کاغذ روزنامه و مجلۀ باطله با پراکسید هیدروژن بررسی شد. مخلوط کاغذهای بازیافتی ابتدا به روش متداول شیمیایی خمیرکاغذسازی شدند و سپس با شناورسازی مرکب‏ زدایی شدند. در ادامه، خمیرکاغذهای مرکب ‏زدایی شده (نسبت مخلوط 70 درصد روزنامه و 30 درصد مجله) با پراکسید هیدروژن تحت شرایط فرایندی ثابت ب...

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

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