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

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

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

یکی از نظریّات مهم در توجیه معرفت گزاره ای، نظریّه ی مبناگروی است. مبناگرایان، گزاره ها را به دو قِسم بدیهی یا پایه و غیربدیهی یا مستنتَج، تقسیم کرده و عمارت معرفت را بر اساس قِسم اوّل، یعنی بدیهیّات، بنا می کنند. ویژگی این گزاره ها آن است که نیازمند استدلال نبوده و خود، ذاتاً موجّه و بدیهی هستند. نظر شایع و مقبول نزد فلاسفه ی مسلمان، در باب توجیه، مبناگروی کلاسیک است. ایشان، تلاش کردند تا سرّ بداهت برخ...

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

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

در این رساله ابتدا به بررسی نتایج و قضایای نقطه ثابت وانطباقی برای نگاشت های انقباضی در فضاهای k-متریک می پردازیم. همچنین نتایج تعمیم یافته وتوسعه یافته ای را ارائه می دهیم که اخیراً توسط چودهاری و متیا بدست آمده است. در ادامه قضایایی را مطرح می کنیم که کاربردهای فراوانی در کامپیوتر و ریاضی دارند. در آخر، به اثبات چند قضیه برای نگاشت های –g غیرنزولی در فضای k-متریک با توجه به وجود یا عدم وجود ش...

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

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

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