بررسی و نقد مصداق اهل‌بیت در صحاح ستّه[1] حمیدرضا شجاعی‌فرد[2] چکیده باتوجه به فضایل بی‌نظیر اهل‌بیت در قرآن و روایات و وصیت رسول خدا (ص) به امت درباره اهل‌بیتش (حدیث ثقلین)، تعیین و شناخت مصداق این اصطلاح، مقدمه نجات امت از گم‌راهی‌هاست. تعیین این مصداق در صحاح سته که از وثوق قطعی نزد فرقه‌های اهل‌سنت برخوردار است، باتوجه به خود روایات صحاح و بررسی عقلی آنها، برای شناخت حقیقت دور از تعصب سودمند...

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

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

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

حلقه ی توابع حقیقیمقدار پیوسته از یک فضای تیخونوف،(c(x، ابزاری بسیار کارآمد برای توسعه ی همزمان و ایجاد ارتباط بین دو شاخه ی جبر توپولوژی است. ما در این پایان نامه به طور ویژه این حلقه را مورد توجه خود قرار داده و هدفمان ارائه ی روشی برای حل مسئله ای است که به وسیله ی ام هنریکسن و ام جریسون درباره ی فضای ایده آل های اول مینیمال در سال 1961 و 1965 مطرح شد. ام هنریکسن و ام جریسون در سال 1961 پرسی...

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

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

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

حدیث‌سالاری یا ترجیح مقتضای احادیث بر مقتضای ظاهر آیات قرآن کریم، در برخی از تعابیر محدثان دیده می‌شود که در مفهوم نظری و از حیث مصداق و نمونه نیازمند بررسی است. در زمینه مصداق‌یابی، شاید بتوان تفسیر «ظلم» به «شرک» در سوره انعام را یکی از بارزترین مصادیقی برشمرد که ریشه در حدیث­‌سالاری دارد. «ظلم» در آیه 82 سوره انعام به‌صورت نکره در سیاق نفی استعمال شده و تعمیم معنا را افاده می‌کند، ولی با تکی...

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