چکیده ندارد.

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

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

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

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

مفاهیمی همچون برخال، آشوب تاثیر بسیاری بر گسترش شناخت ما از رفتار سامانه­های پیچیده و فراسنج­های آب و هوایی غیر خطی گذاشته­اند. در این راستا در این پژوهش، دینامیک نوسانات فراسنج­های آب و هوایی کمینه و بیشینه دما، رطوبت و سرعت بیشینه باد، در ایستگاه همدید شیراز در بازه زمانی بلند مدت 58 ساله (1956-2013) با رویکرد برخالی مورد بررسی قرار گرفت. بدین منظور پس از هم مرجع سازی ریاضی فراسنج­های مختلف ب...

در این پایان نامه ارتباطی بین معناشناسی اندازه بنیاد دانا اسکات برای منطق وجهی s4 و منطق توپولوژیک دینامیک، برقرار خواهد شد. منطق s4c در سیستم های توپولوژیک دینامیک یا فضاهای توپولوژیک با تابع پیوسته روی فضای مورد نظر، تعبیر می شود. دانا اسکات زبان منطق s4 را در جبر اندازه لبگ یا سیکما جبر زیرمجموعه ی بورل [0,1] به پیمانه مجموعه هایی با اندازه ی صفر، که در آن مربع- وجه با عملگر درون روی جبر ا...

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