چکیده ندارد.

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

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

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

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

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

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

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