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

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

بعلاوه این نتایج به فضاهای cat(0) تعمیم داده می شوند. همچنین نتایجی درباره نقاط ثابت و همگرایی تکرار مان-گونه نگاشت های سوزکی-نامبسوط تعمیم یافته در فضاهای cat(0) ارایه می گردند.

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

مجموعه ی همه ی زیرفضاهای یک فضای برداری را هندسه ی تصویری از مرتبه ی روی میدان متناهی نامیده و با ‎‎‏نشان می دهند. تابع یک متر روی هندسه ی تصویری ‎‎‏تعریف می کند. یک زیرمجموعه از یک کد زیرفضا نامیده می شود.برای هر عدد ثابت نامنفی مجموعه ی همه ی زیرفضاهای بعدی از گراسمانیان نامیده می شود و با نشان داده می شود. اگر یک کد زیرفضا زیرمجموعه ای از گراسمانیان باشد آن را یک کد با بعد ثابت می نامند. کده...

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

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

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

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

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