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

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-6 z 6
    Tytuł:
    A majorization relation for a certain class of *-quivers with an orthogonality condition
    Autorzy:
    Bagro, O.V.
    Kruglyak, S.A.
    Powiązania:
    https://bibliotekanauki.pl/articles/2049972.pdf
    Data publikacji:
    2004
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    algebras
    categories and functors
    representations
    Opis:
    In [1, 2, 3], *-algebras and *-categories over the field C of complex numbers were quasi-ordered with respect to the complexity of the structure of their *-representations with a majorization relation >-. A notion of *-wildness was also introduced there for an algebra (a category) if the algebra majorizes the *-algebra C* (F2)- In this paper, we discuss some methods for proving that an algebra is *-wild and obtain criteria for certain "standard" *-categories (ensembles with an orthogonality condition) to be *-wild.
    Źródło:
    Opuscula Mathematica; 2004, 24, 1; 5-17
    1232-9274
    2300-6919
    Pojawia się w:
    Opuscula Mathematica
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Elementy logiki w polskiej szkole matematycznej. Wkład Stanisława Leśniewskiego
    Elements of Logic in the Polish School of Mathematics. The contribution of Stanisław Leśniewski
    Autorzy:
    Obojska, Lidia
    Powiązania:
    https://bibliotekanauki.pl/articles/690996.pdf
    Data publikacji:
    2013
    Wydawca:
    Copernicus Center Press
    Tematy:
    symbolic language
    functors
    antinomy
    Leśniewski’s systems
    Opis:
    In the presented paper we would like to focus on the scientific activity of the one of the members of the Warsaw School of Logic. It is supposed that the world famous formalisms of Polish logicians were mainly stimulated by Stanisław Leśniewski. If this is true, Leśniewski can be considered as the main ideologist of Warsaw School. The first part of this paper is dedicated to a very brief presentation of the history of Polish logic in the period 1910-1939. Next, we present the main ideas of the Warsaw School of Logic and in particular the contribution of Stanisław Leśniewski: his original system of three theories: protothetics, ontology and mereology and their novelty in comparison with classical thought. Finally, we try to show the influence of Leśniewski’s innovative ideas on other members of the school.
    Źródło:
    Zagadnienia Filozoficzne w Nauce; 2013, 53; 165-197
    0867-8286
    2451-0602
    Pojawia się w:
    Zagadnienia Filozoficzne w Nauce
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    The logical control of road traffic net and railway junction
    Autorzy:
    Wierzcholski, K.
    Powiązania:
    https://bibliotekanauki.pl/articles/241899.pdf
    Data publikacji:
    2015
    Wydawca:
    Instytut Techniczny Wojsk Lotniczych
    Tematy:
    logical communication systems
    tracks optimization
    optimum road traffic
    logical functors for traffic kind
    Opis:
    The numerous tribology problems occurring in power-train and transport industry lead to wear of vehicles and trains as well as to wear of road or tracks. The choice of the proper way traffic or transport requires to select the kind of the way and the kind of the vehicles which shall be driving on the track. Especially the project designer demand the more and more information referring the wear of track anticipation in succeeding years of vehicle operation. Such wear of track anticipation is strictly connected with the choice of the kind of communication or traffic. To satisfy the abovementioned problem, it is necessary to construct the logical control system for road traffic. Mentioned logical system enables to control of management of the road traffic or railway junction. The presented in this paper logical system consists the description of the logical functors and their mutually connections. Here are introduced three kinds of functors namely, open functor, closed functor and special functor. Each logical functor describes the signal features which will be controlled. The various functor connections occurring in considered communication systems are determined from practical problems where the influence of various operating parameters on the wear effects is taking into account. The influence of numerous operating parameters on the wear effects are experimentally determined and implemented into the systems in the case if mentioned parameters are independent as well if are mutually connected. Moreover in this paper the various communication systems will be presented and will be suggested an algorithm construction of the optimum problem solutions presenting the equivalent and simultaneously most simple communication system.
    Źródło:
    Journal of KONES; 2015, 22, 2; 279-286
    1231-4005
    2354-0133
    Pojawia się w:
    Journal of KONES
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Creating new concepts in mathematics: freedom and limitations. The case of Category Theory
    Autorzy:
    Semadeni, Zbigniew
    Powiązania:
    https://bibliotekanauki.pl/articles/1047591.pdf
    Data publikacji:
    2020-12-28
    Wydawca:
    Copernicus Center Press
    Tematy:
    categories
    functors
    Eilenberg-Mac Lane Program
    mathematical cognitive transgressions
    phylogeny
    platonism
    Opis:
    In the paper we discuss the problem of limitations of freedom in mathematics and search for criteria which would differentiate the new concepts stemming from the historical ones from the new concepts that have opened unexpected ways of thinking and reasoning. We also investigate the emergence of category theory (CT) and its origins. In particular we explore the origins of the term functor and present the strong evidence that Eilenberg and Carnap could have learned the term from Kotarbiński and Tarski.
    Źródło:
    Zagadnienia Filozoficzne w Nauce; 2020, 69; 33-65
    0867-8286
    2451-0602
    Pojawia się w:
    Zagadnienia Filozoficzne w Nauce
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Geneza niektórych systemów logiki temporalnej
    The Origin of Some Systems of Temporal Logic
    Autorzy:
    Kozanecka-Dymek, Anna
    Powiązania:
    https://bibliotekanauki.pl/articles/2013059.pdf
    Data publikacji:
    2009
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    geneza
    logika temporalna
    zwroty czasowe
    funktory czasowe
    origin
    temporal logic
    tense clauses
    temporal functors
    Opis:
    The article is devoted to the question of the origin of temporal logic. The aim of it is to answer to the question concerning the group of conditions and reasons of constructing such kinds of systems (especially of tense logic and G. H. von Wright’s temporal logic). As a result of conducted considerations, there is stated that there exist two reasons of arising some temporal systems. The first of them was the rebirth of interests of issues involving time in aspect of logic, the second (more essential) – insufficiency of the language of the classical logical calculus to give the formalization of tense clauses. In connection with this there was begun constructing temporal systems providing the linguistic and inferencional apparatus needed to control expressions and inferences containing such clauses. In the article there is also shown how there was led to formalize expressions including various tense clauses, and what follows, to introduce new functors to the language of logic.
    Źródło:
    Roczniki Filozoficzne; 2009, 57, 1; 75-90
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    A Functorial Approach to the Behaviour of Multidimensional Control Systems
    Autorzy:
    Pommaret, J. F.
    Quadrat, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/908250.pdf
    Data publikacji:
    2003
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    automatyka
    robotyka
    multidimensional systems
    weak primeness
    controllability
    algebraic analysis
    torsion and extension functors
    rings of differential operators
    Opis:
    We show how to use the extension and torsion functors in order to compute the torsion submodule of a differential module associated with a multidimensional control system. In particular, we show that the concept of the weak primeness of matrices corresponds to the torsion-freeness of a certain module.
    Źródło:
    International Journal of Applied Mathematics and Computer Science; 2003, 13, 1; 7-13
    1641-876X
    2083-8492
    Pojawia się w:
    International Journal of Applied Mathematics and Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-6 z 6

      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