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ł:

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: 8.

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: 9.

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: 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 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: 12.

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: 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ł:

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: 31.

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: 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ł:

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: 34.

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: 35.

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: 36.

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: 37.

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: 38.

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: 39.

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: 40.

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: 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ł:

On Implicative and Positive Implicative GE Algebras

Autorzy:

Walendziak, Andrzej

Powiązania:

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

Data publikacji:

2023

Wydawca:

Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego

Tematy:

GE algebra
tGE algebra
BCK algebra
Hilbert algebra
(positive) implicativity

Opis:

GE algebras (generalized exchange algebras), transitive GE algebras (tGE algebras, for short) and aGE algebras (that is, GE algebrasverifying the antisymmetry) are a generalization of Hilbert algebras. Here some properties and characterizations of these algebras are investigated. Connections between GE algebras and other classes of algebras of logic are studied. The implicative and positive implicative properties are discussed. It is shown that the class of positive implicative GE algebras (resp. the class of implicative aGE algebras) coincides with the class of generalized Tarski algebras (resp. the class of Tarski algebras). It is proved that for any aGE algebra the property of implicativity is equivalent to the commutative property. Moreover, several examples to illustrate the results are given. Finally, the interrelationships between some classes of implicative and positive implicative algebras are presented.

Źródło:

Bulletin of the Section of Logic; 2023, 52, 4; 497-515
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: 47.

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: 48.

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: 49.

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: 50.

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