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

هرچند پیشینۀ نسبت‌های چهارگانه میان مفاهیم به ارسطو و فرفوریوس می‌رسد، به منزلة یک تقسیم منطقی از نوآوری‌های منطق‌دانان مسلمان بوده و برای نخستین‌بار در آثار فارابی، غزالی، فخر رازی و خونجی و به صورت‌های متفاوت به علم منطق معرفی شده است. از آن‌جا که تقسیم‌های فارابی، غزالی و فخر رازی، به‌ترتیب، دچار مغالطه‌های «عدم انسجام»، «عدم مانعیت» و «تداخل اقسام» بودند مورد پذیرش منطق‌دانان بعدی قرار نگرف...

بیماری های قلبی عروقی از مهم ترین علل مرگ و میر زنان پس از یائسگی است. هدف از پژوهش حاضر بررسی برخی از شاخص¬های همودینامیکی قلبی عروقی زنان یائسه ورزشکار در چهار رشته ورزشی یوگا، ایروبیک، شنا و کوهنوردی بود. مواد و روش¬ها: آزمودنی¬ ها را زنان یائسه ورزشکار (فعال در رشته ¬های شنا، ایروبیک، کوهنوردی و یوگا) شهر مشهد که حداقل 5 سال سابقه فعالیت ورزشی منظم داشته¬اند (در هر گروه 10 نفر)، تشکیل دادند...

پژوهش حاضر به منظور ارزیابی سطح کیفیت خدمات کتابخانه های دیجیتال دانشگاه های دولتی شهر تهران بر اساس مدل دیجی کوال انجام گرفت. با توجه به جامعه و شرایط پژوهش برخی از معیارهای اصلی مدل دیجی کوال حذف گردید. بر این اساس از بین 183 سوال مدل دیجی کوال، 123 سوال انتخاب شدند و مبنای دو پرسشنامه (پرسشنامه کتابداران و پرسشنامه مدیر) و سیاهه وارسی را تشکیل دادند. پس از تأیید روایی و پایایی آنها، پرسشنامه...

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

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

با توجه به این که منشا برخی از اختلالات روانی بر اثر تغذیه ناسالم و عدم تعادل اخلاط چهارگانه می باشد، و با تغذیه سالم و شناختن مزاج بر اساس اخلاط چهارگانه که کدام یک از این اخلاط بر بدن غالب هستند و ایجاد اعتدال بین این اخلاط بیماری های روحی و روانی را کاهش می‎دهد، لذا این پژوهش به بررسی اثر بخشی مزاج های چهارگانه (دم – صفرا – سودا – بلغم) بر روی سلامت روان دانشجویان پرداخت. پژوهش حاضر از لحاظ ...