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

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-4 z 4
    Tytuł:
    Some dual logic without tautologies
    Autorzy:
    Górnicka, A.
    Bryll, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/951850.pdf
    Data publikacji:
    2015
    Wydawca:
    Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
    Tematy:
    podwójna logika
    tautologia
    dual logic
    tautology
    Opis:
    On this paper we consider a logic dual to the logic CRA and prove that it does not contain tautologies.
    Źródło:
    Scientific Issues of Jan Długosz University in Częstochowa. Mathematics; 2015, 20; 39-47
    2450-9302
    Pojawia się w:
    Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    An algorithm for solving the tautology problem
    O pewnym algorytmie badania tautologii rachunku zdań
    Autorzy:
    Karbowska, J.
    Powiązania:
    https://bibliotekanauki.pl/articles/341147.pdf
    Data publikacji:
    2002
    Wydawca:
    Politechnika Białostocka. Oficyna Wydawnicza Politechniki Białostockiej
    Tematy:
    metoda rozstrzygania
    tautologia rachunku zdań
    decidability procedure
    propositional tautology
    Opis:
    In the present paper we propose an algorithm deciding, whether a given formula a is a tautology of the propositional logic. The worst case complexity of the algorithm is of the order .
    W pracy został przedstawiony algorytm sprawdzania czy dana formuła rachunku zdań należąca do języka , zbudowana ze zmiennych, stałej zero, nawiasów oraz znaku implikacji, jest tautologią. Idea algorytmu jest oparta na regułach transformacji. Reguły te zachowują tautologiczność formuły, tzn. formuła , która jest tautologią po zastosowaniu odpowiedniej reguły w dalszym ciągu jest tautologią. Jeśli dana formuła jest różna od stałej lub zmiennej, to w formule znajdujemy ostanie wystąpienie znaku implikacji i stosujemy odpowiednią regułę otrzymując nowy ciąg formuł. Formuły przekształcamy do momentu, kiedy otrzymamy ciąg pusty (wtedy jest ona tautologią), bądź zmienną bądź stałą. Złożoność tego algorytmu, w najgorszym przypadku, wynosi , gdzie oznacza długość formuły.
    Źródło:
    Zeszyty Naukowe Politechniki Białostockiej. Informatyka; 2002, Z.1; 71-81
    1644-0331
    Pojawia się w:
    Zeszyty Naukowe Politechniki Białostockiej. Informatyka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Presentation of Mathematical Induction by Formula of Algebra of Algorithms
    Autorzy:
    Ovsyak, V.
    Ovsyak, O.
    Petrushka, J.
    Powiązania:
    https://bibliotekanauki.pl/articles/114070.pdf
    Data publikacji:
    2016
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    formula of the axiom of mathematical induction
    tautology
    truthful formula
    ordering of the variable values
    Opis:
    The analysis of the axiom of mathematical induction, which is given by the formula of mathematical logics is presented in the paper. It has been established that the famous formula of mathematical induction is executed only in case of ordered values of the variable linked by a quantifier. This ordering is not described analytically. Algebra of algorithms is applied for an analytical description of ordering of the variable values. The axiom of mathematical induction is described by the formula of algebra of algorithms.
    Źródło:
    Measurement Automation Monitoring; 2016, 62, 11; 367-370
    2450-2855
    Pojawia się w:
    Measurement Automation Monitoring
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Abbreviation noun phrases at the intersection of abbreviation and syntactic motivations
    Frazy rzeczownikowe oparte na akronimach powstałe w wyniku abrewiacji i motywacji składniowej
    Autorzy:
    Gavurová, Miroslava
    Powiązania:
    https://bibliotekanauki.pl/articles/2109386.pdf
    Data publikacji:
    2021-11-22
    Wydawca:
    Uniwersytet w Białymstoku. Wydawnictwo Uniwersytetu w Białymstoku
    Tematy:
    abbreviation
    motivation
    theory of lexical motivation
    noun phrase
    tautology
    redundancy
    multiword unit
    skrótowce
    abrewiacja
    motywacja
    teoria motywacji leksykalnej
    tautologia
    redundancja
    fraza rzeczownikowa
    wyrażenie wieloczłonowe
    Opis:
    The paper focuses on acronym-based noun phrases, i.e. noun phrases consisting of an abbreviation and a non-abbreviated lexeme. The author works with the theory of lexical motivation which presumes the existence of several types of motivation, including abbreviation and syntactic motivation. While abbreviations are formed by means of abbreviation motivation, syntactic constructions such as noun phrases are formed by means of syntactic motivation. Both types of motivation are dominant in the forming of abbreviation noun phrases. The author distinguishes and explains the differences between tautological (PIN number), semi-tautological (SIM card) and explicative noun phrases (GPRS platforms) as well as abbreviation multi-word units (USB port). The paper points out manifold functionality of each type of abbreviation noun phrase/multiword unit and presents abbreviations as productive means of forming new constructions and lexemes. Their versatile character makes abbreviations universal forms for coining new expressions of terminological character and thus contributing to multiple terminological databases of languages.
    Celem artykułu jest opis fraz rzeczownikowych mających w swojej strukturze akronim oraz pełen (nie będący skrótowcem) człon rzeczownikowy. Autorka artykułu bazuje na teorii motywacji z jej postulatem o zróżnicowanych typach motywowania. O ile powstawanie skrótowców motywowane jest abrewiacją, struktury składniowe takie jak nominaty powstają w drodze motywacji syntaktycznej. W artykule wyróżnia się i omawia osobliwe cechy fraz rzeczownikowych tautologicznych (numer PIN), semi-tautologicznych (karta SIM) i objaśniających (platforma GPRS) czy skrótowców wieloczłonowych (port USB). Wskazuje się też na wielofunkcjonalność każdego z wymienionych typów oraz produktywność skrótowców w tworzeniu nowych jednostek leksykalnych. Ta cecha sprawia, że skrótowce postrzegane są jako uniwersalne środki formułowania nowych terminów specjalistycznych, a tym samym jako jednostki wybitnie przydatne w budowaniu baz terminologicznych danego języka.
    Źródło:
    Białostockie Archiwum Językowe; 2021, 21; 23-41
    1641-6961
    Pojawia się w:
    Białostockie Archiwum Językowe
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-4 z 4

      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