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ę "the Boolean algebra" wg kryterium: Wszystkie pola

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-8 z 8
    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
    Artykuł
    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
    Artykuł
    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ł
    Tytuł:
    Modelowanie dynamiki obserwacji procesów nieszczelności podsystemów HSUH o dwóch komorach w pompie hamulcowej
    Modeling of the dynamics of observation of leakage processes in HUSH subsystems with two chambers in the master cylinder
    Autorzy:
    Salamon, Szymon
    Powiązania:
    https://bibliotekanauki.pl/articles/2200315.pdf
    Data publikacji:
    2022
    Wydawca:
    Stowarzyszenie Menedżerów Jakości i Produkcji
    Tematy:
    pojazd samochodowy
    układ hamulcowy
    strukturalizacja badania szczelności
    algebra Boole'a
    motor vehicle
    braking system
    structuring of leak testing
    Boolean algebra
    Opis:
    Układy hamulcowe współczesnych pojazdów samochodowych są systemami technicznymi o rozbudowanej strukturze konstrukcyjnej i funkcjonalnej. Układy te muszą charakteryzować się podstawowym wymaganiem jakim jest szczelność tego systemu. Badanie szczelności rozproszonej konstrukcyjnie zamkniętej przestrzeni roboczej (a taką konstrukcją jest układ hamulcowy pojazdu samochodowego) jest poważnym wyzwaniem dla diagnostyki stanu technicznego tego systemu. W naturalny sposób ujawnia się potrzeba optymalizacji (strukturalizacji) procesu diagnozowania w szczególności jego szczelności. Autor w niniejszym artykule prezentuje podejście do tego zagadnienia w świetle algebry Boole’a. Podejście to przedstawiono na przykładzie samochodowego hydraulicznego układu hamulcowego dwuobwodowego, posiadającego obwód hamowania kół przednich i tylnych.
    Braking systems of modern motor vehicles are technical systems with an extensive structural and functional structure. These systems must be characterized by the basic requirement which is the tightness of the system. Testing the tightness of a dispersed constructionally closed working space (and such a structure is the braking system of a motor vehicle) is a serious challenge for the diagnosis of the technical condition of this system. The need to optimize (structurize) the diagnosis process, in particular its tightness, appears naturally. In this article, the author presents an approach to this issue in the light of Boolean algebra. This approach is illustrated by the example of an automotive hydraulic dual circuit braking system having front and rear wheel braking circuits.
    Źródło:
    Archiwum Wiedzy Inżynierskiej; 2022, 7, 1; 17--20
    2544-2449
    Pojawia się w:
    Archiwum Wiedzy Inżynierskiej
    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ł:
    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ł
    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ł
      Wyświetlanie 1-8 z 8

      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