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ę "closure system" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-7 z 7
    Tytuł:
    A Syntactic Approach to Closure Operation
    Autorzy:
    Nowak, Marek
    Powiązania:
    https://bibliotekanauki.pl/articles/750010.pdf
    Data publikacji:
    2017
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    closure operation
    closure system
    rule of inference
    Opis:
    In the paper, tracing the traditional Hilbert-style syntactic account of logics, a syntactic characteristic of a closure operation defined on a complete lattice follows. The approach is based on observation that the role of rule of inference for a given consequence operation may be played by an ordinary binary relation on the complete lattice on which the closure operation is defined.
    Źródło:
    Bulletin of the Section of Logic; 2017, 46, 3/4
    0138-0680
    2449-836X
    Pojawia się w:
    Bulletin of the Section of Logic
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Note on algebraic interior systems
    Autorzy:
    Chajda, Ivan
    Powiązania:
    https://bibliotekanauki.pl/articles/729087.pdf
    Data publikacji:
    2005
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    interior system
    algebraic closure system
    interior algebraic system
    Opis:
    We get an interrelation between an algebraic closure system and its conjugated interior system. We introduce the concept of algebraic interior system and we get its representation.
    Źródło:
    Discussiones Mathematicae - General Algebra and Applications; 2005, 25, 2; 149-153
    1509-9415
    Pojawia się w:
    Discussiones Mathematicae - General Algebra and Applications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Flocks in universal and Boolean algebras
    Autorzy:
    Ricci, Gabriele
    Powiązania:
    https://bibliotekanauki.pl/articles/729039.pdf
    Data publikacji:
    2010
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    combinators
    elementary functions
    closure system
    interpolators
    semi-affine lattice
    Opis:
    We propose the notion of flocks, which formerly were introduced only in based algebras, for any universal algebra. This generalization keeps the main properties we know from vector spaces, e.g. a closure system that extends the subalgebra one. It comes from the idempotent elementary functions, we call "interpolators", that in case of vector spaces merely are linear functions with normalized coefficients.
    The main example, we consider outside vector spaces, concerns Boolean algebras, where flocks form "local" algebras with a sparseness similar to the one of vector spaces. We also outline the problem of generalizing the Segre transformations of based algebras, which used certain flocks, in order to approach a general transformation notion.
    Źródło:
    Discussiones Mathematicae - General Algebra and Applications; 2010, 30, 1; 45-69
    1509-9415
    Pojawia się w:
    Discussiones Mathematicae - General Algebra and Applications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    On interval decomposition lattices
    Autorzy:
    Foldes, Stephan
    Radeleczki, Sándor
    Powiązania:
    https://bibliotekanauki.pl/articles/728916.pdf
    Data publikacji:
    2004
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    interval
    closure system
    modular decomposition
    semimodular lattice
    partition lattice
    strong set
    lexicographic sum
    Opis:
    Intervals in binary or n-ary relations or other discrete structures generalize the concept of interval in an ordered set. They are defined abstractly as closed sets of a closure system on a set V, satisfying certain axioms. Decompositions are partitions of V whose blocks are intervals, and they form an algebraic semimodular lattice. Lattice-theoretical properties of decompositions are explored, and connections with particular types of intervals are established.
    Źródło:
    Discussiones Mathematicae - General Algebra and Applications; 2004, 24, 1; 95-114
    1509-9415
    Pojawia się w:
    Discussiones Mathematicae - General Algebra and Applications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Stochastic orders and ageing classes
    Autorzy:
    Miziuła, Patryk
    Powiązania:
    https://bibliotekanauki.pl/articles/748756.pdf
    Data publikacji:
    2012
    Wydawca:
    Polskie Towarzystwo Matematyczne
    Tematy:
    stochastic orders, ageing classes, closure properties, convolution, mixture, monotonic system.
    stochastic orders
    ageing classes
    closure properties
    convolution
    mixture
    monotonic system
    Opis:
    Teoria niezawodnosci opisuje losowe czasy działania urzadzen podatnychna awarie. Na potrzeby tego typu badan opracowano specyficzne branzowepojecia, m.in. resztowy czas zycia, intensywnosc awarii, czy sredni resztowy czaszycia. Ich definicje zostały podane w Rozdziale 2. Znalazły sie w nim takze podstawowe definicje i fakty dotyczace systemów monotonicznych. Systemy monotoniczne tworza bardzo prosty i wygodny model, opisujacy działanie urzadzen składajacych sie z odpowiednio ułozonych wzgledem siebie czesci. Jest to dynamicznie rozwijajaca sie teoria, znajdujaca zastosowania w wielu dziedzinach nauki. Wiecej na ten temat mozna dowiedziec sie z ksiazek [2] i [13].Rozmaite porzadki stochastyczne, czyli porzadki na zbiorach rozkładów prawdopodobienstwa, maja zastosowanie w wielu dziedzinach rachunku prawdopodobienstwa i statystyki matematycznej. Wiele o porzadkach mozna nauczyć się z książki [14]. W Rozdziale 3 niniejszego artykułu zostały zdefiniowane i porównane ze soba tylko te porzadki, które najbardziej przydaja sie w pracy z klasami rozkładów czasu zycia. Nie powinno dziwic, ze takie kryterium wyboru spełniaja przede wszystkim porzadki, które prostota definicji i wszechstronnym zastosowaniem zasłuzyły sobie na miano klasycznych. Relacje miedzy wprowadzonymi porzadkami zostały podsumowane na Rysunku 1.W Rozdziale 4 opisane zostały wybrane klasy rozkładów czasu zycia – zarównote znane od kilkudziesieciu lat, jak i niektóre sposród wprowadzonych stosunkowoniedawno. Nacisk został połozony na dwa zagadnienia: relacje miedzy poszczególnymi klasami oraz domknietosci poszczególnych klas wzgledem najczesciej uzywanych operacji niezawodnosciowych: splotów, mieszanek i tworzenia systemów monotonicznych. Zostały tez wyróznione klasy domkniete ze wzgledu na maksima i minima. Wyniki zostały podsumowane na Rysunku 2 i w Tabeli 2.Wszystkim zainteresowanym zastosowaniem przedstawionych pojec na pewnoprzypadnie do gustu przystepnie i rzetelnie napisana ksiazka [10].
    This article covers knowledge of recently used stochastic orders, ageing classes, and relations between them. Definitions and relations between particular stochastic orders are presented there. The paper also contains definitions (especially using stochastic orders), relations and closure properties of ageing classes. Closure properties are investigated there under five useful reliability operations: convolutions, mixtures, formation of monotonic systems, maxima and minima.
    Źródło:
    Mathematica Applicanda; 2012, 40, 1
    1730-2668
    2299-4009
    Pojawia się w:
    Mathematica Applicanda
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Existence of optimal control for multi-order fractional optimal control problems
    Autorzy:
    Kamocki, Rafał
    Powiązania:
    https://bibliotekanauki.pl/articles/2134888.pdf
    Data publikacji:
    2022
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    existence of optimal control
    multi-order fractional control system
    lower closure theorem
    Opis:
    In this article we focus on optimal control problems involving a nonlinear fractional control system of different orders with Caputo derivatives, associated to a Lagrange cost functional. Based on a lower closure theorem for orientor fields combined with Filippov’s approach, we derive an existence result for at least one optimal solution for such a problem.
    Źródło:
    Archives of Control Sciences; 2022, 32, 2; 279--303
    1230-2384
    Pojawia się w:
    Archives of Control Sciences
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    On the Leibniz congruences
    Autorzy:
    Font, Josep
    Powiązania:
    https://bibliotekanauki.pl/articles/1361077.pdf
    Data publikacji:
    1993
    Wydawca:
    Polska Akademia Nauk. Instytut Matematyczny PAN
    Tematy:
    deductive system
    protoalgebraic logic
    Gentzen calculus
    closure operator
    abstract logic
    algebraizable logic
    Leibniz congruence
    selfextensional logic
    logical matrices
    algebraic logic
    Opis:
    The aim of this paper is to discuss the motivation for a new general algebraic semantics for deductive systems, to introduce it, and to present an outline of its main features. Some tools from the theory of abstract logics are also introduced, and two classifications of deductive systems are analysed: one is based on the behaviour of the Leibniz congruence (the maximum congruence of a logical matrix) and the other on the behaviour of the Frege operator (which associates to every theory the interderivability relation modulo the theory). For protoalgebraic deductive systems the class of algebras associated in general turns out to be the class of algebra reducts of reduced matrices, which is the algebraic counterpart usually considered for this large class of deductive systems; but in the general case the new class of algebras shows a better behaviour.
    Źródło:
    Banach Center Publications; 1993, 28, 1; 17-36
    0137-6934
    Pojawia się w:
    Banach Center Publications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-7 z 7

      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