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

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

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

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

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

هدف این پژوهش، بررسی تأثیر آموزش مبتنی بر مسائل باز-پاسخ بر توانایی حل مساله ی دانش آموزان دختر پایه هفتم دوره ی اول متوسطه است. این پژوهش نیمه آزمایشی از نوع پیش آزمون- پس آزمون با گروه گواه می باشد. جامعه آماری این تحقیق شامل کلیه دانش آموزان دختر پایه هفتم دوره اول متوسطه شهر باغبادران در سال تحصیلی 93-92 می باشد. حجم نمونه متشکل از 62 نفر دانش آموز دختر پایه هفتم دوره اول متوسطه است که 32 ن...

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

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

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