نتایج جستجو برای: جبر bl خارج قسمتی
تعداد نتایج: 31634 فیلتر نتایج به سال:
در فصل اول تعاریف و مفاهیم مقدماتی پایان نامه را آورده ایم. در فصل دوم ابتدا (a(i را تعریف و سپس نشان می دهیم که (a(i یک سیستم مرتب جزیی راست می باشد که در شرط (e) صدق می کند اما در شرط (p) صدق نمی کند. سپس به بررسی شرایطی روی تکواره مرتب جزیی s می پردازیم که تحت آن شرایط (a(i دارای خواص (p_w)، به طور ضعیف هموار مرتب جزیی، به طور اساسی ضعیف هموار مرتب جزیی، بدون تاب و بدون تاب مرتب جزیی باشد....
(c(x نمایش حلقه ی توابع پیوسته روی فضای تیخونف x و p ایدال اول از (c(x است. ابتدا حوزه ی ارزه(یعنی برای هر دو عنصر غیر صفر یکی دیگری را عاد کند) معرفی می شود و در ادامه sv-فضاها (یعنی هر ایدال اول آن اول ارزه باشد) بررسی می شوند. سپس تقریبا sv-فضاها(یعنی هر ایدال ماکسیمال آن شامل یک ایدال اول ارزه مینیمال باشد) و شبه sv-فضاها(یعنی هر ایدال ماکسیمال حقیقی و غیر مینیمال آن شامل یک ایدال اول ار...
تکواره های مشبکه مانده کراندار(-rlتکواره ها) یک کلاس جامع از مشبکه های مانده (نه لزوماً جابجایی) می باشند. لذا شبه-bl جبرها و شبه -mv جبرها و در نتیجه-bl جبرها و -mv جبرها را می توان به عنوان -rlتکواره های کراندار در نظر گرفت. در پایان نامه پیش رو زبان -rlتکواره ها یی که یک مولد غیر جابجایی از -mv جبرها و-bl جبرها می باشد، با اضافه کردن یک عملگر یکتایی که خواص جبری از یک حالت را توصیف می کند ...
This work presents a model-theoretic approach to the study of firstorder theories of classes of BL-chains. Among other facts, we present several classes of BL-algebras, generating the whole variety of BL-algebras, whose firstorder theory has quantifier elimination. Model-completeness and decision problems are also investigated. Then we investigate classes of BL-algebras having (or not having) t...
for x, where A is a given n × n matrix, and b a given n-vector. We have many opportunities to solve linear equations with the same coefficient matrix and different right-hand sides (RHSs). Therefore, block Krylov subspace methods such as the block Bi-CG (Bl-BCG), block Bi-CGSTAB (Bl-BiCGSTAB) [2], block GMRES (Bl-GMRES) and block QMR (Bl-QMR) methods have been developed for solving block linear...
We apply the rough set theory to BL-algebras. As a generalization of filters subalgebras of BL-algebras, we introduce the notion of rough filters subalgebras of BL-algebras and investigate some of their properties.
In this paper we define Baer BL-algebras as BL-algebras with the property that co-annihilator filters are generated by central elements. We use sheaf-theoretic techniques to construct a Baer extension of any BLalgebra, that is to embed any nontrivial BL-algebra A into a Baer BLalgebra A∗. The embedding turns to be an isomorphism if A is itself a Baer BL-algebra. 2000 MSC: 08A72, 03G25, 54B40, 0...
The aim of this paper is to introduce the notion of anti fuzzy (prime) deductive system in BL-algebra and to investigate their properties. It is shown that the set of all deductive systems (with the empty set) of a BL-algebra X is equipotent to a quotient of the set of all anti fuzzy deductive systems of X. The anti fuzzy prime deductive system theorem of BL-algebras is also proved. Anti Fuzzy ...
PURPOSE Burkitt's lymphoma (BL) is a common HIV-associated lymphoma in South Africa. B-cell lymphoma unclassifiable with features intermediate between diffuse large B-cell lymphoma and Burkitt's lymphoma (BL/DLBCL) also occurs in HIV infection. Outcomes of HIV-infected patients with BL or BL/DLBCL in a resource-constrained setting are not defined. METHODS We performed a retrospective study of...
در این پایان نامه، نمایش های استوار روی نبم شبکه ها و نیم گروه های معکوس را مطالعه می کنیم و مثال هایی را بیان می کنیم. سپس نمایش های مختلط را روی نیم گروه ها تعریف کرده و قضیه ای را اثبات می کنیم که بیان می کند اگر s یک نیم گروه معکوس 0-e-unitary و ? نمایشی نبم شبکه ای استوار روی s باشد آنگاه ? یک نمایش مختلط استوار روی s است. علاوه برآن ما خانوادهای از نیم گروه های معکوس را با استفاده از زیر ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید