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