نتایج جستجو برای: ابر ایده آل bck ضعیف
تعداد نتایج: 25416 فیلتر نتایج به سال:
یکی از سوالات باز اساسی در نظریه پیوند این است که آیا هر ایده آل کوهن-مکالی همگن در یک حلقه چندجمله ای در یک کلاس پیوند گرنشتاین از یک مقطع کامل است. در اینجا، به این سوال در حالتی که ایده آل نامبرده ایده آل استنلی-رایزنر یک مجتمع سادکی به طور ضعیف رأس-تجزیه پذیر باشد جواب مثبت داده می شود. این رده از مجتمع های سادکی شامل مترویدها، انتقال یافته ها و گرنشتاین ها است. بعلاوه، با ساخت یک مجتمع ...
هدف از ارائه این مقاله ارائه یک رویکرد سازشی به منطور حل مسائل برنامه ریزی چندهدفه مقیاس بزرگ با ساختار بلوکی زاویه دار تحت شرایط عدم قطعیت می باشد.با بهره گیری از این روش، یک مساله با ابعاد بزرگ به چندین مساله با ابعاد کوچکتر تجزیه می گردد. سپس با به کار بردن روش تاپسیس و و تشکیل توابعی که نشان دهنده میزان دوری از ایده آل های منفی و میزان نزدیکی به ایده ال های مثبت می باشند، هریک از مسائل تجزی...
In this paper the notion of fuzzy dot BCK-subalgebra is introduced. We state and prove some theorem in fuzzy dot BCK-subalgebra and level subalgebras. Mathematics Subject Classification: 06F35, 03G25, 94D05
This paper deals with some properties of n-fold commutative ideals and n-fold weak commutative ideals in BCK-algebras. Afterwards, we construct some algorithms for studying foldness theory of commutative ideals in BCK-algebras.
We associate to any game G, in the sense of Set Theory, a variant of it we call bck(G). We show through examples that many relevant non-constructive proofs in Algebra and Combinatorics can be interpreted by recursive winning strategy over some game of the form bck(G). We further support this claim by proving that games of the form bck(G) are a sound and complete semantic for a sub-classical log...
فرض کنید r یک حلقه ی جابجایی و یکدار باشد. اصل ایده آل اول بیان می کند که اگر f یک خانواده ی آکو یا اوکا از ایده آل های r باشد، آنگاه(max(f?) ? spec(r که در آن f مکمل f است. فرض کنیم f یک خانواده ی نیم فیلتر از ایده آل های r باشد و هر زنجیره غیرخالی در f (با رابطه ی شمول) دارای کران بالایی در f باشد، در این صورت همه ی خواص مذکور در دیاگرام استنباطی زیر معادل هستند: (p?) =? (p?) =? (p?) =? str...
sz0-ایده آل ها بر حلقه چندجمله ای ها بی شک یکی از زیباترین پیوندهای جبر و توپولوژی در ساختار (c(x ظاهر می شود که متشکل است ازتمام توابع پیوسته حقیقی مقدار روی فضای توپولوژی x . این ساختار با دو عمل معمولی جمع و ضرب توابع ، تشکیل یک حلقه می دهد که به حلقه توابع پیوسته معروف است .در مبحث حلقه توابع پیوسته، هدف اصلی ، هدف اصلی ، بررسی ارتباط خواص توپولوژی x و خواص جبری (c(x است .
در ابتدا با ارائه مفهوم رشته های منظم تعمیم یافته و ویژگی های آن به معرفی مفهوم عمق تعمیم یافته یک ایده آل پرداخته ایم. سپس ارتباط مفهوم عمق تعمیم یافته یک ایده آل را با مدول های کوهمولوژی موضعی از قبیل صفر شدن، آرتینی و متناهی بودن محمل آن، بیان و اثبات کرده ایم. با فرض اینکه k یک عدد صحیح بزرگتر یا مساوی با 1- باشد مفهوک k-رشته های منطم را آورده ایم. در نهایت مفهوم k-مدول های را به عنوان تعمی...
We investigate quantitative properties of BCI and BCK logics. The first part of the paper compares the number of formulas provable in BCI versus BCK logics. We consider formulas built on implication and a fixed set of k variables. We investigate the proportion between the number of such formulas of a given length n provable in BCI logic against the number of formulas of length n provable in ric...
The study of BCK-algebras was initiated by Iséki [7] as a generalization of the concept of set-theoretic difference and propositional calculus. Iséki posed an interesting problem; whether the class of BCK-algebras is a variety. In connection with this problem Komori introduced in [9] a notion of BCC-algebra which is a generalization of a BCK-algebra and proved that the class of all BCC-algebras...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید