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

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

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

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

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

تحقیقات زیادی تاثیر پیچیدگی فعلیت محوری را بر روی عملکرد زبانی فراگیران از بعد روانی و درستی کلام مورد بر رسی قرار داده است. علیرغم این,به تاثیر پیچیدگی فعلیت محوری در کنار عامل زمانبند توجه زیاد نشده است. برای بررسی تاثیر پیچیدگی فعلیت محوری و زمانبندی بر روی بیان شفاهی فراگیران, 40 نفر از زبان آموزانیکه در کانون شاهد تبریز مشغول به تحصیل بوده اند بصورت تصادفی انتخاب کرده و به 2 گروه زمانبندی ...

در ایـن پژوهش، تأثیر آموزش بر پیشرفت سرعت و درستی راهبردهای عملیات جمع بررسی شد. هفتاد و یک دانش آموز پسر کلاس اول به صورت تصادفـی در دو گروه آزمایشی و کنتـرل قرار گرفتند و با فرم الف آزمون تفاوتهای فردی در انتخابهای راهبرد جمع (کرکمن و سیگلر، 1997) از نظر میانگین مدت زمان پاسخ و فراوانی پاسخهای درست ارزیابی شدند. گروه آزمایشی به مدت سه ماه (15 جلسه 45 دقیـقه ای) در معرض آمـوزش راهبردهای بازیاب...

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