Wszystkie pola: the Boolean algebra - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Artykuł

Skocz do pozycji: 2.

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

Artykuł

Skocz do pozycji: 3.

Tytuł:: The determination of representative elements in the residual classes of a Boolean algebra
Autorzy:: von Neumann, J.
Stone, M.
Powiązania:: https://bibliotekanauki.pl/articles/1384969.pdf
Data publikacji:: 1935
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Źródło:: Fundamenta Mathematicae; 1935, 25, 1; 353-378
0016-2736
Pojawia się w:: Fundamenta Mathematicae
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 4.

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

Artykuł

Skocz do pozycji: 5.

Tytuł:: A rigid Boolean algebra that admits the elimination of Q21
Autorzy:: Mildenberg, H.
Powiązania:: https://bibliotekanauki.pl/articles/1208667.pdf
Data publikacji:: 1993
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Opis:: Using ♢ , we construct a rigid atomless Boolean algebra that has no uncountable antichain and that admits the elimination of the Malitz quantifier $Q_1^2$.
Źródło:: Fundamenta Mathematicae; 1993, 142, 1; 1-18
0016-2736
Pojawia się w:: Fundamenta Mathematicae
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 6.

Tytuł:: The sequential topology on complete Boolean algebras
Autorzy:: Główczyński, Wiesław
Balcar, Bohuslav
Jech, Thomas
Powiązania:: https://bibliotekanauki.pl/articles/1205404.pdf
Data publikacji:: 1998
Wydawca:: Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:: complete Boolean algebra
sequential topology
Maharam submeasure
sequential cardinal
Opis:: We investigate the sequential topology $τ_{s}$ on a complete Boolean algebra B determined by algebraically convergent sequences in B. We show the role of weak distributivity of B in separation axioms for the sequential topology. The main result is that a necessary and sufficient condition for B to carry a strictly positive Maharam submeasure is that B is ccc and that the space $(B,τ_{s})$ is Hausdorff. We also characterize sequential cardinals.
Źródło:: Fundamenta Mathematicae; 1998, 155, 1; 59-78
0016-2736
Pojawia się w:: Fundamenta Mathematicae
Dostawca treści:: Biblioteka Nauki

Artykuł

Informacja