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

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-5 z 5
    Tytuł:
    Algebra algorytmów w przykładach
    Examples of algorithm algebra application
    Autorzy:
    Piaskowy, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/157198.pdf
    Data publikacji:
    2010
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    algebra algorytmów
    formuła
    algorytm
    algebra algorithms
    formula
    algorithm
    Opis:
    Artykuł zawiera opis podstawowych operacji algebraicznych jakie można stosować w algorytmice. Przedstawiono kilka prostych przykładów ilustrujących możliwości i aplikacje tematyki. Każda operacja została odzwierciedlona w języku C, bądź została porównana z odpowiadającym jej schematem blokowym.
    Algebra of algorithms is a form of mathematical description of an algorithm. The algorithm described in form of formulas can be subjected to algebraic operations and transformations. Properties of these operations are defined in an axiomatic way. The mathematic description of the algorithm is simple, intuitive, and allows to subsequent automatic generation of program code. The main advantage of such approach is possibility to analyze the algorithm at any level of nesting. Some functions (blocks) the algorithm can be treated as uniterms, thus one can look into what happens inside them. A description of basic algebraic operations that can be applied in the study of algorithm operations is presented in the paper. It has been quoted two of the most elementary examples in order to better acquaint with the subject. Each operation is reflected in the C language, and is compared with the corresponding block diagram. Langton algorithm is analyzed as well as the function approximation algorithm for finding the 3-rd order polynomial. These algorithms are described and presented in the form of block diagrams as well as using formulas of algebra algorithms.
    Źródło:
    Pomiary Automatyka Kontrola; 2010, R. 56, nr 2, 2; 189-192
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Upadam do nóg JWW Pana Dobrodzieja… O formułach gestycznych w epistolografii polskiej XVIII wieku
    Upadam do nóg JWW Pana Dobrodzieja [I am throwing myself at the Most Illustrious Sir Benefactor’s feet…]. On the formulae referring to gesticulations in Polish 18th-century epistolography
    Autorzy:
    Sicińska, Katarzyna
    Powiązania:
    https://bibliotekanauki.pl/articles/1945048.pdf
    Data publikacji:
    2021-12-21
    Wydawca:
    Łódzkie Towarzystwo Naukowe
    Tematy:
    epistolografia
    etykieta językowa
    formuła
    formuła gestyczna
    polszczyzna XVIII wieku
    epistolography
    linguistic politeness
    formula
    gesticulation-related formula
    Polish language in the eighteenth century
    Opis:
    Przedmiotem opisu i analizy są występujące w epistolografii XVIII wieku formuły gestyczne, czyli językowe ekwiwalenty określonych gestów i zachowań grzecznościowych. Zakres obserwacji został zawężony do formuł gestycznych sytuowanych w zakończeniach listów. Materiał egzemplifikacyjny pochodzi z trzystu pięciu rękopiśmiennych, niepublikowanych i dotąd nieanalizowanych pod tym kątem listów, pisanych przez kilkudziesięciu autorów, przedstawicieli szlachty i magnaterii. W zgromadzonym materiale wystąpiły typowe dla XVIII wieku struktury formuliczne, takie jak np. upadać do nóg, ściskać nogi czy kłaniać uniżenie, ale też wiele innych, mniej rozpowszechnionych, np. brać śmiałość upaść do nóg. Sposób użycia opisywanych formuł determinowały określone uwarunkowania tekstowe, społeczne i chronologiczne. Postać formalna formuły zależała od miejsca w strukturze listu, tj. od tego, czy formuła występowała w kompleksie formuł finalnych, czy jako osobny dopisek z pozdrowieniami (niektóre formuły występowały tylko w dopiskach, np. kłaniać uniżenie). Na kształt językowy formuły oddziaływały też czynniki społeczne, np. formuły w listach do króla charakteryzowały się znaczną ozdobnością. Zakres stosowania niektórych konstrukcji znacząco poszerzył się w ciągu XVIII wieku, co wiązało się z osłabieniem ich elitarnego charakteru.
    The description and analysis focus on the formulae referring to gesticulations, or expressive bodily movements, i.e. the linguistic equivalents of certain polite gestures and behaviours, in 18th-century epistolography. The scope of research has been narrowed down to the gesticulation-related formulae present in the closing part of a letter. The sample material consists of 305 handwritten letters, which have not been published or analysed in this context until now. They were written by several dozen authors, members of the nobility and magnates. The material collected for this paper includes certain typical 18th-century formulaic structures, such as upadać do nóg [to throw oneself at another’s feet], ściskać nogi [to hug another’s legs] or kłaniać uniżenie [to bow humbly] as well as less common phrases e.g. brać śmiałość upaść do nóg [to dare to throw oneself at another’s feet]. The manner in which the described formulae were used was determined by specific textual, social and chronological circumstances. The formal shape of a formula depended on its location within the letter structure, i.e. if the formula was a part of the set of the closing formulae or a separate postscript with greetings (some formulae occurred only in postscripts e.g. kłaniać uniżenie [to bow humbly]). The linguistic shape of a formula was also influenced by the social component e.g. formulae in letters to the king were more ornamental. Some structures gained a much broader scope of application across the 18th century, which was related to the weakening of its elitist character.
    Źródło:
    Rozprawy Komisji Językowej ŁTN; 2021, 69; 115-134
    0076-0390
    Pojawia się w:
    Rozprawy Komisji Językowej ŁTN
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Model systemu do przekształceń formuł algorytmów
    The model of the system for algorithm formula transformations
    Autorzy:
    Markuszewski, T.
    Powiązania:
    https://bibliotekanauki.pl/articles/151233.pdf
    Data publikacji:
    2011
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    system
    dekompozycja
    podsystem
    formuła
    algorytm
    model
    decomposition
    subsystem
    formula
    algorithm
    Opis:
    W artykule przedstawiono budowę złożonego komputerowego systemu do przekształceń formuł algorytmów przy wykorzystaniu właściwości operacji algebry algorytmów. Budowany model systemu nazwano komputerowym systemem optymalizacji (KSO) i dokonano jego dekompozycji na dwóch poziomach, poziomie systemu i podsystemu. Na poziomie systemu w logiczny sposób wyodrębniono podsystemy pełniące oraz wspomagające zadania optymalizacji formuł algorytmów, a na poziomie podsystemu utworzono unitermy zmienne i funkcyjne. Dla opisania modelu systemu wykorzystano algebrę algorytmów. Fragment modelu systemu zaimplementowano w języku C#.
    The model of algorithm algebra formulae optimization system is presented in the paper. The decomposition of the system into subsystems is performed using algebra algorithm expressions, and is described in terms of the expressions. The following algorithm algebra operation optimization subsystem models are formed: sequencing, elimination, parallelization, reversing, cycle operations, basic subsystem, subsystem introducing additional condition, subsystem rendering data accessible, and the one generating indices for xml code of algorithm formula. The basic subsystem model and the rendering data accessible one in the 3rd section there are described. Algorithm algebra expressions there are used consistently. Models are composed of variables and functional uniterms, which are also used by other subsystems. Variables are used for the data storage. Functional uniterms of the basic subsystem there are the following: extracting, substituting the xml code fragment, checking the separator kind in the uniterm, as well as the one checking if the uniterm is a number. Additionally there are included functional uniterms absorbing other uniterms, and the one informing on optimization process run. The basic and rendering data models are implemented in C# . In conclusions some advantages of both the algorithm formula optimization computer system and model decomposition into subsystem are given. Bibliography contains a set of intuitive and formal works describing the algorithms algebra.
    Źródło:
    Pomiary Automatyka Kontrola; 2011, R. 57, nr 2, 2; 201-204
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    W imię Jezusa czy Trójcy Świętej? Kilka uwag o formułach chrzcielnych
    In the Name of Jesus, or the Holy Trinity? Some Remarks on the Baptismal Formulas
    Autorzy:
    Nawracała, Tomasz
    Powiązania:
    https://bibliotekanauki.pl/articles/1601421.pdf
    Data publikacji:
    2015
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II
    Tematy:
    chrzest
    Kościół
    Trójca Święta
    formuła
    Jezus
    Church
    Holy Trinity
    Jesus
    baptism
    formula
    Opis:
    Bycie chrześcijaninem rozpoczyna się od chwili przyjęcia chrztu świętego. W nim po raz pierwszy wyznaje człowiek wiarę w Boga Tójjedynego, aby móc otrzymać przebaczenie grzechów i łaskę uświęcającą. Kościół apostolski stosował dwie formuły chrzcielne: chrystologiczną i trynitarną. Dyskusja nad pierwotnością tych formuł jest wciąż otwarta. Niniejszy artykuł pragnie zwrócić uwagę na konsekwencje jednoznacznego opowiadania się za pierwszeństwem formuły chrystologicznej i traktowania formuły trynitarnej jako wtórnej. Wydaje się, że ostrożność w ocenie historycznego pierwszeństwa musi być tu szczególna ze względu na ciągłość zachowania w Kościele z ustanowienia Chrystusa jednej ekonomii sakramentalnej. Obie formuły prawdopodobnie funkcjonowały równocześnie w pierwszych gminach chrześcijańskich, a ustalenie i utrwalenie formuły trynitarnej wynikało z rozwoju świadomości Kościoła.
    Being a Christian begins from the moment of baptism. In baptism a human being professes the faith in the Holy Trinity to be able to receive forgiveness and sanctifying grace. Apostolic Church used two baptismal formulas: Christological and Trinitarian. The discussion on these formulas precedence has still been open. This article aims at drawing attention to consequences of unambiguous advocating the priority of the Christological formula and treating the Trinitarian formula as secondary. It seems that caution in the evaluation of historical precedence must be special here due to the continuity of maintaining one sacramental economy in Church. Both formulas were probably present in first Christian communities, and establishing the Trinitarian formula resulted from the Church awareness increase.
    Źródło:
    Teologia w Polsce; 2015, 9, 1; 109-116
    1732-4572
    Pojawia się w:
    Teologia w Polsce
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Słowo podstawowym narzędziem gregoriańskiej techniki kompozytorskiej w adaptacji wzorców modalnych do nowych tekstów
    Autorzy:
    Ferfoglia, Susi
    Powiązania:
    https://bibliotekanauki.pl/articles/585290.pdf
    Data publikacji:
    2019
    Wydawca:
    Uniwersytet Opolski. Redakcja Wydawnictw Wydziału Teologicznego
    Tematy:
    formuła
    melodia typiczna
    wzorzec modalny
    technika kompozytorska
    adoptowanie melodii do nowego tekstu
    formula
    “typic melody”
    modal pattern
    compositional technique
    adopting melody to a new text
    Opis:
    In the article the author asks how the Gregorian melodies were created? How were they written down? Is it possible that the notation may be a tool for a deeper understanding of the text? In this way the author explores the secrets of the Gregorian compositional technique – which is based on using the same formulas or even the whole melodies for different texts. It is clearly visible that the Gregorian composer “thought through the perspective of the word”. Each new text has a different verbal rhythm, resulting from the nature of the words, and this gives the same melody a new sense and a new meaning in a new verbal context. To convince oneself of the truthfulness of this statement and of the sophistication of the composer’s intervention, it is not enough to look only at the Vatican notation; one must reach for adiastematic notation, which conveys the rhythm of the intonation contour. Comparing the same melodies in different verbal contexts with divergent rhythms shows us that the same melody becomes for the composer a “pretext” to express something more. In the article, three melodies (graduals) based on the modal pattern of the fifth modus – plagal tritus – (Christus factus est, Exiit sermo, Ecce sacerdos magnus) were analysed. On their example, the author demonstrates how the modal pattern of plagal tritus has been adapted to the new text.
    W artykule Autorka pyta się jak powstały melodie gregoriańskie? W jaki sposób zostały one zapisane? Czy zapis może być narzędziem do głębszego zrozumienia tekstu? Autorka wchodzi w ten sposób w tajniki gregoriańskiej techniki kompozytorskiej; polega ona przede wszystkim na wykorzystywaniu tych samych formuł albo nawet całych melodii do różnych tekstów, w czym wyraźnie widać, że kompozytor gregoriański „myślał słowem”. Każdy nowy tekst zawiera inny rytm werbalny, wynikający z natury słów, a to nadaje tej samej melodii nowy sens i nowe znaczenie w nowym kontekście słownym. Aby przekonać się o prawdziwości tego stwierdzenia i wyrafinowaniu zabiegu kompozytorskiego nie wystarczy spojrzeć tylko notację watykańską; trzeba sięgnąć do notacji adiastematycznej, która przekazuje rytm przebiegu melodycznego. Porównanie ze sobą tych samych melodii w różnych kontekstach słownych z różnym rytmem pokazuje nam, że ta sama melodia staje się dla kompozytora „pretekstem” do wyrażenia czegoś więcej. W artykule zostały przeanalizowane trzy melodie (graduały) bazujące na wzorcu modalnym piątego modusu, czyli tritusa plagalnego (Christus factus est, Exiit sermo, Ecce sacerdos magnus), Na ich przykładzie Autorka pokazuje, w jaki sposób wzorzec modalny tritusa plagalnego został zaadaptowany do nowego tekstu.
    Źródło:
    Liturgia Sacra. Liturgia - Musica - Ars; 2019, 54, 2; 543-572
    1234-4214
    Pojawia się w:
    Liturgia Sacra. Liturgia - Musica - Ars
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-5 z 5

      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