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

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

جبر باناخ a را n-میانگین پذیر ضعیف می نامیم هرگاه هر اشتقاق از a بتوی n-امین دوگان آن داخلی باشد. در این پایان نامه ابتدا نشان داده ایم که تحت چه شرایطی الحاقی دوم یک اشتقاق، یک اشتقاق است. سپس ثابت کرده ایم برای nهای بزرگ تر از 1، n-میانگین پذیری ضعیف **n، a-میانگین پذیری ضعیف a را نتیجه می دهد.اما برای حالت n=1 نشان داده ایم که تحت برخی شرایط می توان از میانگین پذیری ضعیف **a، میانگین پذیری ض...

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

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

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

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

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

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

عدد رنگی مساوی یک گراف با ‎chi _=(g) نشان داده می شود و عبارت است از کوچک ترین عدد صحیح ‎n‎ به طوری که مجموعه رئوس گراف ‎g‎ ا بتوانیم به ‎n ‎تا مجموعه ی مستقل افراز کرد و اختلاف اندازه رئوس در هر دو مجموعه ی مستقل(کلاس رنگی) حداکثر عدد یک باشد‎.‎ آستانه رنگی مساوی گراف ‎g‎ را با ‎chi ^*_=(gنشان داده می شود و عبارت است از کوچک ترین عدد صحیح ‎n‎ به طوری که گراف ‎g‎ برای همه ی ‎r geq n‎، r-‎رنگ پ...