Skocz do pozycji: 1.

Tytuł:

On the Krull property in topological algebras

Autorzy:

Haralampidou, Marina

Powiązania:

https://bibliotekanauki.pl/articles/746579.pdf

Data publikacji:

2006

Wydawca:

Polskie Towarzystwo Matematyczne

Tematy:

Krull algebra
annihilator algebra
semisimple algebra
socle
\(Q'\)-algebra
(D)-algebra
(weakly) regular annihilator algebra
(ortho)complemented algebra

Opis:

We introduce Krull topological algebras. In particular, we characterize the Krull property in some special classes of topological algebras. Connections with the theory of semisimple annihilator \(Q'\)-algebras are given. Relative to this, an investigation on the relationship between Krull and (weakly) regular (viz. modular) annihilator algebras is considered. Subalgebras of certain Krull algebras are also presented. Moreover, conditions are supplied under which the Krull (resp. \(Q'\)-) property is preserved via algebra morphisms. As an application, we show that the quotient of a Krull \(Q'\)-algebra, modulo a 2-sided ideal, is a topological algebra of the same type. Finally, we study the Krull property in a certain algebra-valued function topological algebra.

Źródło:

Commentationes Mathematicae; 2006, 46, 2
0373-8299

Pojawia się w:

Commentationes Mathematicae

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 2.

Tytuł:

Horizontal sums of basic algebras

Autorzy:

Chajda, Ivan

Powiązania:

https://bibliotekanauki.pl/articles/728768.pdf

Data publikacji:

2009

Wydawca:

Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii

Tematy:

Basic algebra
horizontal sum
chain basic algebra
MV-algebra
Boolean algebra

Opis:

The variety of basic algebras is closed under formation of horizontal sums. We characterize when a given basic algebra is a horizontal sum of chains, MV-algebras or Boolean algebras.

Źródło:

Discussiones Mathematicae - General Algebra and Applications; 2009, 29, 1; 21-33
1509-9415

Pojawia się w:

Discussiones Mathematicae - General Algebra and Applications

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 3.

Tytuł:

Algebra algorytmów w przykładach
Examples of algorithm algebra application

Autorzy:

Piaskowy, A.

Powiązania:

https://bibliotekanauki.pl/articles/157198.pdf

Data publikacji:

2010

Wydawca:

Stowarzyszenie Inżynierów i Techników Mechaników Polskich

Tematy:

algebra algorytmów
formuła
algorytm
algebra algorithms
formula
algorithm

Opis:

Artykuł zawiera opis podstawowych operacji algebraicznych jakie można stosować w algorytmice. Przedstawiono kilka prostych przykładów ilustrujących możliwości i aplikacje tematyki. Każda operacja została odzwierciedlona w języku C, bądź została porównana z odpowiadającym jej schematem blokowym.
Algebra of algorithms is a form of mathematical description of an algorithm. The algorithm described in form of formulas can be subjected to algebraic operations and transformations. Properties of these operations are defined in an axiomatic way. The mathematic description of the algorithm is simple, intuitive, and allows to subsequent automatic generation of program code. The main advantage of such approach is possibility to analyze the algorithm at any level of nesting. Some functions (blocks) the algorithm can be treated as uniterms, thus one can look into what happens inside them. A description of basic algebraic operations that can be applied in the study of algorithm operations is presented in the paper. It has been quoted two of the most elementary examples in order to better acquaint with the subject. Each operation is reflected in the C language, and is compared with the corresponding block diagram. Langton algorithm is analyzed as well as the function approximation algorithm for finding the 3-rd order polynomial. These algorithms are described and presented in the form of block diagrams as well as using formulas of algebra algorithms.

Źródło:

Pomiary Automatyka Kontrola; 2010, R. 56, nr 2, 2; 189-192
0032-4140

Pojawia się w:

Pomiary Automatyka Kontrola

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 4.

Tytuł:

Implication algebras

Autorzy:

Chajda, Ivan

Powiązania:

https://bibliotekanauki.pl/articles/729171.pdf

Data publikacji:

2006

Wydawca:

Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii

Tematy:

implication algebra
pre-implication algebra
orthoimplication algebra
orthosemilattice
congruence kernel

Opis:

We introduce the concepts of pre-implication algebra and implication algebra based on orthosemilattices which generalize the concepts of implication algebra, orthoimplication algebra defined by J.C. Abbott [2] and orthomodular implication algebra introduced by the author with his collaborators. For our algebras we get new axiom systems compatible with that of an implication algebra. This unified approach enables us to compare the mentioned algebras and apply a unified treatment of congruence properties.

Źródło:

Discussiones Mathematicae - General Algebra and Applications; 2006, 26, 2; 141-153
1509-9415

Pojawia się w:

Discussiones Mathematicae - General Algebra and Applications

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 5.

Tytuł:

Representing measures for the disc algebra and for the ball algebra

Autorzy:

Brummelhuis, Raymond
Wiegerinck, Jan

Powiązania:

https://bibliotekanauki.pl/articles/1312443.pdf

Data publikacji:

1991

Wydawca:

Polska Akademia Nauk. Instytut Matematyczny PAN

Tematy:

ball algebra
disc algebra
extreme point
representing measure

Opis:

We consider the set of representing measures at 0 for the disc and the ball algebra. The structure of the extreme elements of these sets is investigated. We give particular attention to representing measures for the 2-ball algebra which arise by lifting representing measures for the disc algebra.

Źródło:

Annales Polonici Mathematici; 1991, 55, 1; 19-35
0066-2216

Pojawia się w:

Annales Polonici Mathematici

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 6.

Tytuł:

The Bourgain algebra of the disk algebra A() and the algebra QA

Autorzy:

Cima, Joseph
Mortini, Raymond

Powiązania:

https://bibliotekanauki.pl/articles/1389397.pdf

Data publikacji:

1995

Wydawca:

Polska Akademia Nauk. Instytut Matematyczny PAN

Opis:

It is shown that the Bourgain algebra $A()_b$ of the disk algebra A() with respect to $H^{∞}()$ is the algebra generated by the Blaschke products having only a finite number of singularities. It is also proved that, with respect to $H^{∞}()$, the algebra QA of bounded analytic functions of vanishing mean oscillation is invariant under the Bourgain map as is $A()_b$.

Źródło:

Studia Mathematica; 1995, 113, 3; 211-221
0039-3223

Pojawia się w:

Studia Mathematica

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 7.

Tytuł:

Zaniedbana algebra a nauczanie informatyki
Neglected Algebra and Informatics Teaching

Autorzy:

PIECUCH, ALEKSANDER

Powiązania:

https://bibliotekanauki.pl/articles/455384.pdf

Data publikacji:

2017

Wydawca:

Uniwersytet Rzeszowski

Tematy:

logika
algebra Boole‟a
nauczanie informatyki
programowanie
logic
Boolean algebra
informatics teaching
programming

Opis:

Artykuł podejmuje próbę zwrócenia uwagi na zagadnienia związane z nauczaniem logiki w ramach przedmiotu informatyka. Jeszcze początkiem lat 80. XX w. była ona obecna w programach nauczania. W świetle zapowiadanych przez Ministerstwo Edukacji Narodowej reform związanych z kształceniem informatycznym zagadnienia logiki nabierają szczególnego znaczenia. Nauczanie programowania sprofilowanego na np. programowanie robotów, względnie innych platform programowalnych, bez znajomości algebry Boole‟a nie będzie dobrym rozwiązaniem z punktu widzenia kompetencji uczniów.
The article attempts to draw attention to issues related to the teaching of logic within the subject of computer science. Even in the early 1980s, it was present in the curriculum. In light of the IT reforms announced by MEN, logic issues are of particular importance. Teaching programming such as programming robots or other programming platforms without the knowledge of Boole algebra will not be a good solution for students competence.

Źródło:

Edukacja-Technika-Informatyka; 2017, 8, 3; 288-294
2080-9069

Pojawia się w:

Edukacja-Technika-Informatyka

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 8.

Tytuł:

On k-cyclic SHn-algebra

Autorzy:

Fernandez, A.

Powiązania:

https://bibliotekanauki.pl/articles/200167.pdf

Data publikacji:

2011

Wydawca:

Polska Akademia Nauk. Czytelnia Czasopism PAN

Tematy:

de Morgan algebra
Łukasiewicz algebras
Heyting algebra
Lattices and duality

Opis:

In this work we consider a new class of algebra called k-cyclic SHn-algebra (A, T) where A is an SHn-algebra and T is a lattice endomorphism such that Tk(x) = x, for all x, k is a positive integer. The main goal of this paper is to show a Priestley duality theorem for k-cyclic SHn-algebra.

Źródło:

Bulletin of the Polish Academy of Sciences. Technical Sciences; 2011, 59, 3; 303-304
0239-7528

Pojawia się w:

Bulletin of the Polish Academy of Sciences. Technical Sciences

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 9.

Tytuł:

Differential Batalin-Vilkovisky algebras arising from twilled Lie-Rinehart algebras

Autorzy:

Huebschmann, Johannes

Powiązania:

https://bibliotekanauki.pl/articles/1207674.pdf

Data publikacji:

2000

Wydawca:

Polska Akademia Nauk. Instytut Matematyczny PAN

Tematy:

differential graded Lie algebra
twilled Lie-Rinehart algebra
Lie-Rinehart algebra
Batalin-Vilkovisky algebra
Gerstenhaber algebra
mirror conjecture
Calabi-Yau manifold
Lie bialgebra

Opis:

Twilled L(ie-)R(inehart)-algebras generalize, in the Lie-Rinehart context, complex structures on smooth manifolds. An almost complex manifold determines an "almost twilled pre-LR algebra", which is a true twilled LR-algebra iff the almost complex structure is integrable. We characterize twilled LR structures in terms of certain associated differential (bi)graded Lie and G(erstenhaber)-algebras; in particular the G-algebra arising from an almost complex structure is a (strict) d(ifferential) G-algebra iff the almost complex structure is integrable. Such G-algebras, endowed with a generator turning them into a B(atalin-)V(ilkovisky)-algebra, occur on the B-side of the mirror conjecture. We generalize a result of Koszul to those dG-algebras which arise from twilled LR-algebras. A special case thereof explains the relationship between holomorphic volume forms and exact generators for the corresponding dG-algebra and thus yields in particular a conceptual proof of the Tian-Todorov lemma. We give a differential homological algebra interpretation for twilled LR-algebras and by means of it we elucidate the notion of a generator in terms of homological duality for differential graded LR-algebras.

Źródło:

Banach Center Publications; 2000, 51, 1; 87-102
0137-6934

Pojawia się w:

Banach Center Publications

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 10.

Tytuł:

Algebra pojęć deontycznych
Algebra of Deontic Notions

Autorzy:

Nieznański, Edward

Powiązania:

https://bibliotekanauki.pl/articles/2013199.pdf

Data publikacji:

2020-09-03

Wydawca:

Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL

Tematy:

pojęcia deontyczne
modalności deontyczne
związek pojęć deontycznych z wartościami moralnymi
algebra zbiorów
algebra Boole’a
deontic notions
deontic modalities
connection of deontic concepts with the moral values
algebra of sets
the Boolean algebra

Opis:

Leibniz suggested that deontic modalities can be defined in terms of the alethic modalities; according to him, the permitted (licitum) is what possible for a good man to do and the obligatory (debitum) is what is necessary for a good man to do. The paper starts from specifying a connection of deontic concepts with the moral values. The connection comes down to define an isomorphism of two Boolean algebras: from deontic one onto axiological one. The work presents theories of two algebras of deontic notions: the algebra of sets and the Boolean algebra. The theory of deontic set is based on the two axioms: xÎV (an act x is an element of the set of acts subordinated to some norm or law) and x''=x (an act x is identical with double denial of x). By means of definitions following notions are introduced: Λ (the empty set of acts), N (the set of ordered acts), Z (the set of forbidden acts), P (the set of obligatory acts), F (the set of optional acts), D (the set of permitted acts), I (the set of indifferent acts).The calculus is structured by rules of the Słupecki-Borkowski’s suppositional deduction. Forty five theorems are proven in this calculus. The second theory presented in the paper, is a Boolean algebra of deontic notions. Added to the theory of equality, it takes axioms from the theory of Boolean algebras with addition of a specific axiom for the deontic system i.e., N = N∩D. Sixty four theorems are proven in this calculus.

Źródło:

Roczniki Filozoficzne; 2008, 56, 1; 239-251
0035-7685

Pojawia się w:

Roczniki Filozoficzne

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 11.

Tytuł:

On pseudo-BCI-algebras

Autorzy:

Dymek, Grzegorz

Powiązania:

https://bibliotekanauki.pl/articles/747165.pdf

Data publikacji:

2015

Wydawca:

Uniwersytet Marii Curie-Skłodowskiej. Wydawnictwo Uniwersytetu Marii Curie-Skłodowskiej

Tematy:

Pseudo-BCI-algebra
normal pseudo-BCI-algebra
extension of pseudo-BCI-algebra

Opis:

The notion of normal pseudo-BCI-algebras is studied and some characterizations of it are given. Extensions of pseudo-BCI-algebras are also considered.

Źródło:

Annales Universitatis Mariae Curie-Skłodowska, sectio A – Mathematica; 2015, 69, 1
0365-1029
2083-7402

Pojawia się w:

Annales Universitatis Mariae Curie-Skłodowska, sectio A – Mathematica

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 12.

Tytuł:

On Lie algebras in braided categories

Autorzy:

Pareigis, Bodo

Powiązania:

https://bibliotekanauki.pl/articles/1342720.pdf

Data publikacji:

1997

Wydawca:

Polska Akademia Nauk. Instytut Matematyczny PAN

Tematy:

braided category
universal enveloping algebra
braided Hopf algebra
graded Lie algebra

Opis:

The category of group-graded modules over an abelian group $G$ is a monoidal category. For any bicharacter of $G$ this category becomes a braided monoidal category. We define the notion of a Lie algebra in this category generalizing the concepts of Lie super and Lie color algebras. Our Lie algebras have $n$-ary multiplications between various graded components. They possess universal enveloping algebras that are Hopf algebras in the given category. Their biproducts with the group ring are noncommutative noncocommutative Hopf algebras some of them known in the literature. Conversely the primitive elements of a Hopf algebra in the category form a Lie algebra in the above sense.

Źródło:

Banach Center Publications; 1997, 40, 1; 139-158
0137-6934

Pojawia się w:

Banach Center Publications

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 13.

Tytuł:

Prime ideal theorem for double Boolean algebras

Autorzy:

Kwuida, Léonard

Powiązania:

https://bibliotekanauki.pl/articles/728830.pdf

Data publikacji:

2007

Wydawca:

Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii

Tematy:

double Boolean algebra
protoconcept algebra
concept algebra
weakly dicomplemented lattices

Opis:

Double Boolean algebras are algebras (D,⊓,⊔,⊲,⊳,⊥,⊤) of type (2,2,1,1,0,0). They have been introduced to capture the equational theory of the algebra of protoconcepts. A filter (resp. an ideal) of a double Boolean algebra D is an upper set F (resp. down set I) closed under ⊓ (resp. ⊔). A filter F is called primary if F ≠ ∅ and for all x ∈ D we have x ∈ F or $x^{⊲} ∈ F$. In this note we prove that if F is a filter and I an ideal such that F ∩ I = ∅ then there is a primary filter G containing F such that G ∩ I = ∅ (i.e. the Prime Ideal Theorem for double Boolean algebras).

Źródło:

Discussiones Mathematicae - General Algebra and Applications; 2007, 27, 2; 263-275
1509-9415

Pojawia się w:

Discussiones Mathematicae - General Algebra and Applications

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 14.

Tytuł:

Boolean Algebra of One-Point Local Compactifications

Autorzy:

Polański, Artur

Powiązania:

https://bibliotekanauki.pl/articles/1818646.pdf

Data publikacji:

2020

Wydawca:

Politechnika Rzeszowska im. Ignacego Łukasiewicza. Oficyna Wydawnicza

Tematy:

local
compactification
boolean
algebra
ends
algebra Boole'a
kompaktowanie
przestrzeń Hausdorffa

Opis:

For a given locally compact Hausdorff space we introduce a Boolean algebra structure on the family of all its one-point local compactifications.

Źródło:

Journal of Mathematics and Applications; 2020, 43; 113--121
1733-6775
2300-9926

Pojawia się w:

Journal of Mathematics and Applications

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 15.

Tytuł:

Carriers of algebra of algorithms

Autorzy:

Ovsyak, V.
Ovsyak, O.

Powiązania:

https://bibliotekanauki.pl/articles/114288.pdf

Data publikacji:

2015

Wydawca:

Stowarzyszenie Inżynierów i Techników Mechaników Polskich

Tematy:

carrier of algebra
algebraic operations
system of algorithmic algebras
algebra of algorithms

Opis:

Operations of modified system of algorithm algebras [10, 11] and algebra of algorithms [12-15] are presented in the paper. The paper shows operations of mathematical logic on the three-meaning alphabet. It considers converting of logical to operator values that are performed in the system of algorithmic algebras and its modifications. It presents constants, variables and operators, which are components of models of algorithms and systems, as predicates. It gives a comparative assessment of mono- and polycarrier algebras of algorithms.

Źródło:

Measurement Automation Monitoring; 2015, 61, 4; 98-100
2450-2855

Pojawia się w:

Measurement Automation Monitoring

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 16.

Tytuł:

Irredundant Decomposition of Algebras into One-Dimensional Factors

Autorzy:

Staruch, Bogdan

Powiązania:

https://bibliotekanauki.pl/articles/750002.pdf

Data publikacji:

2016

Wydawca:

Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego

Tematy:

universal algebra
algebraic lattice
congruence lattice
uniform lattice
dimension of algebra
one-dimensional algebra
subdirect product
star-product
decomposition of algebra

Opis:

We introduce a notion of dimension of an algebraic lattice and, treating such a lattice as the congruence lattice of an algebra, we introduce the dimension of an algebra, too. We define a star-product as a special kind of subdirect product. We obtain the star-decomposition of algebras into one-dimensional factors, which generalizes the known decomposition theorems e.g. for Abelian groups, linear spaces, Boolean algebras.

Źródło:

Bulletin of the Section of Logic; 2016, 45, 3/4
0138-0680
2449-836X

Pojawia się w:

Bulletin of the Section of Logic

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 17.

Tytuł:

Some results on pseudo-Q algebras

Autorzy:

Rezaei, Akbar
Saeid, Arsham Borumand
Walendziak, Andrzej

Powiązania:

https://bibliotekanauki.pl/articles/744634.pdf

Data publikacji:

2017-12-01

Wydawca:

Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie

Tematy:

Pseudo-BCI/BCK algebra
(dual) pseudo-BCH algebra
dual pseudo-Q/QC algebra
(commutative) pseudo-CI/BE algebra

Opis:

The notions of a dual pseudo-Q algebra and a dual pseudo-QC algebra are introduced. The properties and characterizations of them are investigated. Conditions for a dual pseudo-Q algebra to be a dual pseudo-QC algebra are given. Commutative dual pseudo-QC algebras are considered. The interrelationships between dual pseudo-Q/QC algebras and other pseudo algebras are visualized in a diagram.

Źródło:

Annales Universitatis Paedagogicae Cracoviensis. Studia Mathematica; 2017, 16
2300-133X

Pojawia się w:

Annales Universitatis Paedagogicae Cracoviensis. Studia Mathematica

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 18.

Tytuł:

bi-BL-algebra

Autorzy:

Abbasloo, Mahdeieh
Saeid, Arsham

Powiązania:

https://bibliotekanauki.pl/articles/728950.pdf

Data publikacji:

2011

Wydawca:

Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii

Tematy:

bi-BL-algebra
bi-filter
bi-deductive system
bi-Boolean elements of a bi-BL-algebra

Opis:

In this paper, we introduce the notion of a bi-BL-algebra, bi-filter, bi-deductive system and bi-Boolean elements of a bi-BL-algebra and deal with bi-filters in bi-BL-algebra. We study this structure and construct the quotient of bi-BL-algebra. Also present a classification for examples of proper bi-BL-algebras.

Źródło:

Discussiones Mathematicae - General Algebra and Applications; 2011, 31, 2; 231-260
1509-9415

Pojawia się w:

Discussiones Mathematicae - General Algebra and Applications

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 19.

Tytuł:

On normal filters and congruence relations in BE-algebras

Autorzy:

Walendziak, Andrzej

Powiązania:

https://bibliotekanauki.pl/articles/746384.pdf

Data publikacji:

2012

Wydawca:

Polskie Towarzystwo Matematyczne

Tematy:

BE-algebra
(Normal) Filter
Congruence relation
Transitive BE-algebra
Commutative BE-algebra

Opis:

In this paper we introduce the notion of a normal filter in BE-algebras (in transitive BE-algebras filters conicide with normal filters). We discuss some relationships between congruence relations and normal filters of a BE-algebra A (if A is commutative, then we show that there is a bijection between congruence relations and filters in A ). Moreover, we give the construction of quotient algebra A/F of A via a normal filter F of A.

Źródło:

Commentationes Mathematicae; 2012, 52, 2
0373-8299

Pojawia się w:

Commentationes Mathematicae

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 20.

Tytuł:

Modelowanie prętowych powłok walcowych z zastosowaniem algebry Formex
Modelling braced barrel vaults by means Formex algebra

Autorzy:

Grzywiński, M.

Powiązania:

https://bibliotekanauki.pl/articles/2068062.pdf

Data publikacji:

2016

Wydawca:

Politechnika Częstochowska

Tematy:

powłoki walcowe
algebra Formex
barrel vaults
Formex algebra

Opis:

Przekrycia strukturalne są szeroko stosowane w procesie projektowania lekkich konstrukcji. Projektanci są wciąż zainteresowani rozwijaniem metod konstruowania powłok i kopuł. Nowe metody projektowania są nadal udoskonalane. Jedną z metod zaprezentowano tutaj. Numeryczne modele prętowej powłoki walcowej można wygenerować z pomocą algebry Formex - języka programowania specjalnie przeznaczonego dla projektantów.
Space structure are widely applied in design process lightweight structures. Designer’s interest of focused in particular on the structures that represents barrel and spherical form. New design methods are still developed. One of these method is presented here. Numerical models of braced barrel vaults can be generated by means of use Formex algebra - the special designed for this purposes programming language.

Źródło:

Zeszyty Naukowe Politechniki Częstochowskiej. Budownictwo; 2016, 22 (172); 78-85
0860-7214

Pojawia się w:

Zeszyty Naukowe Politechniki Częstochowskiej. Budownictwo

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 21.

Tytuł:

Two constructions of De Morgan algebras and De Morgan quasirings

Autorzy:

Chajda, Ivan
Eigenthaler, Günther

Powiązania:

https://bibliotekanauki.pl/articles/728752.pdf

Data publikacji:

2009

Wydawca:

Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii

Tematy:

De Morgan algebra
De Morgan quasiring
D-algebra
interval algebra
Boolean element

Opis:

De Morgan quasirings are connected to De Morgan algebras in the same way as Boolean rings are connected to Boolean algebras. The aim of the paper is to establish a common axiom system for both De Morgan quasirings and De Morgan algebras and to show how an interval of a De Morgan algebra (or De Morgan quasiring) can be viewed as a De Morgan algebra (or De Morgan quasiring, respectively).

Źródło:

Discussiones Mathematicae - General Algebra and Applications; 2009, 29, 2; 169-180
1509-9415

Pojawia się w:

Discussiones Mathematicae - General Algebra and Applications

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 22.

Tytuł:

Hyperidentities in transitive graph algebras

Autorzy:

Poomsa-ard, Tiang
Wetweerapong, Jeerayut
Samartkoon, Charuchai

Powiązania:

https://bibliotekanauki.pl/articles/729103.pdf

Data publikacji:

2005

Wydawca:

Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii

Tematy:

identity
hyperidentity
term
normal form term
binary algebra
graph algebra
transitive graph algebra

Opis:

Graph algebras establish a connection between directed graphs without multiple edges and special universal algebras of type (2,0). We say that a graph G satisfies an identity s ≈ t if the corresponding graph algebra A(G) satisfies s ≈ t. A graph G = (V,E) is called a transitive graph if the corresponding graph algebra A(G) satisfies the equation x(yz) ≈ (xz)(yz). An identity s ≈ t of terms s and t of any type t is called a hyperidentity of an algebra A̲ if whenever the operation symbols occurring in s and t are replaced by any term operations of A of the appropriate arity, the resulting identities hold in A̲ .
In this paper we characterize transitive graph algebras, identities and hyperidentities in transitive graph algebras.

Źródło:

Discussiones Mathematicae - General Algebra and Applications; 2005, 25, 1; 23-37
1509-9415

Pojawia się w:

Discussiones Mathematicae - General Algebra and Applications

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 23.

Tytuł:

Bipartite pseudo MV-algebras

Autorzy:

Dymek, Grzegorz

Powiązania:

https://bibliotekanauki.pl/articles/729149.pdf

Data publikacji:

2006

Wydawca:

Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii

Tematy:

pseudo MV-algebra
(maximal) ideal
bipartite pseudo MV-algebra

Opis:

A bipartite pseudo MV-algebra A is a pseudo MV-algebra such that A = M ∪ M ̃ for some proper ideal M of A. This class of pseudo MV-algebras, denoted BP, is investigated. The class of pseudo MV-algebras A such that A = M ∪ M ̃ for all maximal ideals M of A, denoted BP₀, is also studied and characterized.

Źródło:

Discussiones Mathematicae - General Algebra and Applications; 2006, 26, 2; 183-197
1509-9415

Pojawia się w:

Discussiones Mathematicae - General Algebra and Applications

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 24.

Tytuł:

Dominating analytic families

Autorzy:

Kamburelis, Anastasis

Powiązania:

https://bibliotekanauki.pl/articles/1205372.pdf

Data publikacji:

1998

Wydawca:

Polska Akademia Nauk. Instytut Matematyczny PAN

Tematy:

measure algebra
Cohen algebra
Suslin c.c.c. forcing
distributivity

Opis:

Let A be an analytic family of sequences of sets of integers. We show that either A is dominated or it contains a continuum of almost disjoint sequences. From this we obtain a theorem by Shelah that a Suslin c.c.c. forcing adds a Cohen real if it adds an unbounded real.

Źródło:

Fundamenta Mathematicae; 1998, 156, 1; 73-83
0016-2736

Pojawia się w:

Fundamenta Mathematicae

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 25.

Tytuł:

On QI-algebras

Autorzy:

Bandaru, Ravi Kumar

Powiązania:

https://bibliotekanauki.pl/articles/38140990.pdf

Data publikacji:

2017-12-20

Wydawca:

Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii

Tematy:

BI-algebra
QI-algebra
right distributive
ideal
congruence kernel

Opis:

In this paper, the notion of a QI-algebra is introduced which is a generalization of a BI-algebra and there are studied its properties. We considered ideals, congruence kernels in a QI-algebra and characterized congruence kernels whenever a QI-algebra is right distributive.

Źródło:

Discussiones Mathematicae - General Algebra and Applications; 2017, 37, 2; 137-145
1509-9415

Pojawia się w:

Discussiones Mathematicae - General Algebra and Applications

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 26.

Tytuł:

On implicative and maximal ideals of BL-algebras

Autorzy:

Walendziak, Andrzej

Powiązania:

https://bibliotekanauki.pl/articles/746457.pdf

Data publikacji:

2014

Wydawca:

Polskie Towarzystwo Matematyczne

Tematy:

BL-algebra, MV-algebra, implicative (maximal) ideal

Opis:

In the theory of MV-algebras, implicative ideals are studied by Hoo and Sessa. In this paper we define and characterize implicative ideals of BL-algebras. We also investigate maximal ideals of BL-algebras and prove that if an ideal is prime and implicative, then it is maximal. Moreover, we show that an ideal is maximal if and only if the quotient BL-algebra is a simple MV-algebra. Finally, we give the homomorphic properties of implicative and maximal ideals.

Źródło:

Commentationes Mathematicae; 2014, 54, 2
0373-8299

Pojawia się w:

Commentationes Mathematicae

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 27.

Tytuł:

Infinite independent systems of identities of alternative commutative algebra over a field of characteristic three

Autorzy:

Sandu, Nicolae

Powiązania:

https://bibliotekanauki.pl/articles/728912.pdf

Data publikacji:

2004

Wydawca:

Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii

Tematy:

nfinite independent system of identities
alternative commutative algebra
solvable algebra
commutative Moufang loop

Opis:

Let ₃ denote the variety of alternative commutative (Jordan) algebras defined by the identity x³ = 0, and let ₂ be the subvariety of the variety ₃ of solvable algebras of solviability index 2. We present an infinite independent system of identities in the variety ₃ ∩ ₂₂. Therefore we infer that ₃ ∩ ₂₂ contains a continuum of infinite based subvarieties and that there exist algebras with an unsolvable words problem in ₃ ∩ ₂₂.
It is worth mentioning that these results were announced in 1999 in works of the international conference "Loops’99" (Prague).

Źródło:

Discussiones Mathematicae - General Algebra and Applications; 2004, 24, 1; 5-30
1509-9415

Pojawia się w:

Discussiones Mathematicae - General Algebra and Applications

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 28.

Tytuł:

Congruences on pseudocomplemented semilattices

Autorzy:

Heleyová, Zuzana

Powiązania:

https://bibliotekanauki.pl/articles/728824.pdf

Data publikacji:

2000

Wydawca:

Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii

Tematy:

pseudocomplemented semilattice
congruence lattice
p-algebra
Stone algebra
(relative) (Lₙ)-lattice

Opis:

It is known that congruence lattices of pseudocomplemented semilattices are pseudocomplemented [4]. Many interesting properties of congruences on pseudocomplemented semilattices were described by Sankappanavar in [4], [5], [6]. Except for other results he described congruence distributive pseudocomplemented semilattices [6] and he characterized pseudocomplemented semilattices whose congruence lattices are Stone, i.e. belong to the variety B₁ [5].
In this paper we give a partial solution to a more general question: Under what condition on a pseudocomplemented semilattice its congruence lattice is element of the variety Bₙ (n ≥ 2)?
In the last section we widen the Sankappanavar's result to obtain the description of pseudocomplemented semilattices with relative Stone congruence lattices. A partial solution of the description of pseudocomplemented semilattices with relative (Lₙ)-congruence lattices (n ≥ 2) is also given.

Źródło:

Discussiones Mathematicae - General Algebra and Applications; 2000, 20, 2; 219-231
1509-9415

Pojawia się w:

Discussiones Mathematicae - General Algebra and Applications

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 29.

Tytuł:

A characterization of completely bounded multipliers of Fourier algebras

Autorzy:

Jolissaint, Paul

Powiązania:

https://bibliotekanauki.pl/articles/967649.pdf

Data publikacji:

1992

Wydawca:

Polska Akademia Nauk. Instytut Matematyczny PAN

Tematy:

representation
C*-algebra
multiplier
Fourier algebra

Źródło:

Colloquium Mathematicum; 1992, 63, 2; 311-313
0010-1354

Pojawia się w:

Colloquium Mathematicum

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 30.

Tytuł:

Implementation and evaluation of medical imaging techniques based on conformal geometric algebra

Autorzy:

Franchini, Silvia
Gentile, Antonio
Vassallo, Giorgio
Vitabile, Salvatore

Powiązania:

https://bibliotekanauki.pl/articles/329970.pdf

Data publikacji:

2020

Wydawca:

Uniwersytet Zielonogórski. Oficyna Wydawnicza

Tematy:

medical image segmentation
medical image registration
computational geometry
Clifford algebra
conformal geometric algebra
segmentacja obrazu
rejestracja obrazu medycznego
geometria obliczeniowa
algebra Clifforda

Opis:

Medical imaging tasks, such as segmentation, 3D modeling, and registration of medical images, involve complex geometric problems, usually solved by standard linear algebra and matrix calculations. In the last few decades, conformal geometric algebra (CGA) has emerged as a new approach to geometric computing that offers a simple and efficient representation of geometric objects and transformations. However, the practical use of CGA-based methods for big data image processing in medical imaging requires fast and efficient implementations of CGA operations to meet both real-time processing constraints and accuracy requirements. The purpose of this study is to present a novel implementation of CGA-based medical imaging techniques that makes them effective and practically usable. The paper exploits a new simplified formulation of CGA operators that allows significantly reduced execution times while maintaining the needed result precision. We have exploited this novel CGA formulation to re-design a suite of medical imaging automatic methods, including image segmentation, 3D reconstruction and registration. Experimental tests show that the re-formulated CGA-based methods lead to both higher precision results and reduced computation times, which makes them suitable for big data image processing applications. The segmentation algorithm provides the Dice index, sensitivity and specificity values of 98.14%, 98.05% and 97.73%, respectively, while the order of magnitude of the errors measured for the registration methods is 10^-5.

Źródło:

International Journal of Applied Mathematics and Computer Science; 2020, 30, 3; 415-433
1641-876X
2083-8492

Pojawia się w:

International Journal of Applied Mathematics and Computer Science

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 31.

Tytuł:

A groupoid characterization of Boolean algebras

Autorzy:

Chajda, Ivan

Powiązania:

https://bibliotekanauki.pl/articles/729109.pdf

Data publikacji:

2004

Wydawca:

Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii

Tematy:

groupoid
Boolean algebra
semi-bolean algebra
involution
dualautomorphism (or antiautomorphism)

Opis:

We present a groupoid which can be converted into a Boolean algebra with respect to term operations. Also conversely, every Boolean algebra can be reached in this way.

Źródło:

Discussiones Mathematicae - General Algebra and Applications; 2004, 24, 2; 177-184
1509-9415

Pojawia się w:

Discussiones Mathematicae - General Algebra and Applications

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 32.

Tytuł:

The exocenter and type decomposition of a generalized pseudoeffect algebra

Autorzy:

Foulis, David
Pulmannová, Silvia
Vinceková, Elena

Powiązania:

https://bibliotekanauki.pl/articles/728938.pdf

Data publikacji:

2013

Wydawca:

Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii

Tematy:

pseudoeffect algebra
generalized pseudoeffect algebra
center
exocenter
central orthocompleteness
type determining set
type decomposition

Opis:

We extend the notion of the exocenter of a generalized effect algebra (GEA) to a generalized pseudoeffect algebra (GPEA) and show that elements of the exocenter are in one-to-one correspondence with direct decompositions of the GPEA; thus the exocenter is a generalization of the center of a pseudoeffect algebra (PEA). The exocenter forms a boolean algebra and the central elements of the GPEA correspond to elements of a sublattice of the exocenter which forms a generalized boolean algebra. We extend the notion of central orthocompleteness to GPEA, prove that the exocenter of a centrally orthocomplete GPEA (COGPEA) is a complete boolean algebra and show that the sublattice corresponding to the center is a complete boolean subalgebra. We also show that in a COGPEA, every element admits an exocentral cover and that the family of all exocentral covers, the so-called exocentral cover system, has the properties of a hull system on a generalized effect algebra. We extend the notion of type determining (TD) sets, originally introduced for effect algebras and then extended to GEAs and PEAs, to GPEAs, and prove a type-decomposition theorem, analogous to the type decomposition of von Neumann algebras.

Źródło:

Discussiones Mathematicae - General Algebra and Applications; 2013, 33, 1; 13-47
1509-9415

Pojawia się w:

Discussiones Mathematicae - General Algebra and Applications

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 33.

Tytuł:

Noetherian and Artinian pseudo MV-algebras

Autorzy:

Dymek, Grzegorz

Powiązania:

https://bibliotekanauki.pl/articles/728788.pdf

Data publikacji:

2008

Wydawca:

Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii

Tematy:

pseudo MV-algebra
(fuzzy) ideal
Noetherian (Artinian) pseudo MV-algebra

Opis:

The notions of Noetherian pseudo MV-algebras and Artinian pseudo MV-algebras are introduced and their characterizations are established. Characterizations of them via fuzzy ideals are also given.

Źródło:

Discussiones Mathematicae - General Algebra and Applications; 2008, 28, 2; 209-225
1509-9415

Pojawia się w:

Discussiones Mathematicae - General Algebra and Applications

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 34.

Tytuł:

Commutative directoids with sectional involutions

Autorzy:

Chajda, Ivan

Powiązania:

https://bibliotekanauki.pl/articles/729147.pdf

Data publikacji:

2007

Wydawca:

Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii

Tematy:

commutative directoid
sectional involution
sectional complement
d-implication algebra
NMV-algebra

Opis:

The concept of a commutative directoid was introduced by J. Ježek and R. Quackenbush in 1990. We complete this algebra with involutions in its sections and show that it can be converted into a certain implication algebra. Asking several additional conditions, we show whether this directoid is sectionally complemented or whether the section is an NMV-algebra.

Źródło:

Discussiones Mathematicae - General Algebra and Applications; 2007, 27, 1; 49-58
1509-9415

Pojawia się w:

Discussiones Mathematicae - General Algebra and Applications

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 35.

Tytuł:

Pseudotopologies with applications to one-parameter groups, von Neumann algebras, and Lie algebra representations

Autorzy:

Rusinek, Jan

Powiązania:

https://bibliotekanauki.pl/articles/1292446.pdf

Data publikacji:

1993

Wydawca:

Polska Akademia Nauk. Instytut Matematyczny PAN

Tematy:

pseudotopology
continuity
composition of operators
differentiability
one-parameter semigroup
von Neumann algebra
integration
Lie algebra representation

Opis:

For any pair E,F of pseudotopological vector spaces, we endow the space L(E,F) of all continuous linear operators from E into F with a pseudotopology such that, if G is a pseudotopological space, then the mapping L(E,F) × L(F,G) ∋ (f,g) → gf ∈ L(E,G) is continuous. We use this pseudotopology to establish a result about differentiability of certain operator-valued functions related with strongly continuous one-parameter semigroups in Banach spaces, to characterize von Neumann algebras, and to establish a result about integration of Lie algebra representations.

Źródło:

Studia Mathematica; 1993, 107, 3; 273-286
0039-3223

Pojawia się w:

Studia Mathematica

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 36.

Tytuł:

On the characterisation of Maltsev and Jónsson-Tarski algebras

Autorzy:

Smith, Jonathan

Powiązania:

https://bibliotekanauki.pl/articles/728924.pdf

Data publikacji:

2003

Wydawca:

Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii

Tematy:

Mal'tsev variety
Mal'tsev algebra
Jónsson-Tarski variety
Jónsson-Tarski algebra
Goldie variety
Goldie algebra
congruence permutability
simplicial object

Opis:

There are very strong parallels between the properties of Mal'tsev and Jónsson-Tarski algebras, for example in the good behaviour of centrality and in the factorization of direct products. Moreover, the two classes between them include the majority of algebras that actually arise 'in nature'. As a contribution to the research programme building a unified theory capable of covering the two classes, along with other instances of good centrality and factorization, the paper presents a common framework for the characterisation of Mal'tsev and Jónsson-Tarski algebras. Mal'tsev algebras are characterized by simplicial identities in the product complex of an algebra. In the dual of a pointed variety, a simplicial object known as the pointed complex is then constructed. The basic simplicial Mal'tsev identity in the pointed complex characterises Jónsson-Tarski algebras. Higher-dimensional simplicial Mal'tsev identities in the pointed complex are characteristic of a class of algebras lying properly between Goldie and Jónsson-Tarski algebras.

Źródło:

Discussiones Mathematicae - General Algebra and Applications; 2003, 23, 2; 149-161
1509-9415

Pojawia się w:

Discussiones Mathematicae - General Algebra and Applications

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 37.

Tytuł:

A remark on non-existence of an algebra norm for the algebra of continuous functions on a topological space admitting an unbounded continuous function

Autorzy:

Pruss, Alexander R.

Powiązania:

https://bibliotekanauki.pl/articles/1288753.pdf

Data publikacji:

1995

Wydawca:

Polska Akademia Nauk. Instytut Matematyczny PAN

Tematy:

algebra of all continuous functions
normed commutative algebra
non-existence of norm
topological spaces admitting unbounded functions

Opis:

Let X be any topological space, and let C(X) be the algebra of all continuous complex-valued functions on X. We prove a conjecture of Yood (1994) to the effect that if there exists an unbounded element of C(X) then C(X) cannot be made into a normed algebra.

Źródło:

Studia Mathematica; 1995, 116, 3; 295-297
0039-3223

Pojawia się w:

Studia Mathematica

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 38.

Tytuł:

Module Structure on Effect Algebras

Autorzy:

Saidi Goraghani, Simin
Borzooei, Rajab Ali

Powiązania:

https://bibliotekanauki.pl/articles/1023134.pdf

Data publikacji:

2020-11-04

Wydawca:

Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego

Tematy:

effect algebra
product effect algebra
effect module
topology

Opis:

In this paper, by considering the notions of effect algebra and product effect algebra, we define the concept of effect module. Then we investigate some properties of effect modules, and we present some examples on them. Finally, we introduce some topologies on effect modules.  

Źródło:

Bulletin of the Section of Logic; 2020, 49, 3; 269-290
0138-0680
2449-836X

Pojawia się w:

Bulletin of the Section of Logic

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 39.

Tytuł:

Vector algebra for Steep Slope Model analysis

Autorzy:

Kolecka, N.

Powiązania:

https://bibliotekanauki.pl/articles/295124.pdf

Data publikacji:

2012

Wydawca:

Stowarzyszenie Geomorfologów Polskich

Tematy:

vector algebra
Steep Slope Model
geographic information systems
slope
aspect

Opis:

Geographic Information Systems offer many algorithms that allow analysis of digital elevation models. They work with both GRID and TIN data, but they are limited to 2.5D models, where one planar (X,Y) position refers to only one vertical (Z) value. In mountainous regions, however, many steep, vertical and even overhung parts of rock walls and slopes occur. GRID and TIN models in a standard projection are not capable to deal with such a relief as they are not able to capture all complexity of steep slopes that can be observed from the terrestrial perspective. Such a perspective can be introduced into GIS via computer graphics software that allows 3D surface modelling by means of mesh, e.g. 3D triangular network. The paper presents a concept that implements 3D mesh in GIS and utilizes vector algebra to analyze such a surface. The idea is based on using normal vectors to compute slope and aspect of each triangle in a mesh. The computed values are saved as their attributes. Complete procedures are written in Python programming language and implemented into popular GIS software to work as a plug-in tool.

Źródło:

Landform Analysis; 2012, 21; 17-25
1429-799X

Pojawia się w:

Landform Analysis

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 40.

Tytuł:

Applications of Algebra in Logic and Computer Science – the Past and the Future

Autorzy:

Grygiel, Joanna

Powiązania:

https://bibliotekanauki.pl/articles/749898.pdf

Data publikacji:

2018

Wydawca:

Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego

Tematy:

conference
algebra
logic
applications

Opis:

We present the history of the conference Applications of Algebra in Logic and Computer Science, whose twenty-third edition will be held in March, 2019. At the end we outline some plans for the future.

Źródło:

Bulletin of the Section of Logic; 2018, 47, 1
0138-0680
2449-836X

Pojawia się w:

Bulletin of the Section of Logic

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 41.

Tytuł:

Algebra of formalized languages

Autorzy:

Sikorski, Roman

Powiązania:

https://bibliotekanauki.pl/articles/968862.pdf

Data publikacji:

1962

Wydawca:

Polska Akademia Nauk. Instytut Matematyczny PAN

Źródło:

Colloquium Mathematicum; 1962, 9, 1; 1-31
0010-1354

Pojawia się w:

Colloquium Mathematicum

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 42.

Tytuł:

A note on good pseudo BL-algebras

Autorzy:

Wojciechowska-Rysiawa, Magdalena

Powiązania:

https://bibliotekanauki.pl/articles/729035.pdf

Data publikacji:

2010

Wydawca:

Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii

Tematy:

pseudo BL-algebra
filter
(strongly) bipartite pseudo BL-algebra

Opis:

Pseudo BL-algebras are a noncommutative extention of BL-algebras. In this paper we study good pseudo BL-algebras and consider some classes of these algebras.

Źródło:

Discussiones Mathematicae - General Algebra and Applications; 2010, 30, 2; 193-205
1509-9415

Pojawia się w:

Discussiones Mathematicae - General Algebra and Applications

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 43.

Tytuł:

Nota o Lehrbuch der Algebra. Einlaitung Heinricha Webera
Note on Heinrich Weber’s Lehrbuch der Algebra. Einlaitung

Autorzy:

Błaszczyk, Piotr

Powiązania:

https://bibliotekanauki.pl/articles/1791021.pdf

Data publikacji:

2017-06-22

Wydawca:

Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie

Źródło:

Annales Universitatis Paedagogicae Cracoviensis. Studia ad Didacticam Mathematicae Pertinentia; 2015, 7; 129-139
2080-9751
2450-341X

Pojawia się w:

Annales Universitatis Paedagogicae Cracoviensis. Studia ad Didacticam Mathematicae Pertinentia

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 44.

Tytuł:

On Direct Limit Closed Classes of Algebras

Autorzy:

Halušková, Emília

Powiązania:

https://bibliotekanauki.pl/articles/749912.pdf

Data publikacji:

2016

Wydawca:

Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego

Tematy:

algebra
direct limit
closed class
term
formula
sentence
monounary algebra

Opis:

Axiomatic classes of algebras of a given type which are closed with respect to direct limits are studied in this paper.

Źródło:

Bulletin of the Section of Logic; 2016, 45, 3/4
0138-0680
2449-836X

Pojawia się w:

Bulletin of the Section of Logic

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 45.

Tytuł:

On solving selected problems of linear algebra by means of neural networks
Zagadnienie rozwiązywania wybranych zadań algebry liniowej za pomocą sieci neuronowych

Autorzy:

Mrówczyńska, M.

Powiązania:

https://bibliotekanauki.pl/articles/395896.pdf

Data publikacji:

2011

Wydawca:

Uniwersytet Zielonogórski. Oficyna Wydawnicza

Tematy:

sieci neuronowe
algebra liniowa
neural networks
linear algebra
linear systems

Opis:

The paper presents selected practical applications and results of computer simulations from the field of numerical linear algebra realized by means of neural networks. Bearing in mind aspects of applications, it has been decided that priority should be given to the description of the problem of soling over-determined linear systems in the norm l_2 and the norm l_1.
W pracy przedstawiono wybrane zastosowania praktyczne i wyniki symulacji komputerowych z zakresu numerycznej algebry liniowej, realizowanej za pomocą sieci neuronowych. Mając na względzie aspekty zastosowań, uznano za celowe nadać priorytet opisowi zagadnienia wyrównania nadokreślonych układów liniowych w normie l_2 oraz w normie l_1. Do standardowych operacji numerycznych zaliczono również algorytmy obliczania inwersji macierzy kwadratowych oraz wyznaczania ich wartości własnych i wektorów własnych.

Źródło:

Civil and Environmental Engineering Reports; 2011, 7; 5-17
2080-5187
2450-8594

Pojawia się w:

Civil and Environmental Engineering Reports

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 46.

Tytuł:

Hypernumbers. Part I. Algebra

Autorzy:

Mikusiński, J.

Powiązania:

https://bibliotekanauki.pl/articles/1388876.pdf

Data publikacji:

1983

Wydawca:

Polska Akademia Nauk. Instytut Matematyczny PAN

Źródło:

Studia Mathematica; 1983-1984, 77, 1; 3-16
0039-3223

Pojawia się w:

Studia Mathematica

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 47.

Tytuł:

Quasi-implication algebras

Autorzy:

Chajda, Ivan
Dušek, Kamil

Powiązania:

https://bibliotekanauki.pl/articles/729013.pdf

Data publikacji:

2002

Wydawca:

Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii

Tematy:

implication
non-involutory negation
quasi-implication algebra
implitcation algebra
pseudocomplemented semilattice
q-semilattice

Opis:

A quasi-implication algebra is introduced as an algebraic counterpart of an implication reduct of propositional logic having non-involutory negation (e.g. intuitionistic logic). We show that every pseudocomplemented semilattice induces a quasi-implication algebra (but not conversely). On the other hand, a more general algebra, a so-called pseudocomplemented q-semilattice is introduced and a mutual correspondence between this algebra and a quasi-implication algebra is shown.

Źródło:

Discussiones Mathematicae - General Algebra and Applications; 2002, 22, 2; 183-198
1509-9415

Pojawia się w:

Discussiones Mathematicae - General Algebra and Applications

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 48.

Tytuł:

Semihereditary rings and related topics

Autorzy:

Gubareni, N.

Powiązania:

https://bibliotekanauki.pl/articles/122027.pdf

Data publikacji:

2011

Wydawca:

Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane

Tematy:

semihereditary rings
homological algebra
non commutative rings
pierścienie półdziedziczne
algebra homologiczna
pierścienie nieprzemienne

Opis:

A ring A is called right (left) semihereditary if all finitely generated right (left) ideals of A are projective. In this paper we consider non-commutative semihereditary rings and show their connection with non-commutative valuation rings. We also present some criterion for a module to be flat.

Źródło:

Scientific Issues of Jan Długosz University in Częstochowa. Mathematics; 2011, 16; 33-38
2450-9302

Pojawia się w:

Scientific Issues of Jan Długosz University in Częstochowa. Mathematics

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 49.

Tytuł:

Holomorphic functional calculus in A-pseudoconvex algebras

Autorzy:

Łuczak, Maciej

Powiązania:

https://bibliotekanauki.pl/articles/962667.pdf

Data publikacji:

2005

Wydawca:

Polskie Towarzystwo Matematyczne

Tematy:

Holomorphic functional calculus
spectral mapping theorem
A-pseudoconvex algebra
real algebra

Opis:

We define and study a holomorphic functional calculus for a single element in complex and real complete A-pseudoconvex algebras with unit. As a consequence of the main result we obtain the spectral mapping theorem and existence of the logarithm and the nth root of an algebra element.

Źródło:

Commentationes Mathematicae; 2005, 45, 2; 161-169
0373-8299

Pojawia się w:

Commentationes Mathematicae

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 50.

Tytuł:

Exposed points in the set of representing measures for the disc algebra

Autorzy:

Izzo, Alexander

Powiązania:

https://bibliotekanauki.pl/articles/1311562.pdf

Data publikacji:

1995

Wydawca:

Polska Akademia Nauk. Instytut Matematyczny PAN

Tematy:

disc algebra
exposed point
representing measure

Opis:

It is shown that for each nonzero point x in the open unit disc D, there is a measure whose support is exactly ∂D ∪ {x} and that is also a weak*-exposed point in the set of representing measures for the origin on the disc algebra. This yields a negative answer to a question raised by John Ryff.

Źródło:

Annales Polonici Mathematici; 1995, 61, 1; 59-62
0066-2216

Pojawia się w:

Annales Polonici Mathematici

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 51.

Tytuł:

The measure algebra does not always embed

Autorzy:

Dow, Alan
Hart, Klaas

Powiązania:

https://bibliotekanauki.pl/articles/1205120.pdf

Data publikacji:

2000

Wydawca:

Polska Akademia Nauk. Instytut Matematyczny PAN

Tematy:

measure algebra
embedding
Open Colouring Axiom
P(ℕ)/fin

Opis:

The Open Colouring Axiom implies that the measure algebra cannot be embedded into P(ℕ)/fin. We also discuss errors in previous results on the embeddability of the measure algebra.

Źródło:

Fundamenta Mathematicae; 2000, 163, 2; 163-176
0016-2736

Pojawia się w:

Fundamenta Mathematicae

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 52.

Tytuł:

Extreme and exposed representing measures of the disk algebra

Autorzy:

Heinis, Alex
Wiegerinck, Jan

Powiązania:

https://bibliotekanauki.pl/articles/1208017.pdf

Data publikacji:

2000

Wydawca:

Polska Akademia Nauk. Instytut Matematyczny PAN

Tematy:

exposed point
representing measure
extreme point
disk algebra

Opis:

We study the extreme and exposed points of the convex set consisting of representing measures of the disk algebra, supported in the closed unit disk. A boundary point of this set is shown to be extreme (and even exposed) if its support inside the open unit disk consists of two points that do not lie on the same radius of the disk. If its support inside the unit disk consists of 3 or more points, it is very seldom an extreme point. We also give a necessary condition for extreme points to be exposed and show that so-called BSZ-measures are never exposed.

Źródło:

Annales Polonici Mathematici; 2000, 73, 2; 105-118
0066-2216

Pojawia się w:

Annales Polonici Mathematici

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 53.

Tytuł:

A characterization of maximal regular ideals in lmc algebras

Autorzy:

Fragoulopoulou, Maria

Powiązania:

https://bibliotekanauki.pl/articles/1293115.pdf

Data publikacji:

1992

Wydawca:

Polska Akademia Nauk. Instytut Matematyczny PAN

Tematy:

symmetric lmc*-algebra
LFQ-algebra
maximal ideal space
Lindelöf space

Opis:

A question of Warner and Whitley concerning a nonunital version of the Gleason-Kahane-Żelazko theorem is considered in the context of nonnormed topological algebras. Among other things it is shown that a closed hyperplane M of a commutative symmetric F*-algebra E with Lindelöf Gel'fand space is a maximal regular ideal iff each element of M belongs to some closed maximal regular ideal of E.

Źródło:

Studia Mathematica; 1992, 103, 1; 41-49
0039-3223

Pojawia się w:

Studia Mathematica

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 54.

Tytuł:

Commutative directoids with sectionally antitone bijections

Autorzy:

Chajda, Ivan
Kolařík, Miroslav
Radeleczki, Sándor

Powiązania:

https://bibliotekanauki.pl/articles/728818.pdf

Data publikacji:

2008

Wydawca:

Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii

Tematy:

directoid
section antitone bijection
implication algebra
double implication algebra

Opis:

We study commutative directoids with a greatest element, which can be equipped with antitone bijections in every principal filter. These can be axiomatized as algebras with two binary operations satisfying four identities. A minimal subvariety of this variety is described.

Źródło:

Discussiones Mathematicae - General Algebra and Applications; 2008, 28, 1; 77-89
1509-9415

Pojawia się w:

Discussiones Mathematicae - General Algebra and Applications

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 55.

Tytuł:

Fuzzy n-fold integral filters in BL-algebras

Autorzy:

Borzooei, Rajab
Paad, Akbar

Powiązania:

https://bibliotekanauki.pl/articles/728978.pdf

Data publikacji:

2013

Wydawca:

Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii

Tematy:

BL-algebra
fuzzy n-fold obstinate filter
n-fold obstinate BL-algebra
n-fold integral BL-algebra and fuzzy n-fold integra filter

Opis:

In this paper, we introduce the notion of fuzzy n-fold integral filter in BL-algebras and we state and prove several properties of fuzzy n-fold integral filters. Using a level subset of a fuzzy set in a BL-algebra, we give a characterization of fuzzy n-fold integral filters. Also, we prove that the homomorphic image and preimage of fuzzy n-fold integral filters are also fuzzy n-fold integral filters. Finally, we study the relationship among fuzzy n-fold obstinate filters, fuzzy n-fold integral filters and fuzzy n-fold fantastic filters

Źródło:

Discussiones Mathematicae - General Algebra and Applications; 2013, 33, 1; 57-71
1509-9415

Pojawia się w:

Discussiones Mathematicae - General Algebra and Applications

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 56.

Tytuł:

Algebra with a symplectic form

Autorzy:

Włodarski, T.

Powiązania:

https://bibliotekanauki.pl/articles/745910.pdf

Data publikacji:

1986

Wydawca:

Polskie Towarzystwo Matematyczne

Opis:

The article contains no abstract

Źródło:

Commentationes Mathematicae; 1986, 26, 2
0373-8299

Pojawia się w:

Commentationes Mathematicae

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 57.

Tytuł:

Automorphisms of the Loeb algebra

Autorzy:

Ross, David

Powiązania:

https://bibliotekanauki.pl/articles/1363352.pdf

Data publikacji:

1987

Wydawca:

Polska Akademia Nauk. Instytut Matematyczny PAN

Źródło:

Fundamenta Mathematicae; 1987, 128, 1; 29-36
0016-2736

Pojawia się w:

Fundamenta Mathematicae

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 58.

Tytuł:

From arithmetic expressions to propositional formulae

Autorzy:

Stępień, L.
Stępień, M. R.

Powiązania:

https://bibliotekanauki.pl/articles/121623.pdf

Data publikacji:

2016

Wydawca:

Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane

Tematy:

algebra liniowa
programowanie deklaratywne
SAT solver
linear algebra
declarative programming

Opis:

In papers [3], [4], [5] Authors presented a new method of solving some kinds of computational tasks in the area of linear algebra by applying SAT-solver as the highly optimized algorithms for solving the problem of propositional satisfiability. On input SAT-solver (cf. [1], [2]) takes a propositional formula in the clause form. In this paper we show in detail how any arithmetical expression can be translated into propositional formula in the CNF form skipping out its traditional form. For this, we define the notion of consistency of arithmetic and boolean valuations.

Źródło:

Scientific Issues of Jan Długosz University in Częstochowa. Mathematics; 2016, 21; 135-143
2450-9302

Pojawia się w:

Scientific Issues of Jan Długosz University in Częstochowa. Mathematics

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 59.

Tytuł:

Corona theorem for strictly pseudoconvex domains

Autorzy:

Gwizdek, Sebastian

Powiązania:

https://bibliotekanauki.pl/articles/2048987.pdf

Data publikacji:

2021

Wydawca:

Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH

Tematy:

Banach algebra
uniform algebra
Arens product
Gleason part
band of measures
representing measures

Opis:

Nearly 60 years have passed since Lennart Carleson gave his proof of Corona Theorem for unit disc in the complex plane. It was only recently that M. Kosiek and K. Rudol obtained the first positive result for Corona Theorem in multidimensional case. Using duality methods for uniform algebras the authors proved “abstract” Corona Theorem which allowed to solve Corona Problem for a wide class of regular domains. In this paper we expand Corona Theorem to strictly pseudoconvex domains with smooth boundaries

Źródło:

Opuscula Mathematica; 2021, 41, 6; 843-848
1232-9274
2300-6919

Pojawia się w:

Opuscula Mathematica

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 60.

Tytuł:

Relatively perfect σ-algebras for flows

Autorzy:

Blanchard, F.
Kamiński, B.

Powiązania:

https://bibliotekanauki.pl/articles/1289369.pdf

Data publikacji:

1995

Wydawca:

Polska Akademia Nauk. Instytut Matematyczny PAN

Tematy:

entropy
flow
principal factor
relatively excellent σ-algebra
relatively perfect σ-algebra

Opis:

We show that for every ergodic flow, given any factor σ-algebra ℱ, there exists a σ-algebra which is relatively perfect with respect to ℱ. Using this result and Ornstein's isomorphism theorem for flows, we give a functorial definition of the entropy of flows.

Źródło:

Studia Mathematica; 1995, 114, 1; 71-85
0039-3223

Pojawia się w:

Studia Mathematica

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 61.

Tytuł:

Perturbation theory relative to a Banach algebra of operators

Autorzy:

Barnes, Bruce A.

Powiązania:

https://bibliotekanauki.pl/articles/1292602.pdf

Data publikacji:

1993

Wydawca:

Polska Akademia Nauk. Instytut Matematyczny PAN

Tematy:

Banach algebra of operators
Fredholm operator
perturbation theory
essential spectrum

Opis:

Let ℬ be a Banach algebra of bounded linear operators on a Banach space X. Let S be a closed linear operator in X, and let R be a linear operator in X. In this paper the spectral and Fredholm theory relative to ℬ of the perturbed operator S + R is developed. In particular, the situation where R is S-inessential relative to ℬ is studied. Several examples are given to illustrate the usefulness of these concepts.

Źródło:

Studia Mathematica; 1993, 106, 2; 153-174
0039-3223

Pojawia się w:

Studia Mathematica

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 62.

Tytuł:

Bounded lattices with antitone involutions and properties of MV-algebras

Autorzy:

Chajda, Ivan
Emanovský, Peter

Powiązania:

https://bibliotekanauki.pl/articles/728914.pdf

Data publikacji:

2004

Wydawca:

Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii

Tematy:

antitone involution
distributive lattice
implication algebra
MV-algebra

Opis:

We introduce a bounded lattice L = (L;∧,∨,0,1), where for each p ∈ L there exists an antitone involution on the interval [p,1]. We show that there exists a binary operation · on L such that L is term equivalent to an algebra A(L) = (L;·,0) (the assigned algebra to L) and we characterize A(L) by simple axioms similar to that of Abbott's implication algebra. We define new operations ⊕ and ¬ on A(L) which satisfy some of the axioms of MV-algebra. Finally we show what properties must be satisfied by L or A(L) to obtain all axioms of MV-algebra.

Źródło:

Discussiones Mathematicae - General Algebra and Applications; 2004, 24, 1; 31-42
1509-9415

Pojawia się w:

Discussiones Mathematicae - General Algebra and Applications

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 63.

Tytuł:

Retracts and Q-independence

Autorzy:

Chwastyk, Anna

Powiązania:

https://bibliotekanauki.pl/articles/728880.pdf

Data publikacji:

2007

Wydawca:

Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii

Tematy:

general algebra
term function
Q-independence
M, I, S, S₀, A₁, G-independence
t-independence
retraction
retract
Stone algebra
skeleton and set of dense element of Stone algebra
Glivenko congruence

Opis:

A non-empty set X of a carrier A of an algebra A is called Q-independent if the equality of two term functions f and g of the algebra A on any finite system of elements a₁,a₂,...,aₙ of X implies f(p(a₁),p(a₂),...,p(aₙ)) = g(p(a₁),p(a₂),...,p(aₙ)) for any mapping p ∈ Q. An algebra B is a retract of A if B is the image of a retraction (i.e. of an idempotent endomorphism of B). We investigate Q-independent subsets of algebras which have a retraction in their set of term functions.

Źródło:

Discussiones Mathematicae - General Algebra and Applications; 2007, 27, 2; 235-243
1509-9415

Pojawia się w:

Discussiones Mathematicae - General Algebra and Applications

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 64.

Tytuł:

Direct sums in general algebra

Autorzy:

Łoś, Jerzy

Powiązania:

https://bibliotekanauki.pl/articles/722440.pdf

Data publikacji:

1966

Wydawca:

Polska Akademia Nauk. Instytut Matematyczny PAN

Źródło:

Colloquium Mathematicum; 1966, 14, 1; 33-38
0010-1354

Pojawia się w:

Colloquium Mathematicum

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 65.

Tytuł:

Ideals in Banach algebra extensions

Autorzy:

Arens, Richard

Powiązania:

https://bibliotekanauki.pl/articles/1386598.pdf

Data publikacji:

1968

Wydawca:

Polska Akademia Nauk. Instytut Matematyczny PAN

Źródło:

Studia Mathematica; 1968, 31, 1; 29-34
0039-3223

Pojawia się w:

Studia Mathematica

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 66.

Tytuł:

Closed operators affiliated with a Banach algebra of operators

Autorzy:

Barnes, Bruce A.

Powiązania:

https://bibliotekanauki.pl/articles/1293309.pdf

Data publikacji:

1992

Wydawca:

Polska Akademia Nauk. Instytut Matematyczny PAN

Tematy:

closed operator
spectrum
Fredholm operator
semigroup of operators
Banach algebra

Opis:

Let ℬ be a Banach algebra of bounded linear operators on a Banach space X. If S is a closed operator in X such that (λ - S)^{-1} ∈ ℬ for some number λ, then S is affiliated with ℬ. The object of this paper is to study the spectral theory and Fredholm theory relative to ℬ of an operator which is affiliated with ℬ. Also, applications are given to semigroups of operators which are contained in ℬ.

Źródło:

Studia Mathematica; 1991-1992, 101, 3; 215-240
0039-3223

Pojawia się w:

Studia Mathematica

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 67.

Tytuł:

The use of computer algebra systems in the teaching process

Autorzy:

Paszeczko, M.
Barszcz, M.
Zagórski, I.

Powiązania:

https://bibliotekanauki.pl/articles/102387.pdf

Data publikacji:

2014

Wydawca:

Stowarzyszenie Inżynierów i Techników Mechaników Polskich

Tematy:

computer algebra systems
Mathcad
engineering calculations

Opis:

This work discusses computational capabilities of the programs belonging to the CAS (Computer Algebra Systems). A review of commercial and non-commercial software has been done here as well. In addition, there has been one of the programs belonging to the this group (program Mathcad) selected and its application to the chosen example has been presented. Computational capabilities and ease of handling were decisive factors for the selection.

Źródło:

Advances in Science and Technology. Research Journal; 2014, 8, 24; 38-43
2299-8624

Pojawia się w:

Advances in Science and Technology. Research Journal

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 68.

Tytuł:

The application of Boolean algebra in modelling of leakage condition of a car hydraulic braking system

Autorzy:

Idzikowski, A.
Salamon, S.

Powiązania:

https://bibliotekanauki.pl/articles/265849.pdf

Data publikacji:

2013

Wydawca:

Uniwersytet Zielonogórski. Oficyna Wydawnicza

Tematy:

układ hamulcowy
układ hydrauliczny
wyciek
algebra Boole'a
modelowanie
braking system
hydraulic circuit
leakage
Boolean algebra
modelling

Opis:

A general characteristics of a car hydraulic braking system (CHBS) is presented in this publication. A graphical model of properties-component objects is developed for the above-mentioned system. Moreover, four mathematical models in terms of logic, the set theory and the Boolean algebra of Boolean functions are developed. The examination is ended with a general model of the CHBS for n - Boolean variables and the construction and mathematical-technical interpretation of this model is presented.

Źródło:

International Journal of Applied Mechanics and Engineering; 2013, 18, 2; 353-363
1734-4492
2353-9003

Pojawia się w:

International Journal of Applied Mechanics and Engineering

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 69.

Tytuł:

A characterization of linear-multiplicative functionals in topological algebras

Autorzy:

Łuczak, Maciej

Powiązania:

https://bibliotekanauki.pl/articles/746214.pdf

Data publikacji:

2006

Wydawca:

Polskie Towarzystwo Matematyczne

Tematy:

A-pseudoconvex algebra
real algebra
Gleason–Kahane–Żelazko theorem
Kowalski–Słodkowski theorem

Opis:

The classical Gleason–Kahane–Żelazko theorem for complex Banach algebras was generalized for not necessary linear functionals by Kowalski and Słodkowski. We prove a version of the Kowalski–Słodkowski theorem for real Banach algebras and also for real and complex \(A\)-pseudoconvex algebras.

Źródło:

Commentationes Mathematicae; 2006, 46, 1
0373-8299

Pojawia się w:

Commentationes Mathematicae

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 70.

Tytuł:

Pseudo-amenability and pseudo-contractibility of restricted semigroup algebra

Autorzy:

Ogunsola, Olufemi Johnson
Daniel, Ifeyinwa E.

Powiązania:

https://bibliotekanauki.pl/articles/744665.pdf

Data publikacji:

2018

Wydawca:

Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie

Tematy:

pseudo-amenable
pseudo-contractible
restricted semigroup
semigroup algebra

Źródło:

Annales Universitatis Paedagogicae Cracoviensis. Studia Mathematica; 2018, 17
2300-133X

Pojawia się w:

Annales Universitatis Paedagogicae Cracoviensis. Studia Mathematica

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 71.

Tytuł:

C*-algebra of a differential groupoid

Autorzy:

Stachura, Piotr

Powiązania:

https://bibliotekanauki.pl/articles/1207719.pdf

Data publikacji:

2000

Wydawca:

Polska Akademia Nauk. Instytut Matematyczny PAN

Źródło:

Banach Center Publications; 2000, 51, 1; 263-281
0137-6934

Pojawia się w:

Banach Center Publications

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 72.

Tytuł:

The integral in a Boolean algebra

Autorzy:

Sikorski, Roman

Powiązania:

https://bibliotekanauki.pl/articles/969397.pdf

Data publikacji:

1949

Wydawca:

Polska Akademia Nauk. Instytut Matematyczny PAN

Źródło:

Colloquium Mathematicum; 1949-1950, 2, 1; 20-26
0010-1354

Pojawia się w:

Colloquium Mathematicum

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 73.

Tytuł:

Pick interpolation for a uniform algebra

Autorzy:

Wermer, J.

Powiązania:

https://bibliotekanauki.pl/articles/1360883.pdf

Data publikacji:

1994

Wydawca:

Polska Akademia Nauk. Instytut Matematyczny PAN

Źródło:

Banach Center Publications; 1994, 30, 1; 333-335
0137-6934

Pojawia się w:

Banach Center Publications

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 74.

Tytuł:

Zur Grundlegung der Booleschen Algebra. I

Autorzy:

Tarski, Alfred

Powiązania:

https://bibliotekanauki.pl/articles/1385008.pdf

Data publikacji:

1935

Wydawca:

Polska Akademia Nauk. Instytut Matematyczny PAN

Źródło:

Fundamenta Mathematicae; 1935, 24, 1; 177-198
0016-2736

Pojawia się w:

Fundamenta Mathematicae

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 75.

Tytuł:

Every Segal algebra satisfies Ditkins condition

Autorzy:

Yap, Leonard

Powiązania:

https://bibliotekanauki.pl/articles/1386306.pdf

Data publikacji:

1971

Wydawca:

Polska Akademia Nauk. Instytut Matematyczny PAN

Źródło:

Studia Mathematica; 1971, 40, 3; 235-237
0039-3223

Pojawia się w:

Studia Mathematica

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 76.

Tytuł:

Kac−Paljutkin quantum group as a quantum subgroup of the quantum SU(2)

Autorzy:

Kitagawa, Megumi

Powiązania:

https://bibliotekanauki.pl/articles/1912842.pdf

Data publikacji:

2019

Wydawca:

Polskie Towarzystwo Matematyczne

Tematy:

Quantum group
Kac−Paljutkin Hopf algebra
operator algebra

Opis:

We show that the Kac−Paljutkin Hopf algebra appears as a quotient of \(C(\mathit{SU}_{-1}(2))\), which means that the corresponding quantum group \(G_{\kp}\) can be regarded as a quantum subgroup of \(\mathit{SU}_{-1}(2)\). We combine the fact that corepresentation category of the Kac−Paljutkin Hopf algebra is a Tambara−Yamagami tensor category associated with the Krein 4-group and the method of graded twisting of Hopf algebras, to construct the Hopf \(*\)-homomorphism.

Źródło:

Commentationes Mathematicae; 2019, 59, 1-2
0373-8299

Pojawia się w:

Commentationes Mathematicae

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 77.

Tytuł:

An example of a Fréchet algebra which is a principal ideal domain

Autorzy:

Carboni, Graciela
Larotonda, Angel

Powiązania:

https://bibliotekanauki.pl/articles/1206135.pdf

Data publikacji:

2000

Wydawca:

Polska Akademia Nauk. Instytut Matematyczny PAN

Tematy:

Fréchet algebra
principal ideal domain
quasi-analytic class

Opis:

We construct an example of a Fréchet m-convex algebra which is a principal ideal domain, and has the unit disk as the maximal ideal space.

Źródło:

Studia Mathematica; 2000, 138, 3; 265-275
0039-3223

Pojawia się w:

Studia Mathematica

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 78.

Tytuł:

Models of information system layers

Autorzy:

Ovsyak, V.
Ovsyak, O.

Powiązania:

https://bibliotekanauki.pl/articles/114454.pdf

Data publikacji:

2015

Wydawca:

Stowarzyszenie Inżynierów i Techników Mechaników Polskich

Tematy:

information system layers
model of information system layers
subsystem
algorithm algebra
modified algorithmic algebra system

Opis:

Models of information system layers as a scheme, algebraic expressions and computer model were created. Algebraic model of information system layers is synthesized by means of algebraic algorithms and modified systems of algorithmic algebras. A computer model of layers is created in environment Microsoft Visual Studio .NET. A four-layer model of abstract information system in the form of diagrams, mathematical formulas and models of computer system was created. Comparison of object models is performed.

Źródło:

Measurement Automation Monitoring; 2015, 61, 5; 151-153
2450-2855

Pojawia się w:

Measurement Automation Monitoring

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 79.

Tytuł:

On pseudo BE-algebras

Autorzy:

Borzooei, Rajab
Saeid, Arsham
Rezaei, Akbar
Radfar, Akefe
Ameri, Reza

Powiązania:

https://bibliotekanauki.pl/articles/728936.pdf

Data publikacji:

2013

Wydawca:

Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii

Tematy:

BE-algebra
Pseudo BE-algebra
pseudo filter
pseudo upper set

Opis:

In this paper, we introduce the notion of pseudo BE-algebra which is a generalization of BE-algebra. We define the concepts of pseudo subalgebras and pseudo filters and prove that, under some conditions, pseudo subalgebra can be a pseudo filter. We prove that every homomorphic image and pre-image of a pseudo filter is also a pseudo filter. Furthermore, the notion of pseudo upper sets in pseudo BE-algebras introduced and is proved that every pseudo filter is an union of pseudo upper sets.

Źródło:

Discussiones Mathematicae - General Algebra and Applications; 2013, 33, 1; 95-108
1509-9415

Pojawia się w:

Discussiones Mathematicae - General Algebra and Applications

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 80.

Tytuł:

Matrix black box algorithms - a survey

Autorzy:

Respondek, Jerzy

Powiązania:

https://bibliotekanauki.pl/articles/2173638.pdf

Data publikacji:

2022

Wydawca:

Polska Akademia Nauk. Czytelnia Czasopism PAN

Tematy:

matrix algebra
matrix multiplication algorithm
numerical recipes
recursion
algebra macierzowa
algorytm mnożenia macierzy
receptury numeryczne
rekurencja

Opis:

The implementations of matrix multiplication on contemporary, vector-oriented, and multicore-oriented computer hardware are very carefully designed and optimized with respect to their efficiency, due to the essential significance of that operation in other science and engineering domains. Consequently, the available implementations are very fast and it is a natural desire to take advantage of the efficiency of those implementations in other problems, both matrix and nonmatrix. Such an approach is often called a black box matrix computation paradigm in the literature on the subject. In this article, we gathered a broad series of algorithms taking advantage of the efficiency of fast matrix multiplication algorithms in other mathematical and computer science operations.

Źródło:

Bulletin of the Polish Academy of Sciences. Technical Sciences; 2022, 70, 2; art. no. e140535
0239-7528

Pojawia się w:

Bulletin of the Polish Academy of Sciences. Technical Sciences

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 81.

Tytuł:

On the Fundamental Theorem of Algebra

Autorzy:

Vaggione, Diego

Powiązania:

https://bibliotekanauki.pl/articles/966715.pdf

Data publikacji:

1997

Wydawca:

Polska Akademia Nauk. Instytut Matematyczny PAN

Źródło:

Colloquium Mathematicum; 1997, 73, 2; 193-194
0010-1354

Pojawia się w:

Colloquium Mathematicum

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 82.

Tytuł:

Extension of algebra norms and applications

Autorzy:

Lindberg, John

Powiązania:

https://bibliotekanauki.pl/articles/1386316.pdf

Data publikacji:

1971

Wydawca:

Polska Akademia Nauk. Instytut Matematyczny PAN

Źródło:

Studia Mathematica; 1971, 40, 1; 35-39
0039-3223

Pojawia się w:

Studia Mathematica

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 83.

Tytuł:

An infinite dimensional Banach algebra with all but one maximal abelian subalgebras of dimension two

Autorzy:

Żelazko, Wiesław

Powiązania:

https://bibliotekanauki.pl/articles/960131.pdf

Data publikacji:

2008

Wydawca:

Polskie Towarzystwo Matematyczne

Tematy:

Abelian algebra
Bounded operators
Complex Banach space

Opis:

I construct a unital closed subalgebra of L(H) with the property announced in the title. Moreover, for any two maxiamal abelian subalgebras of the algebra in question, their intersection consists only of scalar multiples of the unity.

Źródło:

Commentationes Mathematicae; 2008, 48, 1
0373-8299

Pojawia się w:

Commentationes Mathematicae

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 84.

Tytuł:

A systematic approach for solving the great circle track problems based on vector algebra

Autorzy:

Chen, C. L.

Powiązania:

https://bibliotekanauki.pl/articles/260175.pdf

Data publikacji:

2016

Wydawca:

Politechnika Gdańska. Wydział Inżynierii Mechanicznej i Okrętownictwa

Tematy:

great circle
vector algebra
multiple products
spherical trigonometry

Opis:

A systematic approach, based on multiple products of the vector algebra (S-VA), is proposed to derive the spherical triangle formulae for solving the great circle track (GCT) problems. Because the mathematical properties of the geometry and algebra are both embedded in the S-VA approach, derivations of the spherical triangle formulae become more understandable and more straightforward as compared with those approaches which use the complex linear combination of a vector basis. In addition, the S-VA approach can handle all given initial conditions for solving the GCT problems simpler, clearer and avoid redundant formulae existing in the conventional approaches. With the technique of transforming the Earth coordinates system of latitudes and longitudes into the Cartesian one and adopting the relative longitude concept, the concise governing equations of the S-VA approach can be easily and directly derived. Owing to the advantage of the S-VA approach, it makes the practical navigator quickly adjust to solve the GCT problems. Based on the S-VA approach, a program namely GCTPro_VA is developed for friendly use of the navigator. Several validation examples are provided to show the S-VA approach is simple and versatile to solve the GCT problems.

Źródło:

Polish Maritime Research; 2016, 2; 3-13
1233-2585

Pojawia się w:

Polish Maritime Research

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 85.

Tytuł:

Closed ideals in a new class of algebras of holomorphic functions on the disc

Autorzy:

Merino-Cruz, Hector
Wawrzyńczyk, Antoni

Powiązania:

https://bibliotekanauki.pl/articles/1912864.pdf

Data publikacji:

2014

Wydawca:

Polskie Towarzystwo Matematyczne

Tematy:

Banach algebra
disc algebra
standard ideal

Opis:

We define a new class of Banach algebras of holomorphic functions on the unit disc \(\mathbb{D}\) which contains the algebras studied in [GMR2] and [GW]. To a function G of the class \(\mathcal{A}^1 (\mathbb{D})\) nowhere vanishing in \(\mathbb{D}\) we associate a Banach algebra \(\mathcal{A}^n_G (\mathbb{D})\) contained in the disc algebra \(\mathcal{A}(\mathbb{D})\). We prove that all closed ideals of \(\mathcal{A}^n_G (\mathbb{D})\) of at most countable hull are of the standard form.

Źródło:

Commentationes Mathematicae; 2014, 54, 1
0373-8299

Pojawia się w:

Commentationes Mathematicae

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 86.

Tytuł:

Quotient hyper pseudo BCK-algebras

Autorzy:

Harizavi, Habib
Koochakpoor, Tayebeh
Boorzoei, Rajab

Powiązania:

https://bibliotekanauki.pl/articles/729069.pdf

Data publikacji:

2013

Wydawca:

Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii

Tematy:

hyper pseudo BCK-algebra
normal hyper pseudo BCK-ideal
quotient hyper pseudo BCK-algebra

Opis:

In this paper, we first investigate some properties of the hyper pseudo BCK-algebras. Then we define the concepts of strong and reflexive hyper pseudo BCK-ideals and establish some relationships among them and the other types of hyper pseudo BCK-ideals. Also, we introduce the notion of regular congruence relation on hyper pseudo BCK-algebras and investigate some related properties. By using this relation, we construct the quotient hyper pseudo BCK-algebra and give some related results.

Źródło:

Discussiones Mathematicae - General Algebra and Applications; 2013, 33, 2; 147-165
1509-9415

Pojawia się w:

Discussiones Mathematicae - General Algebra and Applications

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 87.

Tytuł:

Models of layers of information systems
Modele warstw systemów informatycznych

Autorzy:

Ovsyak, V.
Ovsyak, O.

Powiązania:

https://bibliotekanauki.pl/articles/153322.pdf

Data publikacji:

2014

Wydawca:

Stowarzyszenie Inżynierów i Techników Mechaników Polskich

Tematy:

information system layers
model of information system layers
subsystem
algorithm algebra
modified algorithmic algebra system
warstwy systemu informatycznego
model warstw systemu informatycznego
podsystem
algebra algorytmów
system algebr algorytmicznych modyfikowany

Opis:

Model of information system layers as a scheme, algebraic expressions and computer model were created. Algebraic model of information system layers is synthesized by means of algebraic algorithms and modified systems of algorithmic algebras. A computer model of layers is created in environment Microsoft Visual Studio .NET. A four-layer model of abstract information system in the form of diagrams, mathematical formulas and models of computer system were created. Comparison of object models is performed.
W pracy zaprezentowano metodę uproszczenia złożoności projektowania systemu informacyjnego, polegającą na jego podziale na warstwy, z których każda zawiera jeden lub więcej podsystemów. Metoda jest oparta na wykorzystaniu zmodyfikowanego systemu algebr algorytmicznych, opracowanego przez autora [1, 2]. Przedstawiono ogólny model algebry algorytmów w postaci warstw algorytmu, który zaimplementowano w programie komputerowym. Omówiono modele warstw systemu informatycznego utworzone w postaci schematu, wykresów algebraicznych i modelu komputerowego. W programie komputerowym warstwy są reprezentowane w formie zagnieżdżonych prostokątów (rys. 8). Modele algebraiczne warstw systemu informatycznego zostały zsyntezowane przy zastosowaniu zasobów algebry algorytmów i zmodyfikowanego systemu algebr algorytmicznych (tab. 1). Model komputerowy warstw zbudowano w środowisku Microsoft Visual Studio. NET. Utworzono czteropoziomowy model warstw informatycznego systemu abstrakcyjnego w postaci schematów, wykresów matematycznych i modelu systemu komputerowego. Pokazano wyniki porównania utworzonych modeli.

Źródło:

Pomiary Automatyka Kontrola; 2014, R. 60, nr 6, 6; 388-390
0032-4140

Pojawia się w:

Pomiary Automatyka Kontrola

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 88.

Tytuł:

An algebra associated with the generalized sublaplacian

Autorzy:

Stempak, Krzysztof

Powiązania:

https://bibliotekanauki.pl/articles/1389013.pdf

Data publikacji:

1988

Wydawca:

Polska Akademia Nauk. Instytut Matematyczny PAN

Źródło:

Studia Mathematica; 1988, 88, 3; 245-256
0039-3223

Pojawia się w:

Studia Mathematica

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 89.

Tytuł:

The exocenter of a double Heyting algebra

Autorzy:

Bowen, W.

Powiązania:

https://bibliotekanauki.pl/articles/723468.pdf

Data publikacji:

1986

Wydawca:

Polska Akademia Nauk. Instytut Matematyczny PAN

Źródło:

Colloquium Mathematicum; 1985-1986, 50, 2; 173-185
0010-1354

Pojawia się w:

Colloquium Mathematicum

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 90.

Tytuł:

Interior and closure operators on bounded commutative residuated l-monoids

Autorzy:

Rachůnek, Jiří
Švrček, Filip

Powiązania:

https://bibliotekanauki.pl/articles/728848.pdf

Data publikacji:

2008

Wydawca:

Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii

Tematy:

residuated l-monoid
residuated lattice
closure operator
BL-algebra
MV-algebra

Opis:

Topological Boolean algebras are generalizations of topological spaces defined by means of topological closure and interior operators, respectively. The authors in [14] generalized topological Boolean algebras to closure and interior operators of MV-algebras which are an algebraic counterpart of the Łukasiewicz infinite valued logic. In the paper, these kinds of operators are extended (and investigated) to the wide class of bounded commutative Rl-monoids that contains e.g. the classes of BL-algebras (i.e., algebras of the Hájek's basic fuzzy logic) and Heyting algebras as proper subclasses.

Źródło:

Discussiones Mathematicae - General Algebra and Applications; 2008, 28, 1; 11-27
1509-9415

Pojawia się w:

Discussiones Mathematicae - General Algebra and Applications

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 91.

Tytuł:

The lattice of subvarieties of the biregularization of the variety of Boolean algebras

Autorzy:

Płonka, Jerzy

Powiązania:

https://bibliotekanauki.pl/articles/729041.pdf

Data publikacji:

2001

Wydawca:

Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii

Tematy:

subdirectly irreducible algebra
lattice of subvarieties
Boolean algebra
biregular identity

Opis:

Let τ: F → N be a type of algebras, where F is a set of fundamental operation symbols and N is the set of all positive integers. An identity φ ≈ ψ is called biregular if it has the same variables in each of it sides and it has the same fundamental operation symbols in each of it sides. For a variety V of type τ we denote by $V_{b}$ the biregularization of V, i.e. the variety of type τ defined by all biregular identities from Id(V).
Let B be the variety of Boolean algebras of type $τ_{b}: {+,·,´} → N$, where $τ_{b}(+) = τ_{b}(·) = 2$ and $τ_{b}(´) = 1$. In this paper we characterize the lattice $ℒ(B_{b})$ of all subvarieties of the biregularization of the variety B.

Źródło:

Discussiones Mathematicae - General Algebra and Applications; 2001, 21, 2; 255-268
1509-9415

Pojawia się w:

Discussiones Mathematicae - General Algebra and Applications

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 92.

Tytuł:

Subdirect decompositions of algebras from 2-clone extensions of varieties

Autorzy:

Płonka, J.

Powiązania:

https://bibliotekanauki.pl/articles/966077.pdf

Data publikacji:

1998

Wydawca:

Polska Akademia Nauk. Instytut Matematyczny PAN

Tematy:

lattice
varieties
subdirectly irreducible algebra
Boolean algebra
clone extension of a variety
subdirect product

Opis:

Let τ:F → ℕ be a type of algebras, where F is a set of fundamental operation symbols and ℕ is the set of nonnegative integers. We assume that |F|≥2 and 0 ∉ (F). For a term φ of type τ we denote by F(φ) the set of fundamental operation symbols from F occurring in φ. An identity φ ≉ ψ of type τ is called clone compatible if φ and ψ are the same variable or F(φ)=F(ψ)≠$\emptyset$. For a variety V of type τ we denote by $V^{c,2}$ the variety of type τ defined by all identities φ ≉ ψ from Id(V) which are either clone compatible or |F(φ)|, |F(ψ)|≥2. Under some assumption on terms (condition (0.iii)) we show that an algebra ${\gt A}$ belongs to $V^{c,2}$ iff it is isomorphic to a subdirect product of an algebra from V and of some other algebras of very simple structure. This result is applied to finding subdirectly irreducible algebras in $V^{c,2}$ where V is the variety of distributive lattices or the variety of Boolean algebras.

Źródło:

Colloquium Mathematicum; 1998, 77, 2; 189-199
0010-1354

Pojawia się w:

Colloquium Mathematicum

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 93.

Tytuł:

Decomposition of the GUI by means of modified algorithm algebra

Autorzy:

Ovsyak, V.
Ovsyak, O.

Powiązania:

https://bibliotekanauki.pl/articles/114373.pdf

Data publikacji:

2015

Wydawca:

Stowarzyszenie Inżynierów i Techników Mechaników Polskich

Tematy:

control icon
graphic interface
GUI
icon model
algorithm algebra
algorithm formula processing

Opis:

Using operations of cyclic sequencing and cyclic paralleling of the modified algebra of algorithms we have built compact model of decomposition of the formulas processing system of algebra of algorithms. We have developed the generalized abstract model of user graphic interface of a computer system. Based on the generalized model we have created the model of a user interface fragment for formulas processing of algorithm algebra.

Źródło:

Measurement Automation Monitoring; 2015, 61, 8; 413-415
2450-2855

Pojawia się w:

Measurement Automation Monitoring

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 94.

Tytuł:

The center of an algebra of operators

Autorzy:

Zappa, Anna

Powiązania:

https://bibliotekanauki.pl/articles/724076.pdf

Data publikacji:

1978

Wydawca:

Polska Akademia Nauk. Instytut Matematyczny PAN

Źródło:

Colloquium Mathematicum; 1978, 39, 2; 343-349
0010-1354

Pojawia się w:

Colloquium Mathematicum

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 95.

Tytuł:

Die fastdirekten Zerlegungen einer allgemeinen Algebra, II

Autorzy:

Armbrust, Manfred

Powiązania:

https://bibliotekanauki.pl/articles/725127.pdf

Data publikacji:

1967

Wydawca:

Polska Akademia Nauk. Instytut Matematyczny PAN

Źródło:

Colloquium Mathematicum; 1967, 17, 1; 1-22
0010-1354

Pojawia się w:

Colloquium Mathematicum

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 96.

Tytuł:

Axiomatization of quasigroups

Autorzy:

Smith, Jonathan

Powiązania:

https://bibliotekanauki.pl/articles/729131.pdf

Data publikacji:

2006

Wydawca:

Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii

Tematy:

quasigroup
heterogeneous algebra
hyperidentity

Opis:

Quasigroups were originally described combinatorially, in terms of existence and uniqueness conditions on the solutions to certain equations. Evans introduced a universal-algebraic characterization, as algebras with three binary operations satisfying four identities. Now, quasigroups are redefined as heterogeneous algebras, satisfying just two conditions respectively known as hypercommutativity and hypercancellativity.

Źródło:

Discussiones Mathematicae - General Algebra and Applications; 2007, 27, 1
1509-9415

Pojawia się w:

Discussiones Mathematicae - General Algebra and Applications

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 97.

Tytuł:

Die fastdirekten Zerlegungen einer allgemeinen Algebra. I

Autorzy:

Armbrust, Manfred

Powiązania:

https://bibliotekanauki.pl/articles/722528.pdf

Data publikacji:

1966

Wydawca:

Polska Akademia Nauk. Instytut Matematyczny PAN

Źródło:

Colloquium Mathematicum; 1966, 14, 1; 39-62
0010-1354

Pojawia się w:

Colloquium Mathematicum

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 98.

Tytuł:

Skein algebra of a group

Autorzy:

Przytycki, Józef
Sikora, Adam

Powiązania:

https://bibliotekanauki.pl/articles/1342394.pdf

Data publikacji:

1998

Wydawca:

Polska Akademia Nauk. Instytut Matematyczny PAN

Opis:

We define for each group G the skein algebra of G. We show how it is related to the Kauffman bracket skein modules. We prove that skein algebras of abelian groups are isomorphic to symmetric subalgebras of corresponding group rings. Moreover, we show that, for any abelian group G, homomorphisms from the skein algebra of G to C correspond exactly to traces of SL(2,C)-representations of G. We also solve, for abelian groups, the conjecture of Bullock on SL(2,C) character varieties of groups - we show that skein algebras are isomorphic to the coordinate rings of the corresponding character varieties.

Źródło:

Banach Center Publications; 1998, 42, 1; 297-306
0137-6934

Pojawia się w:

Banach Center Publications

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 99.

Tytuł:

A semitopological algebra without proper closed subalgebras

Autorzy:

Żelazko, W.

Powiązania:

https://bibliotekanauki.pl/articles/966786.pdf

Data publikacji:

1998

Wydawca:

Polska Akademia Nauk. Instytut Matematyczny PAN

Opis:

To Czesław Ryll-Nardzewski on his 70th birthday

Źródło:

Colloquium Mathematicum; 1997, 74, 2; 239-242
0010-1354

Pojawia się w:

Colloquium Mathematicum

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce

Skocz do pozycji: 100.

Tytuł:

A generalized group algebra for compact groups

Autorzy:

Grove, Larry

Powiązania:

https://bibliotekanauki.pl/articles/1386745.pdf

Data publikacji:

1965

Wydawca:

Polska Akademia Nauk. Instytut Matematyczny PAN

Źródło:

Studia Mathematica; 1965-1966, 26, 1; 73-90
0039-3223

Pojawia się w:

Studia Mathematica

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

Zmień widok

• na półce