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

بررسی هم بستگی بین پارمترهای نیاز مهندسی و معیارهای شدت مختلف دارای اهمیت زیادی در مهندسی زلزله عملکردی برای تخمین نیاز لرزه ای سازه می باشد. در این تحقیق نیاز لرز ه ای خطوط لوله فولادی مدفون پیوسته با توجه به روشی مبتنی بر عملکرد مورد بررسی قرار گرفته است. تحلیل دینامیکی فزاینده بر روی دو لوله فولادی مدفون با قطر به ضخامت (d/t) ، عمق دفن به قطر (h/d) و فشار داخلی متفاوت و نیز مشخصات خاک مختلف ...

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

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

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

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

خط مشی یارانه ای ایران پس از حدود 30 سال، در آخرین ایستگاه به تصویب و اجرای «قانون هدفمندی یارانه ها» رسید. پژوهش حاضر قصد داشت فرایند این تغییر عمدۀ خط مشی یارانه ای ایران را با تکیه بر «چهارچوب ائتلاف مدافع» تبیین کند. طرح این پژوهش شامل جهت گیری فلسفی پساتحصّل گرایی، استراتژی مطالعه موردی، و روش تحلیلی «ردیابی فرایند» است. شواهد و سرنخ های برآمده از مصاحبه با 7 تن از نخبگان خط مشی و نیز اسناد...