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

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

هدف ما در این پایان نامه مطالعه ی منطق اثبات ها و برخی گسترش های آن است. منطق اثبات ها (cp) ابتدا توسط آرتموف در سال 1994 مطرح گردید. یکی از انگیزه های شکل گیری منطق اثبات هاارایه ی یک معنا شناسی اثبات پذیری دقیق برای s4 و صوری کردن تعبیر bhk برای منطق شهودی بود. cp گسترشی از منطق گزاره ای کلاسیک است که زبان آن علاوه بر نمادهای منطق گزاره ای شامل عملگرهای اثبات می باشد. در این پایان نامه ضمن بی...

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

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

هدف در این رساله معرفی موجک های پذیرفتنی روی فضاهای همگن می باشد که برای این منظور نمایش انتگرال پذیر مربعی از فضای همگن ‎$g/h$‎ به فضای هیلبرت ‎$mathcal{h}$‎ را تعریف می کنیم و سپس موجک پذیرفتنی روی این نمایش از فضای همگن ‎$g/h$‎ نسبت به اندازه به طورنسبی پایا معرفی می گردد. تبدیلات موجک پیوسته برای نمایش انتگرال پذیر مربعی از فضای همگن تعریف می شود و نشان داده می شود برد آن به عنوان یک هسته ب...

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