زیر نظریه استقراء باز oi از حساب پئانو در زبان مرتبه اول حلقه های یکدار مرتب ، از افزودن اصل موضوعی استقراء روی فرمولهای خالی از سور به مجموعه اصول حلقه های جابجایی یکدار گسسته مرتب حاصل می شود. نظریه استقراء باز نرمال noi، گسترش oi توسط قالب اصل موضوعی بیان کننده به طور صحیح بسته بودن حلقه در میدان کسرهای خود می باشد. در سال 1991، بوگاتا در مقاله خود در j.s.l متناهیا اصل ناپذیری oi را ثابت کرد...

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

هدف تحقیق حاضر بررسی رابطه بین مهارتهای فراشناختی وهوش معنوی دربین دانشجویان دانشگاه پیام نوراسفراین می باشد. تعداد 287 نفر به عنوان نمونه تحقیق با استفاده از روش نمونه گیری طبقه ای مرحله ای انتخاب شدند. جهت سنجش فراشناخت ازپرسشنامه ولزوکارترایت (2004) و برای سنجش هوش معنوی از آزمون 29سوالی عبدالله زاده (1387) استفاده شد. نتایج تحلیل با روش همبستگی نشان داد که بین مهارتهای فراشناختی و هوش معنوی...

هدف تحقیق حاضر بررسی رابطه بین مهارتهای فراشناختی وهوش معنوی دربین دانشجویان دانشگاه پیام نوراسفراین می باشد. تعداد 287 نفر به عنوان نمونه تحقیق با استفاده از روش نمونه گیری طبقه ای مرحله ای انتخاب شدند. جهت سنجش فراشناخت ازپرسشنامه ولزوکارترایت (2004) و برای سنجش هوش معنوی از آزمون 29سوالی عبدالله زاده (1387) استفاده شد. نتایج تحلیل با روش همبستگی نشان داد که بین مهارتهای فراشناختی و هوش معنوی...

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

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

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