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ę "Stępień, Ł." wg kryterium: Autor

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-7 z 7
    Tytuł:
    Valuation graphs for propositional logic
    Autorzy:
    Stępień, L.
    Powiązania:
    https://bibliotekanauki.pl/articles/121964.pdf
    Data publikacji:
    2010
    Wydawca:
    Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
    Tematy:
    valuation graphs
    propositional logic
    wykresy wyceny
    rachunek zdań
    Opis:
    In this paper we present the proof system, called the valuation graphs system, which is a new version of two proof procedures: Davis-Putnam and Stålmarck. The novelty is that in the rules we note which propositional variable occurring in some propositional formula does not determine the logical value of that formula. Due to Stålmarck, we define a notion of proof width, corresponding to the width of structure of valuation graph which is a number of applications of dilemma rule. The dilemma rule considers two cases, so the time of proof grows up exponentially.
    Źródło:
    Scientific Issues of Jan Długosz University in Częstochowa. Mathematics; 2010, 15; 139-148
    2450-9302
    Pojawia się w:
    Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    From arithmetic expressions to propositional formulae
    Autorzy:
    Stępień, L.
    Stępień, M. R.
    Powiązania:
    https://bibliotekanauki.pl/articles/121623.pdf
    Data publikacji:
    2016
    Wydawca:
    Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
    Tematy:
    algebra liniowa
    programowanie deklaratywne
    SAT solver
    linear algebra
    declarative programming
    Opis:
    In papers [3], [4], [5] Authors presented a new method of solving some kinds of computational tasks in the area of linear algebra by applying SAT-solver as the highly optimized algorithms for solving the problem of propositional satisfiability. On input SAT-solver (cf. [1], [2]) takes a propositional formula in the clause form. In this paper we show in detail how any arithmetical expression can be translated into propositional formula in the CNF form skipping out its traditional form. For this, we define the notion of consistency of arithmetic and boolean valuations.
    Źródło:
    Scientific Issues of Jan Długosz University in Częstochowa. Mathematics; 2016, 21; 135-143
    2450-9302
    Pojawia się w:
    Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Automatic search of automorphisms of Witt rings
    Autorzy:
    Stępień, L.
    Stępień, M. R.
    Powiązania:
    https://bibliotekanauki.pl/articles/121845.pdf
    Data publikacji:
    2011
    Wydawca:
    Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
    Tematy:
    Witt rings
    automorphisms
    strong automorphisms
    automorphisms of Witt rings
    pierścień Witta
    automorfizm
    automorfizmy pierścieni Witta
    Opis:
    The investigation of strong automorphisms of Witt rings is a difficult task because of variety of their structures. Cordes Theorem, known in literature as Harrison-Cordes criterion (cf. [1, Proposition 2.2], [3, Harrison's Criterion]), makes the task of describing all the strong automorphisms of a given (abstract) Witt ring W = (G, R) easier. By this theorem, it suffices to find all such automorphisms ơ of the group G that map the distiguished element -1 of the group G into itself (i.e. ơ(-1) = -1) in which the value sets of 1-fold Pfister forms are preserved in the following sense: ơ(D(1, α)) = D(1, ơ(α)) for all α ∈ G. We use the above criterion and the well-known structure of the group G as a vector space over two-element field F2 for searching all automorphisms of this group. Then we check Harrison-Cordes criterion for found automorpisms and obtain all the automorpisms of a Witt ring W. The task is easy for small rings (with small groups G). For searching of all strong automorpisms of bigger Witt rings we use a computer which automatizes the procedure described above. We present the algorithm for finding strong automorphisms of a Witt rings with finite group G and show how this algorithm can be optimized.
    Źródło:
    Scientific Issues of Jan Długosz University in Częstochowa. Mathematics; 2011, 16; 141-146
    2450-9302
    Pojawia się w:
    Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Automatic search of rational self-equivalences
    Autorzy:
    Stępień, L.
    Stępień, M. R.
    Powiązania:
    https://bibliotekanauki.pl/articles/950276.pdf
    Data publikacji:
    2018
    Wydawca:
    Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
    Tematy:
    rational self-equivalences
    automorphisms of Witt rings
    Witt rings
    algebra
    algorithm
    automatic search
    automorfizm
    pierścień Witta
    algorytm
    Opis:
    Two Witt rings that are not strongly isomorphic (i.e., two Witt rings over two fields that are not Witt equivalent) have different groups of strong automorphisms. Therefore, the description of a group of strong automorphisms is different for almost every Witt ring, which requires the use various tools in proofs. It is natural idea to use computers to generate strong automorphisms of the Witt rings, which is especially effective in the case of the finitely generated Witt rings, where a complete list of strong automorphisms can be created. In this paper we present the algorithm that was used to generate strong automorphisms from the infinite group of strong automorphisms of the Witt ring of rational numbers W(Q).
    Źródło:
    Scientific Issues of Jan Długosz University in Częstochowa. Mathematics; 2018, 23; 67-74
    2450-9302
    Pojawia się w:
    Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    On teaching of geometric transformations in school
    Autorzy:
    Stępień, L.
    Stępień, M. R.
    Ziółkowski, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/122070.pdf
    Data publikacji:
    2014
    Wydawca:
    Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
    Tematy:
    nauczanie matematyki
    geometria
    zadania matematyczne
    program nauczania
    gimnazjum
    teaching mathematics
    geometry
    mathematical tasks
    curriculum
    gymnasium
    Opis:
    The current core curriculum in mathematics for lower secondary school (3-rd educational level in Poland) omits formal definitions of concepts related to geometric transformations in the plane and is based on their intuitive sense. Practice shows that the current approach makes teaching very difficult and the students solve the typical tasks, not understanding the meaning of geometrical concepts. The article contains basic concepts connected with geometric transformations and examples of geometric tasks that are solved in the third and also in the fourth educational level in an intuitive way, sometimes deviating or even incompatible with the mathematical definition. We show how they could be solved in easier way with introducing definitions of geometric transformations in a simple and understandable for students way sometimes using vector calculus. We take into account isometries: reflection and point symmetry, rotation and translation and similarities with particular consideration on homothetic transformation.
    Źródło:
    Scientific Issues of Jan Długosz University in Częstochowa. Mathematics; 2014, 19; 153-164
    2450-9302
    Pojawia się w:
    Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Time calculations in school
    Autorzy:
    Ziółkowski, M.
    Stępień, L.
    Stępień, M. R.
    Powiązania:
    https://bibliotekanauki.pl/articles/951859.pdf
    Data publikacji:
    2015
    Wydawca:
    Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
    Tematy:
    teoria podziału
    klasa równoważności
    obliczenia czasowe
    theory of divisibility
    equivalence class
    time calculations
    Opis:
    In this article we want to present some simple method of doing time calculations which is not often used by teachers and show that the discussed way does not have to be difficult for students and is based on strict mathematical rules.
    Źródło:
    Scientific Issues of Jan Długosz University in Częstochowa. Mathematics; 2015, 20; 23-28
    2450-9302
    Pojawia się w:
    Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Applications of python programs in solving of equations based on selected numerical methods
    Autorzy:
    Ziółkowski, M.
    Stępień, L.
    Stępień, M. R.
    Gola, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/951868.pdf
    Data publikacji:
    2017
    Wydawca:
    Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
    Tematy:
    język Python
    metody numeryczne
    równania nieliniowe
    Python
    numerical methods
    nonlinear equation
    Opis:
    In this paper we present the mathematical background of the four most used numerical methods of solving equations and few examples of Python applications that find the approximations of the roots of the given equations. We also compare the exact and approximate solutions of polynomial equations of third degree. Exact solutions are obtained with usage of Cardano formulae by the help of Mathematica environment, the approximate ones – based on the selected numerical methods by the help of applications written in Python language.
    Źródło:
    Scientific Issues of Jan Długosz University in Częstochowa. Mathematics; 2017, 22; 31-45
    2450-9302
    Pojawia się w:
    Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
    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