Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "Boolean algebra" wg kryterium: Temat

  Lista filtrów
Wyrównaj
Wyświetlanie 1-10 z 22
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
Artykuł
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
Artykuł
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
Artykuł
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ł
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ł
Tytuł:
Ring-like operations is pseudocomplemented semilattices
Autorzy:
Chajda, Ivan
Länger, Helmut
Powiązania:
https://bibliotekanauki.pl/articles/728882.pdf
Data publikacji:
2000
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
pseudocomplemented semilattice
Boolean algebra
Boolean ring
distributivity
linear equation
ideal
congruence kernel
Opis:
Ring-like operations are introduced in pseudocomplemented semilattices in such a way that in the case of Boolean pseudocomplemented semilattices one obtains the corresponding Boolean ring operations. Properties of these ring-like operations are derived and a characterization of Boolean pseudocomplemented semilattices in terms of these operations is given. Finally, ideals in the ring-like structures are defined and characterized.
Źródło:
Discussiones Mathematicae - General Algebra and Applications; 2000, 20, 1; 87-95
1509-9415
Pojawia się w:
Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Quantum logics with classically determined states
Autorzy:
de Lucia, Paolo
Pták, Pavel
Powiązania:
https://bibliotekanauki.pl/articles/965853.pdf
Data publikacji:
1999
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:
quantum logic (= orthomodular poset)
Boolean algebra
state (= probability measure)
Źródło:
Colloquium Mathematicum; 1999, 80, 1; 147-154
0010-1354
Pojawia się w:
Colloquium Mathematicum
Dostawca treści:
Biblioteka Nauki
Artykuł
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
Artykuł
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
Artykuł
Tytuł:
Synthesis of FSMs Based on Architectural Decomposition with Joined Multiple Encoding
Autorzy:
Bukowiec, A.
Powiązania:
https://bibliotekanauki.pl/articles/227248.pdf
Data publikacji:
2012
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
Boolean algebra
circuit synthesis
field programmable gate array (FPGA)
sequential circuits
Opis:
The method of synthesis of the logic circuit of finite state machine (FSM) with Mealy's outputs is proposed in this paper. Proposed method is based on the innovate encoding of microinstructions split into subsets. Code of microinstruction is represented as a part of current state code and code of microinstruction inside of current subset. It leads to realization of FSM as s double-level structure. It leads to diminishing of number of variables required for encoding of microinstructions. Such approach permits to decrease the number of required outputs of combinational part of FSM.
Źródło:
International Journal of Electronics and Telecommunications; 2012, 58, 1; 35-41
2300-1933
Pojawia się w:
International Journal of Electronics and Telecommunications
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-10 z 22

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies