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

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

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

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

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

چکیده ندارد.

پروفسور چانگ ‏‎(c.c.chang)‎‏ در سال 1958 برای اولین بار مفهوم ‏‎-mv‎‏ جبر را برای اثبات تمامیت منطق لوکاسیویچ و تارسکی بطریق جبری، مطرح کرد و به بررسی خواص آن پرداخت. بعد از وی ریاضیدانان زیادی به تحقیق در این زمینه پرداختند.در این نوشتار ما در چهار فصل با بیان نمایش بولی (ضعیف) و ‏‎-mv‎‏ جبرهای ابرنرمال به بررسی خواص ‏‎‏‎-mv‎‏ جبرهای توابع پیوسته حقیقی مقدار روی فضای توپولوژیک ‏‎x‎‏ می پردازیم.