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

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-11 z 11
    Tytuł:
    On the completeness of decomposable properties of graphs
    Autorzy:
    Hałuszczak, Mariusz
    Vateha, Pavol
    Powiązania:
    https://bibliotekanauki.pl/articles/744156.pdf
    Data publikacji:
    1999
    Wydawca:
    Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
    Tematy:
    decomposition
    hereditary property
    completeness
    Opis:
    Let ₁,₂ be additive hereditary properties of graphs. A (₁,₂)-decomposition of a graph G is a partition of E(G) into sets E₁, E₂ such that induced subgraph $G[E_i]$ has the property $_i$, i = 1,2. Let us define a property ₁⊕₂ by {G: G has a (₁,₂)-decomposition}.
    A property D is said to be decomposable if there exists nontrivial additive hereditary properties ₁, ₂ such that D = ₁⊕₂. In this paper we determine the completeness of some decomposable properties and we characterize the decomposable properties of completeness 2.
    Źródło:
    Discussiones Mathematicae Graph Theory; 1999, 19, 2; 229-236
    2083-5892
    Pojawia się w:
    Discussiones Mathematicae Graph Theory
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    The pragmatics of casual dialogue
    Autorzy:
    Warchala, Jacek
    Powiązania:
    https://bibliotekanauki.pl/articles/468274.pdf
    Data publikacji:
    2015
    Wydawca:
    Wydawnictwo Uniwersytetu Śląskiego
    Tematy:
    casual dialogue
    coherence
    completeness
    extralinguistic factors
    Opis:
    In this paper, the author presents the relationships of dialogue and then characterizes dialogue as a text. In dialogue’s characteristics, it is necessary to distinguish its units and both obligatory and optional elements. The author notes that a lively and spontaneous dialogue is dependent on various extralinguistic factors as well as accident.
    Źródło:
    Forum Lingwistyczne; 2015, 2; 97-119
    2449-9587
    2450-2758
    Pojawia się w:
    Forum Lingwistyczne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Carathéodory completeness on the plane
    Autorzy:
    Edigarian, Armen
    Powiązania:
    https://bibliotekanauki.pl/articles/2188102.pdf
    Data publikacji:
    2019
    Wydawca:
    Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
    Tematy:
    Carathéodory distance
    completeness
    Melnikov's theorem
    peak function
    Opis:
    M. A. Selby [8-10] and, independently, N. Sibony [11] proved that on the complex plane c-completeness is equivalent to c-finitely compactness. Their proofs are quite similar and are based on [4]. We give more refined equivalent conditions and, along the way, simplify the proofs.
    Źródło:
    Universitatis Iagellonicae Acta Mathematica; 2019, 56; 15-21
    2084-3828
    0083-4386
    Pojawia się w:
    Universitatis Iagellonicae Acta Mathematica
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    On some properties of Musielak-Orlicz sequence spaces
    Autorzy:
    Shragin, Isaac V.
    Powiązania:
    https://bibliotekanauki.pl/articles/745761.pdf
    Data publikacji:
    2008
    Wydawca:
    Polskie Towarzystwo Matematyczne
    Tematy:
    normal pregenfunction
    Musielak-Orlicz sequence space
    completeness
    separability
    Opis:
    We consider a nontrivial vector space \(X\) and a semimodular \(M\colon X\tp [0, \infty]\) with property: \((\forall\ x \in X) (\exists\ \alpha \gt 0)\ M (\alphax) \lt \infty\) (in other words, \(M\) is normal (i.e. \((\forall\ x\in X \setminus \{0\}) (\exists \alpha \gt 0)\ M (\alphax) \gt 0)\) pregenfunction). The function \(M\) generates in \(X\) a metric \(d\) with \[ d(x, y) := inf \{a \gt 0: M (a^{-1} (x-y)) \leq a\}. \] At the same time \(M\) generates a metric \(\rho\) in Musielak-Orlicz sequence space \(l_M\), namely \[ \rho(\varphi, \psi) := inf \{a \gt 0 : I(a^{-1} (\varphi - \psi)) \leq a\} \] with \(I(\varphi) = \sum_{n \geq 1} M (\varphiφ(n))\). It is proved that the space \((l_M,\rho)\) is complete if and only if the space \((X, d)\) is complete. We consider also the closed subspace \(G_M \subset l_M\) of sequences \(\varphi = \{\varphi(n)\}\) such that \((\forall \alpha \gt 0) (\exists m \in N) \sum_{n\geq m} M(\alpha\varphi(n)) \lt \infty\) and prove that \((G_M ,\rho)\) is separable if and only if \((X, d)\) is the same. Several examples are considered.
    Źródło:
    Commentationes Mathematicae; 2008, 48, 2
    0373-8299
    Pojawia się w:
    Commentationes Mathematicae
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Completeness, Categoricity and Imaginary Numbers: The Debate on Husserl
    Autorzy:
    Aranda, Víctor
    Powiązania:
    https://bibliotekanauki.pl/articles/750024.pdf
    Data publikacji:
    2020
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    Husserl
    completeness
    categoricity
    relative and absolute definiteness
    imaginary numbers
    Opis:
    Husserl's two notions of "definiteness" enabled him to clarify the problem of imaginary numbers. The exact meaning of these notions is a topic of much controversy. A "definite" axiom system has been interpreted as a syntactically complete theory, and also as a categorical one. I discuss whether and how far these readings manage to capture Husserl's goal of elucidating the problem of imaginary numbers, raising objections to both positions. Then, I suggest an interpretation of "absolute definiteness" as semantic completeness and argue that this notion does not suffice to explain Husserl's solution to the problem of imaginary numbers.
    Źródło:
    Bulletin of the Section of Logic; 2020, 49, 2
    0138-0680
    2449-836X
    Pojawia się w:
    Bulletin of the Section of Logic
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Identity, Equality, Nameability and Completeness
    Autorzy:
    Manzano, María
    Moreno, Manuel Crescencio
    Powiązania:
    https://bibliotekanauki.pl/articles/750030.pdf
    Data publikacji:
    2017
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    first-order logic
    type theory
    identity
    equality
    indiscernibility
    comprehension
    completeness
    translations
    nameability
    Opis:
    This article is an extended promenade strolling along the winding roads of identity, equality, nameability and completeness, looking for places where they converge. We have distinguished between identity and equality; the first is a binary relation between objects while the second is a symbolic relation between terms. Owing to the central role the notion of identity plays in logic, you can be interested either in how to define it using other logical concepts or in the opposite scheme. In the first case, one investigates what kind of logic is required. In the second case, one is interested in the definition of the other logical concepts (connectives and quantifiers) in terms of the identity relation, using also abstraction. The present paper investigates whether identity can be introduced by definition arriving to the conclusion that only in full higher-order logic a reliable definition of identity is possible. However, the definition needs the standard semantics and we know that with this semantics completeness is lost. We have also studied the relationship of equality with comprehension and extensionality and pointed out the relevant role played by these two axioms in Henkin’s completeness method. We finish our paper with a section devoted to general semantics, where the role played by the nameable hierarchy of types is the key in Henkin’s completeness method.
    Ź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ł:
    Użyteczność danych o lasach udostępnianych w serwisie OpenStreetMap
    Usability of the OpenStreetMap forest data
    Autorzy:
    Bielecka, E.
    Leszczyńska, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/986666.pdf
    Data publikacji:
    2018
    Wydawca:
    Polskie Towarzystwo Leśne
    Tematy:
    lesnictwo
    lasy
    zrodla danych
    serwis OpenStreetMap
    kompletnosc danych
    wiarygodnosc
    forest
    osm
    spatial data quality
    completeness
    location accuracy
    Opis:
    OpenStreetMap (OSM) is a collaborative project covering the whole World with topographic data. Data are edited by volunteer users on the basis of satellite images, ortophotomaps and GPS traces, therefore are of diversified quality, especially completeness and positional accuracy. The aim of this study was to evaluate the usability of OSM forest data for Poland. We proved that positional accuracy, expressed by RMSE that equals to 16 m, was comparable with the national topographic data at the scale 1:10 000. However 3.5% of the outliers were noticed, for which the positional accuracy amounted to about 300 m. The completeness of the OSM data in May 2017, computed on the basis of Czekanowski matching feature area−based completeness index, equalled 86% and was still increasing. The lowest value of the completeness was observed for lubuskie voivodeship (76.4%), while the highest (92.5%) for zachodniopomorskie. For ten voivodeships the completeness of forest cover was greater than national average. In general, there were only a few forest polygons with their name or other pertinent characteristics like tree type (coniferous/deciduous) attributed by the editors. Logical consistency was nearly perfect as only 5.8% of the polygons were topologically incorrect. Forest definition as ‘an area dominated by trees’, is very similar in national topographic data and in OSM, both are based on physical characteristics of the surface of the Earth. Contrary to the national spatial data, OSM data are constantly updated, free and available without restrictions. It constitutes valuable alternative data source for all users. However, the heterogeneity of these data should also be kept in mind, while they are used in analysis and decision process support.
    Źródło:
    Sylwan; 2018, 162, 06; 460-468
    0039-7660
    Pojawia się w:
    Sylwan
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Jakość danych OpenStreetMap – analiza informacji o budynkach na terenie Siedlecczyzny
    OpenStreetMap building data quality: the Siedleckie county study
    Autorzy:
    Nowak-DaCosta, J.
    Bielecka, E.
    Całka, B.
    Powiązania:
    https://bibliotekanauki.pl/articles/346673.pdf
    Data publikacji:
    2016
    Wydawca:
    Polskie Towarzystwo Informacji Przestrzennej
    Tematy:
    jakość danych
    OSM
    VGI
    kompletność
    dokładność położenia
    OpenStreetMap
    building data
    Volunteered Geographic Information (VGI)
    completeness
    data quality
    Opis:
    Jakość danych OpenStreetMap (OSM), a w szczególności takie jej elementy ilościowe jak kompletność oraz dokładność położenia, wzbudza szerokie zainteresowanie naukowców na świecie. W artykule przedstawiono potencjalne okoliczności powszechnie obserwowanej heterogenicznej charakterystyki OSM, zwracając uwagę na aspekt niedoskonałości ustaleń semantycznych i założeń jakościowych inicjatywy oddolnej jaką jest OpenStreetMap. Część praktyczną badań stanowi ocena kompletności i dokładności lokalizacji danych o budynkach i budowlach OSM w stosunku do krajowych danych urzędowych, bazy danych obiektów topograficznych BDOT10k. Analizy zostały przeprowadzone dla peryferyjnie położonego, powiatu siedleckiego i miasta Siedlce. Opracowanie dopełnia dotychczasowe rezultaty badawcze w zakresie analiz ilościowych jakości OSM, a otrzymane wyniki potwierdzają zróżnicowaną jakość danych o budynkach, w sensie ich kompletności i wypełnienia wartościami ich atrybutów oraz dokładności lokalizacji, także na terenie Polski. Niemniej jednak, wyniki analizy dokładności geometrycznej są zaskakująco dobre. W dyskusji autorzy zwracają uwagę na fakt, że mimo niedoskonałości danych wolnych i otwartych są one powszechnie wykorzystywane przez użytkowników, do których należy także administracja publiczna.
    Researchers all over the world are interested in OpenStreetMap data and its quality including completeness and geometric accuracy. This article looks into the commonly observed heterogeneous characteristics of OpenStreetMap geospatial data and draws attention to the vague semantic and quality foundations of this important grass-roots initiative. The experiment is an assessment of the completeness and positional accuracy of OSM building data compared to the national data: the Database of Topographic Objects in Poland (BDOT10k). The analysis was performed for the county and city of Siedlce. This study complements previous research results in the quantitative analysis of OpenStreet- Map data quality. The results confirm the variable quality of OSM data in terms of completeness and updating of building information found in their attribute's, and the positional accuracy of building corners even for the Polish territory. Nevertheless, the analysis did find that the positional accuracy of the OpenStreetMap building data was very good in comparison to the BDOT10K database. The authors draw attention to the fact that Free and Open geospatial data, despite its imperfections, is widely adopted by users including public administrations.
    Źródło:
    Roczniki Geomatyki; 2016, 14, 2(72); 201-211
    1731-5522
    2449-8963
    Pojawia się w:
    Roczniki Geomatyki
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Identity, equality, nameability and completeness. Part II
    Autorzy:
    Manzano, María
    Moreno, Manuel Crescencio
    Powiązania:
    https://bibliotekanauki.pl/articles/749980.pdf
    Data publikacji:
    2018
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    identity
    equality
    completeness
    nameability
    first-order modal logic
    hybrid logic
    hybrid type theory
    equational hybrid propositional type theory
    Opis:
    This article is a continuation of our promenade along the winding roads of identity, equality, nameability and completeness. We continue looking for a place where all these concepts converge. We assume that identity is a binary relation between objects while equality is a symbolic relation between terms. Identity plays a central role in logic and we have looked at it from two different points of view. In one case, identity is a notion which has to be defined and, in the other case, identity is a notion used to define other logical concepts. In our previous paper, [16], we investigated whether identity can be introduced by definition arriving to the conclusion that only in full higher-order logic with standard semantics a reliable definition of identity is possible. In the present study we have moved to modal logic and realized that here we can distinguish in the formal language between two different equality symbols, the first one shall be interpreted as extensional genuine identity and only applies for objects, the second one applies for non rigid terms and has the characteristic of synonymy. We have also analyzed the hybrid modal logic where we can introduce rigid terms by definition and can express that two worlds are identical by using the nominals and the @ operator. We finish our paper in the kingdom of identity where the only primitives are lambda and equality. Here we show how other logical concepts can be defined in terms of the identity relation. We have found at the end of our walk a possible point of convergence in the logic Equational Hybrid Propositional Type Theory (EHPTT), [14] and [15].
    Źródło:
    Bulletin of the Section of Logic; 2018, 47, 3
    0138-0680
    2449-836X
    Pojawia się w:
    Bulletin of the Section of Logic
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Tentative division of Latin adverbs of degree
    Próba podziału łacińskich przysłówków stopnia
    Autorzy:
    Górska, Małgorzata
    Powiązania:
    https://bibliotekanauki.pl/articles/1882754.pdf
    Data publikacji:
    2015
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    stopniowanie
    przysłówki stopnia
    wykładniki gradacji
    intensywność
    kompletność
    dostateczność i nadmiar
    comparison
    adverbs of degree
    indices of gradation
    intensity
    completeness
    sufficiency and excess
    Opis:
    Artykuł jest próbą podziału łacińskich leksemów służących do wskazywania bezwzględnego stopnia cechy lub stanu, określanego przez predykaty gradualne, tradycyjnie nazywanych przysłówkami stopnia. Proponuje się rozróżnianie czterech grup wykładników stopnia, charakteryzujących cechę lub stan ze względu na kategorie intensywności, kompletności, dostateczności i nadmiaru: (1) wykładniki intensywności: a. intensyfikatory, wskazujące na wysoki stopień cechu lub stanu (valde, multum, magnopere/magno opere, admodum, bene, male, sane, plane, non mediocriter, abunde, impense, vehementer, graviter, egregie, eximie, mire, mirifice, mirabiliter), b. dezintensyfikatory, wskazujące na niski stopień cechy lub stanu (non valde, non magnopere, non admodum, male, mediocriter); (2) wykładniki kompletności: a. wskazujące na pełny stopień cechy lub stanu (bene, male, plane, admodum, longe, omnino), b. wskazujące na niepełny stopień cechy lub stanu (prope, paene, non plane); (3) wykładniki dostateczności: a. wskazujące na dostateczny stopień cechy lub stanu (satis/sat), b. wskazujące na niedostateczny stopień cechy lub stanu (non satis/sat, parum) i (4) wykładniki nadmiaru: a. wskazujące na nadmiar cechy lub stanu (nimis/nimium, oppido), b. wskazujące na brak nadmiaru cechy lub stanu (non nimis).
    The paper is an attempt of dividing Latin lexemes of the nonrelative degree of a property or state, which is expressed by gradable predicates, traditionally called adverbs of degree. The disitnction of four groups of degree indices is proposed, which characterize a property or state according to categories of intensity, completeness, sufficiency and excess, i.e. (1) Indices of intensity: a. intensifiers describing the high degree of a property or state (valde, multum, magnopere/magno opere, admodum, bene, male, sane, plane, non mediocriter, abunde, impense, vehementer, graviter, egregie, eximie, mire, mirifice, mirabiliter), b. disintensifiers describing the low degree of a property or state (non valde, non magnopere, non admodum, male, mediocriter); (2) Indices of completeness: a. describing the complete degree of a property or state (bene, male, plane, admodum, longe, omnino), b. describing the incomplete degree of a property or state (prope, paene, non plane); (3) Indices of sufficiency: a. describing the sufficient degree of a property or state (satis/sat), b. describing the insufficient degree of a property or state (non satis/sat, parum) and (4) Indices of excess: a. describing the excess of a property or state (nimis/nimium, oppido), b. describing the lack of excess of a property or state (non nimis).
    Źródło:
    Roczniki Humanistyczne; 2015, 63, 3; 177-198
    0035-7707
    Pojawia się w:
    Roczniki Humanistyczne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Distribution Laws in Weak Positional Logics
    PRAWA DYSTRYBUCYJNE W SŁABYCH LOGIKACH POZYCYJNYCH
    Autorzy:
    TKACZYK, Marcin
    Powiązania:
    https://bibliotekanauki.pl/articles/943518.pdf
    Data publikacji:
    2018-09-28
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    positional logic
    weak positional logic
    distribution
    distributive law
    realization connective
    completeness
    logika pozycyjna
    słaba logika pozycyjna
    dystrybucja
    prawo dystrybucyjne
    spójnik realizacji
    pełność
    Opis:
    A formal language is positional if it involves a positional connecitve, i.e. a connective of realization to relate formulas to points of a kind, like points of realization or points of relativization. The connective in focus in this paper is the connective R, first introduced by Jerzy Łoś. Formulas RtA involve a singular name t and a formula A to the effect that RtA is satisfied (true) relative to the position designated by t. In weak positional calculi no nested occurences of the connective are allowed. The distribution problem in weak positional logics is actually the problem of distributivity of the connective R over classical connectives, viz. the problem of relation between the occurences of classical connectives inside and outside the scope of the positional connective R.
    Logiki pozycyjne zawierają spójnik realizacji, który odnosi wyrażenie do pozycji ustalonego rodzaju, np. pozycji w czasie, przestrzeni, osób. W szczególności wyrażenie RtA należy odczytywać: w punkcie t jest tak, że A lub w podobny sposób. Najsłabszą logiką pozycyjną, w której spójnik R jest dystrybutywny względem wszystkich spójników klasycznego rachunku zdań, a w konsekwencji spójniki są booleowskie w każdym kontekście, jest system MR. Rozważane w tej pracy słabe logiki pozycyjne są systemami pośrednimi między klasycznym rachunkiem zdań a systemem MR. Niektóre, ale niekoniecznie wszystkie, spójniki w tych systemach mogą być booleowskie. Przedstawiam tutaj prosty algorytm budowy dowolnego adekwatnego systemu z rozważanego przedziału, wyznaczonego przez wybrane prawa dystrybucyjne. Przedstawiony tutaj algorytm łatwo rozszerza się na inne zestawy spójników.
    Źródło:
    Roczniki Filozoficzne; 2018, 66, 3; 163-179
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-11 z 11

      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