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

  Lista filtrów

Dostawca treści

Podbaza

Wyrównaj
Wyświetlanie 1-15 z 73
Tytuł:
Dodatki w betonie wg PN-EN 206+A1:2016-12 oraz PN-B-06265:2018-10 – wartości graniczne zawartości cementu przy wykorzystaniu koncepcji współczynnika k
Autorzy:
Bajorek, Grzegorz
Powiązania:
https://bibliotekanauki.pl/articles/343021.pdf
Data publikacji:
2019
Wydawca:
Stowarzyszenie Producentów Cementu
Tematy:
dodatek do betonu
skład betonu
popiół lotny
pył krzemionkowy
żużel granulowany mielony
żużel wielkopiecowy granulowany
współczynnik k
PN-EN 206+A1:2016-12
PN-B-06265:2018-10
Źródło:
Budownictwo, Technologie, Architektura; 2019, 4; 68-71
1644-745X
Pojawia się w:
Budownictwo, Technologie, Architektura
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Universality in Graph Properties with Degree Restrictions
Autorzy:
Broere, Izak
Heidema, Johannes
Mihók, Peter
Powiązania:
https://bibliotekanauki.pl/articles/30146518.pdf
Data publikacji:
2013-07-01
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
countable graph
universal graph
induced-hereditary
k-degenerate graph
graph with colouring number at most k + 1
graph property with assignment
Opis:
Rado constructed a (simple) denumerable graph R with the positive integers as vertex set with the following edges: For given m and n with m < n, m is adjacent to n if n has a 1 in the m’th position of its binary expansion. It is well known that R is a universal graph in the set ℐc of all countable graphs (since every graph in ℐc is isomorphic to an induced subgraph of R). A brief overview of known universality results for some induced-hereditary subsets of ℐc is provided. We then construct a k-degenerate graph which is universal for the induced-hereditary property of finite k-degenerate graphs. In order to attempt the corresponding problem for the property of countable graphs with colouring number at most k + 1, the notion of a property with assignment is introduced and studied. Using this notion, we are able to construct a universal graph in this graph property and investigate its attributes.
Źródło:
Discussiones Mathematicae Graph Theory; 2013, 33, 3; 477-492
2083-5892
Pojawia się w:
Discussiones Mathematicae Graph Theory
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
k-Normalization and (k+1)-level inflation of varieties
Autorzy:
Cheng, Valerie
Wismath, Shelly
Powiązania:
https://bibliotekanauki.pl/articles/728838.pdf
Data publikacji:
2008
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
k-normal identities
k-normalization of a variety
(k+1)-level inflation of algebras
Opis:
Let τ be a type of algebras. A common measurement of the complexity of terms of type τ is the depth of a term. For k ≥ 1, an identity s ≈ t of type τ is said to be k-normal (with respect to this depth complexity measurement) if either s = t or both s and t have depth ≥ k. A variety is called k-normal if all its identities are k-normal. Taking k = 1 with respect to the usual depth valuation of terms gives the well-known property of normality of identities or varieties. For any variety V, there is a least k-normal variety $N_k(V)$ containing V, the variety determined by the set of all k-normal identities of V. The concept of k-normalization was introduced by K. Denecke and S.L. Wismath in [5], and an algebraic characterization of the elements of $N_k(V)$ in terms of the algebras in V was given in [4]. In [1] a simplified version of this characterization of $N_k(V)$ was given, in the special case of the 2-normalization of the variety V of all lattices, using a construction called the 3-level inflation of a lattice. In this paper we show that the analogous (k+1)-level inflation can be used to characterize the algebras of $N_k(V)$ for any variety V having a unary term which satisfies two technical conditions. This includes any variety V which satisfies x ≈ t(x) for some unary term t of depth at least k, and in particular any variety, such as the variety of lattices, which satisfies an idempotent identity.
Źródło:
Discussiones Mathematicae - General Algebra and Applications; 2008, 28, 1; 49-62
1509-9415
Pojawia się w:
Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Deontic Paradoxes and Tableau System for Kalinowski’s Deontic Logic K1
Autorzy:
Ciuciura, Janusz
Powiązania:
https://bibliotekanauki.pl/articles/750004.pdf
Data publikacji:
2017
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
deontic logic
K1
Kalinowski’s logic
paradoxes
tableaux
Opis:
In 1953, Jerzy Kalinowski published his paper on the logic of normative sentences. The paper is recognized as one of the first publications on the formal system of deontic logic. The aim of this paper is to present a tableau system for Kalinowski’s deontic logic and to discuss some of the topics related to the paradoxes of deontic logic.
Ź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ł:
Pojęcie "matrimoniale foedus" w kan. 1055, par. 1 KPK
II significato dell’espressione matrimoniale foedus nel can. 1055 § 1 CJC
Autorzy:
Czapla, Mirosław
Powiązania:
https://bibliotekanauki.pl/articles/662980.pdf
Data publikacji:
2000
Wydawca:
Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie
Tematy:
matrimoniale foedus
kаnon 1055 § 1 KPK
canon 1055 § 1 CIC/1983
Opis:
II termine biblico „l'alleanza”- è il termine più importante, che si trova nei documenti del Concilio Vaticano II nel contesto dei matrimonio cristiano. Nel Codice di Diritto Canonico dall 1983 è stato usato il termino foedus matrimoniale per definire il matrimonio canonico, che sembra individuare il proprium, che distingue il matrimonio cristiano da qualsiasi altro contratto. Questo termine ha sostituto un vecchio termine contractus matrimonialis, che non coinvolge più con la nuova dottrina dei matrimonio. La definizione, compiuta nel primo paragrafo del can. 1055 sottolinea, che il matrimonio cristiano è sopratutto la comunità di tutta la vita (consortium totius vitae), cioè l'unione matrimoniale del’uomo e donna, in cui loro realizzano il bene dei coniugi e della generazione e educazione della prole. I coniugi costituiscono il matrimonio con l'atto dei consenso matrimoniale, nel cui loro trassmettono reciproco i doveri e i diritti. La nozione foedus matrimoniale differe dalla nozione contractus matrimonialis, con cui il paragrafo 1 di can. 1012 del CIC/1917 si riferiva al matrimonio. Contractus matrimonialis è il termine stretto giuridico - mostravo il matrimonio come il sacramento - contratto, ma stipulato senza una iniziativa di Dio, cioè cosi come solo i coniugi erano autori dei questo connubio. In altro parole, l’oggetto dei matrimonio non erano i coniugi, ma il diritto al corpo (ius in corpus). Questo aspetto procreativo-sessuale dei matrimonio si distingue chiaramente da quello aspetto biblico-personalistico, sui quale è fondata tutta istituzione dei matrimonio nel CIC/1983. Foedus matrimoniale significa non solo un atto dei consenso matrimoniale (matrimonium in statu fieri), ma sopratutto una comunità di tutta la vita (matrimonium in facto esse). L’espressione foedus matrimoniale è usato nel can. 1055 §1, e 1063, 4°, in cui significa la comunità di tutta la vita, e nel can. 1055 §2, nel cui significa l’atto del consenso, che inizia il patto matrimoniale. La diversita fra foedus matrimoniale e contractus matrimonialis consiste in un diverso concetto dei fini di matrimonio. „Un contratto” riconosceva una procreazione come un fino primario dei matrimonio. Una soddisfazione dei istinto sessuale e l’aiuto vicendevole erano un fino secondario. II patto matrimoniale esprime la comunità di tutta la vita deI’„uomo e la donna, nel cui i fini del matrimonio non dipendono da quella gerarchia”. La comunità del cuore, mente e attivita consiste nel risolvere le difficolta della vita e nello sviluppo del mutuo legame. Foedus matrimoniale ha un segno sacramentale. Contemporaneamente foedus matrimoniale esprime una somiglianza al amore di Cristo alla Sua Chiesa. Questo dimensione sacramentale del patto matrimoniale e conditio sine qua non per comprendere il matrimonio come, la comunità della vita e l’amore di donna e l’„uomo, che per Dio sono chiamati e scelti per se stessi”.
Źródło:
Ius Matrimoniale; 2000, 11, 5; 23-41
1429-3803
2353-8120
Pojawia się w:
Ius Matrimoniale
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Radzieckie i rosyjskie pułkowe samobieżne zestawy rakiet przeciwlotniczych
Autorzy:
Depczyński, Marek.
Powiązania:
Nowa Technika Wojskowa 2020, nr 12, s. 46-52
Data publikacji:
2020
Tematy:
Broń przeciwlotnicza
Zestawy rakietowe przeciwlotnicze
Sosna (zestaw)
Ptasznik (zestaw)
9K31 Strzała-1 (zestaw)
9K32 Strzała-2 (zestaw)
9K35 Strzała-10 (zestaw)
Budowa i konstrukcje
Dane taktyczno-techniczne sprzętu wojskowego
Uzbrojenie (wojsk.)
Modernizacja
Artykuł z czasopisma wojskowego
Opis:
Artykuł dotyczy samobieżnych zestawów rakiet przeciwlotniczych produkowanych w ZSRR i Rosji. Przybliża organizację i wyposażenie obrony przeciwlotniczej w radzieckich wojskach lądowych. Przedstawia radzieckie zestawy 9K31 Strzała-1, 9K32 Strzała-2 i 9K35 Strzała-10 oraz opracowane w ostatnich latach rosyjskie zestawy Sosna i Ptasznik. Omawia ich budowę, dane taktyczno-techniczne, uzbrojenie oraz modernizacje.
Dostawca treści:
Bibliografia CBW
Artykuł
Tytuł:
Rakietowy zestaw przeciwlotniczy 9K37 Buk i jego modyfikacje
Autorzy:
Depczyński, Marek.
Powiązania:
Nowa Technika Wojskowa 2020, nr 10, s. 50-57
Data publikacji:
2020
Tematy:
Obrona przeciwlotnicza
Zestawy rakietowe przeciwlotnicze
9K37 Buk (zestaw)
9K37M1 Buk M1 (zestaw)
9K317 Buk M2 (zestaw)
9K317M Buk M3 (zestaw)
Budowa i konstrukcje
Dane taktyczno-techniczne sprzętu wojskowego
Modernizacja
Artykuł z czasopisma wojskowego
Opis:
Artykuł przybliża zestaw rakietowy przeciwlotniczy przyjęty do uzbrojenia radzieckich wojsk przeciwlotniczych w 1980 roku. Przedstawia budowę, dane taktyczno-techniczne oraz eksploatację rosyjskiego zestawu rakietowego. Omawia pierwszą modernizację systemu 9K37 Buk oraz jego kolejne modernizacje w Rosji, opisuje także budowę, dane taktyczno-techniczne oraz proces wprowadzania do uzbrojenia armii rosyjskiej jego najnowszej wersji – Buk M3.
Dostawca treści:
Bibliografia CBW
Artykuł
Tytuł:
Rosyjski SHORAD – rakietowy zestaw przeciwlotniczy Tor
Autorzy:
Depczyński, Marek.
Powiązania:
Nowa Technika Wojskowa 2021, nr 8, s. 68-75
Data publikacji:
2021
Tematy:
Zestawy rakietowe przeciwlotnicze
Budowa i konstrukcje
Dane taktyczno-techniczne sprzętu wojskowego
Obsługa i eksploatacja
9K330 Tor (zestaw)
9K331 Tor-M1 (zestaw)
9K331 Tor-M2U (zestaw)
9K332 Tor-M2 (zestaw)
Artykuł z czasopisma wojskowego
Artykuł z czasopisma fachowego
Opis:
Artykuł przybliża rakietowy zestaw przeciwlotniczy Tor, przyjęty do uzbrojenia radzieckich wojsk w 1986 roku. Omawia jego pierwszą generację oraz kolejne wersje i odmiany. Przedstawia budowę, dane taktyczno-techniczne oraz eksploatację rosyjskiego zestawu rakietowego.
Fotografie.
Dostawca treści:
Bibliografia CBW
Artykuł
Tytuł:
Modernizacja techniczna polskich wojsk pancernych
Autorzy:
Dmitruk, Tomasz.
Powiązania:
Nowa Technika Wojskowa 2021, nr 2, s. 14-21
Data publikacji:
2021
Tematy:
Wojska pancerne
Czołgi
Modernizacja
T-72M1R (czołg)
Leopard 2 PL (czołg)
K2 PL (czołg)
Artykuł z czasopisma wojskowego
Artykuł z czasopisma fachowego
Opis:
Artykuł dotyczy modernizacji wojsk pancernych w polskiej armii. Autor przybliża ich aktualny stan oraz działania modernizacyjne w latach 1999-2020. Omawia przebieg modernizacji czołgów T-72M1R i Leopard 2PL, stan projektu samobieżnego niszczyciela czołgów „Ottokar-Brzoza” oraz wyposażenie polskich czołgów w nowoczesną amunicję przeciwpancerną. Przedstawia plany dotyczące nowych jednostek pancernych oraz projektu czołgu podstawowego nowej generacji o kryptonimie „Wilk”. W podsumowaniu autor wskazuje szereg działań, które będą służyły poprawie zdolności naszych wojsk pancernych.
Dostawca treści:
Bibliografia CBW
Artykuł
Tytuł:
Czar kronik
Autorzy:
Dobroński, Adam C.
Powiązania:
Dziennik Polski i Dziennik Żołnierza. Tydzień Polski (Londyn) 2006, nr 40, s. 6-7
Data publikacji:
2006
Tematy:
Letni Obóz Wypoczynkowy dla Szkół Junackich (1; 1944, Sidi-Bishr k. Aleksandrii)
Polskie Siły Zbrojne Szkoły Junackie PSZ 1944 r.
Instytut Polski i Muzeum im. gen. Sikorskiego (Londyn)
Zbiory
Opis:
I Letni Obóz Wypoczynkowy dla Szkół Junackich w Sidi-Bishr, na przedmieściu Aleksandrii (VII 1944 r.).
Fot.
Dostawca treści:
Bibliografia CBW
Artykuł
Tytuł:
A note on bipartite graphs whose [1, k]-domination number equal to their number of vertices
Autorzy:
Ghareghani, Narges
Peterin, Iztok
Sharifani, Pouyeh
Powiązania:
https://bibliotekanauki.pl/articles/256007.pdf
Data publikacji:
2020
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
domination
[1, k]-domination number
[l,k]-total domination number
bipartite graphs
Opis:
A subset D of the vertex set V of a graph G is called an [1, k]-dominating set if every vertex from V — D is adjacent to at least one vertex and at most fc vertices of D. A [1, k]-dominating set with the minimum number of vertices is called a [formula]-set and the number of its vertices is the [1, k]-domination number [formula] of G. In this short note we show that the decision problem whether [formula] is an NP-hard problem, even for bipartite graphs. Also, a simple construction of a bipartite graph G of order n satisfying [formula] is given for every integer n ≥ (k + l)(2k + 3).
Źródło:
Opuscula Mathematica; 2020, 40, 3; 375-382
1232-9274
2300-6919
Pojawia się w:
Opuscula Mathematica
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 73

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