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

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

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

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

چکیده ندارد.

چکیده ندارد.

چکیده ندارد.

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

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

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