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

هدف این پایان نامه مطالعه ی برخی ویژگی های جبرهای هیلبرت نسبت به ترتیب طبیعی می باشد. در این پایان نامه ارتباط میان جبرهای هیلبرت با اینفیمم و جبرهای هرتز ساخته می شود.

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

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

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

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

نشان می دهیم که به هر رابطه سه تایی مرکزی ‎ t ‎ روی مجموعه ‎ a ‎ می توان (به یک روش غیر منحصر به فرد) یک عمل سه تایی ‎ t ‎ روی ‎ a ‎ اختصاص داد. بطوریکه برابری هایی که توسط ‎ (a;t) ‎ ارضاء می شود, نشان دهنده خواص رابطه ای ‎ t‎ باشد‎.‎ سپس عمل های سه تایی اختصاص داده شده به روابط سه تایی مرکزی را دسته بندی کرده و نشان می دهیم, مفهوم زیر دستگاه های رابطه ای و همریختی ها چگونه با زیرجبرها و همریخ...

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

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

چکیده فرض کنیدg=(v,e) گرافی همبند و بدون جهت باشد و r?1 عددی صحیح باشد. زیرمجموعه ای از رئوس مانند c?v را در نظر بگیرید. به ازای هر راس v?v مجموعه b_r (v) را به صورت b_r (v)={x?v: d(x,v)?r} تعریف می کنیم. اگر به ازای هر راسv?v، همه مجموعه های b_r (v)?c ناتهی و دو به دو متمایز باشند، آن گاه c را کدr-شناسایی می نامیم. اگر به ازای هر راسv?vc ، همه مجموعه های b_r (v)?c ناتهی و دو به دو متمایز باشن...