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

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

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

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

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

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