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

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-11 z 11
    Tytuł:
    A certain approach to Kripke semantics for normal modal logics
    Autorzy:
    Bryll, G.
    Sochacki, R.
    Powiązania:
    https://bibliotekanauki.pl/articles/121860.pdf
    Data publikacji:
    2009
    Wydawca:
    Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
    Tematy:
    logika modalna
    semantyka Kripke
    logika czasowa
    logika matematyczna
    modal logic
    Kripke’s semantics
    mathematical logic
    Opis:
    In this paper the authors propose a method of verifying formulae in normal modal logics. In order to show that a formula α is a thesis of a normal modal logic, a set of decomposition rules for any formula is given. These decomposition rules are based on the symbols of assertion and rejection of formulae.
    Źródło:
    Scientific Issues of Jan Długosz University in Częstochowa. Mathematics; 2009, 14; 13-20
    2450-9302
    Pojawia się w:
    Scientific Issues of Jan Długosz University in Częstochowa. Mathematics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Simple and flexible way to integrate heterogeneous information systems and their services into the world data system
    Autorzy:
    Nowakowski, Grzegorz
    Telenyk, Sergii
    Yefremov, Kostiantyn
    Khmeliuk, Volodymyr
    Powiązania:
    https://bibliotekanauki.pl/articles/2141819.pdf
    Data publikacji:
    2021
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    research
    application integration
    business processes
    mathematical logic
    formal logic
    inference mechanism
    multi-agent system
    protocol
    software agent
    Opis:
    The approach to applications integration for World Data Center (WDC) interdisciplinary scientific investigations is developed in the article. The integration is based on mathematical logic and artificial intelligence. Key elements of the approach – a multilevel system architecture, formal logical system, implementation – are based on intelligent agents interaction. The formal logical system is proposed. The inference method and mechanism of solution tree recovery are elaborated. The implementation of application integration for interdisciplinary scientific research is based on a stack of modern protocols, enabling communication of business processes over the transport layer of the OSI model. Application integration is also based on coordinated models of business processes, for which an integrated set of business applications are designed and realized.
    Źródło:
    Journal of Automation Mobile Robotics and Intelligent Systems; 2021, 15, 4; 76-90
    1897-8649
    2080-2145
    Pojawia się w:
    Journal of Automation Mobile Robotics and Intelligent Systems
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    The logic of the nation: Nationalism, formal logic, and interwar Poland
    Autorzy:
    Dunning, David E.
    Powiązania:
    https://bibliotekanauki.pl/articles/783410.pdf
    Data publikacji:
    2018
    Wydawca:
    Polska Akademia Umiejętności
    Tematy:
    mathematical logic
    Polish logic
    Jan Łukasiewicz
    Warsaw School of Logic
    Polish notation
    reverse Polish notation
    olympic internationalism
    nationalism
    interwar science
    logika matematyczna
    polska logika
    Warszawska Szkoła Logiki
    notacja polska
    odwrotna notacja polska
    internacjonalizm olimpijski
    nacjonalizm
    nauka międzywojenna
    Opis:
    Between the World Wars, a robust research community emerged in the nascent discipline of mathematical logic in Warsaw. Logic in Warsaw grew out of overlapping imperial legacies, launched mainly by Polish-speaking scholars who had trained in Habsburg universities and had come during the First World War to the University of Warsaw, an institution controlled until recently by Russia and reconstructed as Polish under the auspices of German occupation. The intellectuals who formed the Warsaw School of Logic embraced a patriotic Polish identity. Competitive nationalist attitudes were common among interwar scientists – a stance historians have called “Olympic internationalism,” in which nationalism and internationalism interacted as complementary rather than conflicting impulses.One of the School’s leaders, Jan Łukasiewicz, developed a system of notation that he promoted as a universal tool for logical research and communication. A number of his compatriots embraced it, but few logicians outside Poland did; Łukasiewicz’s notation thus inadvertently served as a distinctively national vehicle for his and his colleagues’ output. What he had intended as his most universally applicable invention became instead a respected but provincialized way of writing. Łukasiewicz’s system later spread in an unanticipated form, when postwar computer scientists found aspects of its design practical for working under the specific constraints of machinery; they developed a modified version for programming called “Reverse Polish Notation” (RPN). RPN attained a measure of international currency that Polish notation in logic never had, enjoying a global career in a different discipline outside its namesake country. The ways in which versions of the notation spread, and remained or did not remain “Polish” as they traveled, depended on how readers (whether in mathematical logic or computer science) chose to read it; the production of a nationalized science was inseparable from its international reception.
    W okresie międzywojennym w rodzącej się dyscyplinie logiki matematycznej w Warszawie wyłoniła się silna społeczność badawcza. Logika w Warszawie wyrosła w wyniku nakładających się na siebie imperialnych spuścizn, dzięki działaniom głównie polskojęzycznych uczonych, którzy kształcili się na uniwersytetach habsburskich i przybyli w czasie I wojny światowej na Uniwersytet Warszawski, instytucję kontrolowaną do niedawna przez Rosję i zrekonstruowaną jako polską pod auspicjami niemieckiego okupanta. Intelektualiści, którzy tworzyli Warszawską Szkołę Logiki, przyjęli patriotyczną polską tożsamość. Konkurencyjne postawy nacjonalistyczne były powszechne wśród naukowców międzywojennych – stanowisko, które historycy nazwali „internacjonalizmem olimpijskim”, w którym nacjonalizm i internacjonalizm oddziaływały jako impulsy raczej wzajemnie się uzupełniające niż sprzeczne.Jeden z liderów Szkoły, Jan Łukasiewicz, opracował system notacji, który promował jako uniwersalne narzędzie do badań i komunikacji w logice. Wielu jego rodaków przyjęło ten system notacji, ale niewielu logików poza Polską. W ten sposób notacja Łukasiewicza nieumyślnie posłużyła jemu i jego współpracownikom jako narzędzie specyficznie polskie. Wynalazek, który w zamyśle miał być najbardziej uniwersalną formą zapisu, stał się szanowanym, lecz zrozumiałym tylko w kraju narzędziem. System notacji Łukasiewicza później rozprzestrzenił się w nieprzewidzianej formie, gdy powojenni informatycy zdali sobie sprawę z praktycznej użyteczności jego aspektów do pracy w specyficznych uwarunkowaniach maszynowych i opracowali zmodyfikowaną wersję tej notacji do programowania o nazwie „Reverse Polish Notation” (RPN). RPN osiągnął miarę waluty międzynarodowej, której nigdy nie miała polska notacja w logice, ciesząc się globalną karierą w innej dyscyplinie poza krajem jej imiennika. Drogi, w jakich wersje tej notacji rozprzestrzeniły się i pozostały lub nie pozostały „polskie” podczas tej podróży, zależały od tego, jak czytelnicy (zajmujący się logiką matematyczną albo informatyką) postanowili czytać tę notację; tworzenie znacjonalizowanej nauki było nierozerwalnie związane z jej międzynarodową recepcją.
    Źródło:
    Studia Historiae Scientiarum; 2018, 17
    2451-3202
    Pojawia się w:
    Studia Historiae Scientiarum
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    ROLA LOGIKI ROZMYTEJ I TEORII EWIDENCJI MATEMATYCZNEJ W SYSTEMACH LOGISTYCZNYCH
    Autorzy:
    Topolski, Mariusz
    Powiązania:
    https://bibliotekanauki.pl/articles/504661.pdf
    Data publikacji:
    2006
    Wydawca:
    Międzynarodowa Wyższa Szkoła Logistyki i Transportu
    Tematy:
    GPS
    theory of mathematical record
    the fuzzy logic
    Opis:
    In the first section of the paper fuzzy logic theory and mathematical record theory are introduced and innovative approaches to logistic science are presented. Disadvantages and advantages of fuzzy logic and Dempster-Shafer theory are discussed. In the second section an algorithm for analysing the position of transportation is used. In the third section research outcomes and an example of a method to implement a Global Positioning System in reality are presented. In the last sections some conclusions are drawn.
    Źródło:
    Logistics and Transport; 2006, 2, 1; 101-110
    1734-2015
    Pojawia się w:
    Logistics and Transport
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Modelowanie matematyczne przetworników logiki binarnej na logikę wielowartościową oraz realizacja praktyczna przetwornika
    Mathematical modelling of binary to multivalued logic converters and practical converter design
    Autorzy:
    Walecki, M.
    Urbańczyk, M.
    Słota, D.
    Wituła, R.
    Powiązania:
    https://bibliotekanauki.pl/articles/154286.pdf
    Data publikacji:
    2011
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    modelowanie matematyczne
    logika binarna i wielowartościowa
    enkoder
    mathematical modelling
    multivalued logic converter
    practical converter
    Opis:
    Podano przykładowe rozwiązanie zagadnienia wyznaczenia zależności opisującej stan logiczny jednego z wyjść przetwornika logiki binarnej na logikę wielowartościową (synteza układu logicznego). Analizę wykonano na platformie pakietu Mathematica. Przedstawiono funkcjonalny schemat blokowy użytego programu. Na podstawie uzyskanych wyników w programie oraz wzoru ogólnego na stan logiczny drugiego wyjścia przetwornika przedstawiono przykładowy teoretyczny model przetwornika sygnałów logiki dwuwartościowej na ośmiowartościową (2/8), dla dowolnych poziomów napięciowych sygnałów logicznych. Wykonano symulacje przetwornika w programie SPICE dla układu idealnego. Zaproponowano realizację przetwornika sygnałów logicznych dwuwartościowych na ośmiowartościowe z zastosowaniem dwóch napięciowych wzmacniaczy operacyjnych (działających jako sumatory). Układ przetwornika zrealizowano praktycznie. Wyniki testów przetwornika 2/8 przedstawiono na oscylogramach.
    The paper deals with application of the sum conjunction method in Mathematica software to determination of logic state of one of the multivalued logic converter outputs. Basing on the results of the mathematical modeling and using the general equation for the second converter output, a theoretical model of the binary to eight-state logic (2/8) converter for arbitrary levels of the logic signal voltage is proposed. The general scheme of the converter is also presented in the paper. The two-state to eight-state-logic converter practical realization with use of two multiple input voltage operational amplifiers is proposed. In the converter these operational amplifiers works as adders. The converter output signals are obtained from simulations. The simulations were performed when assuming the single-pole role-off characteristic of the amplifier. The converter of logic signals (2/8) was practically constructed and tested. The investigation results are shown on oscillograms. The converter works correctly within the frequency range up to 20 kHz. For higher frequencies of the input signal there are observed distortions of the output signal because of parasitic capacitances.
    Źródło:
    Pomiary Automatyka Kontrola; 2011, R. 57, nr 5, 5; 447-451
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Models, Methods and Information Technologies of Protection of Corporate Systems of Transport Based on Intellectual Identification of Threats
    Autorzy:
    Petrov, A.
    Lakhno, V.
    Korchenko, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/375969.pdf
    Data publikacji:
    2015
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    systems of transportation and communication
    information security
    cyber security
    threat detection
    mathematical models
    fuzzy logic
    Opis:
    In the article, results of the research on the development of methods and models of intellectual recognition of threats to information systems of transport. The article contains results of the research that allows us to raise the level of protection of the automated and intellectual information systems of the transportation enterprises (AISTE) in the conditions of the intensification of transportation. The article contains mathematical models and results of estimation information systems having Internet connection through various communication channels. The article also considers the issues of research and protection of the AISTE under the condition of several conflict-data-request threads.
    Źródło:
    Decision Making in Manufacturing and Services; 2015, 9, 2; 117-136
    1896-8325
    2300-7087
    Pojawia się w:
    Decision Making in Manufacturing and Services
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    What are the limits of mathematical explanation? Interview with Charles McCarty by Piotr Urbańczyk
    Autorzy:
    McCarty, David Charles
    Urbańczyk, Piotr
    Powiązania:
    https://bibliotekanauki.pl/articles/691211.pdf
    Data publikacji:
    2016
    Wydawca:
    Copernicus Center Press
    Tematy:
    mathematics
    logic
    mathematical explanation
    limits of explanation
    mathematical proof
    proof-core
    intuitionism
    constructivsim
    Gödel’s Incompleteness Theorems
    intuitionistics mathematics
    classical mathematics
    Axiom of Choice
    Opis:
    An interview with Charles McCarty by Piotr Urbańczyk concerning  mathematical explanation.
    Źródło:
    Zagadnienia Filozoficzne w Nauce; 2016, 60; 119-137
    0867-8286
    2451-0602
    Pojawia się w:
    Zagadnienia Filozoficzne w Nauce
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    On the application of statistical kernel estimators for the demand-based design of a wireless data transmission system
    Autorzy:
    Kulczycki, P.
    Waglowski, J.
    Powiązania:
    https://bibliotekanauki.pl/articles/970993.pdf
    Data publikacji:
    2005
    Wydawca:
    Polska Akademia Nauk. Instytut Badań Systemowych PAN
    Tematy:
    telekomunikacja
    logika rozmyta
    badania operacyjne
    programowanie matematyczne
    telecommunication
    wireless broadband data transmission systems
    LMDS
    statistical kernel estimators
    fuzzy logic
    operations research
    mathematical programming
    Opis:
    The subject of this paper is the task of designing the LMDS (Local Multipoint Distribution System) wireless broadband data transmission system. The methodology of statistical kernel estimators and fuzzy logic using operations research and mathematical programming is applied to find optimal locations for its basestations. A procedure which allows to obtain such locations on the basis of potential customer distribution and their expected demand, also in the cases of uncertain and non-stationary data, is investigated.
    Źródło:
    Control and Cybernetics; 2005, 34, 4; 1149-1167
    0324-8569
    Pojawia się w:
    Control and Cybernetics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Modele i reguły decyzyjne w symptomowej diagnostyce technicznej
    Models and decision rules in symptom technical diagnostic
    Autorzy:
    Jastriebow, A.
    Gad, S.
    Słoń, G.
    Powiązania:
    https://bibliotekanauki.pl/articles/327440.pdf
    Data publikacji:
    2006
    Wydawca:
    Polska Akademia Nauk. Polskie Towarzystwo Diagnostyki Technicznej PAN
    Tematy:
    model matematyczny
    model informacyjny
    sztuczna sieć neuronowa
    reguła logiczna
    reguła numeryczna
    diagnostyka
    pojazd
    mathematical model
    informative model
    artificial neural network
    logic rule
    numeric rule
    diagnostic
    vehicle
    Opis:
    W pracy przedstawiono modele i reguły decyzyjne stosowane w symptomowej diagnostyce technicznej. Modele podzielono na dwie grupy: matematyczne i informacyjne. Opisano kryteria budowy takich modeli. Na podstawie opisanych modeli przedstawiono reguły decyzyjne. Na przykładzie diagnozowania wyposażenia elektrycznego samochodów przedstawiono wyniki symulacyjnej analizy wybranych reguł. Wyniki analizy potwierdzają wysoką efektywność metod opartych na sztucznych sieciach neuronowych.
    In the paper models and decision rules, applied in the symptom technical diagnostic, are presented. Models have been split into two groups: mathematical and informative. Criterions of designing of such models are described. On the basis of described models, decision rules have been presented. Results of the simulating analysis of chosen rules have been presented on the example of diagnosing of car's electrical equipment. Results of the analysis confirm high efficiency of methods artificial neural networks.
    Źródło:
    Diagnostyka; 2006, 3(39); 199-208
    1641-6414
    2449-5220
    Pojawia się w:
    Diagnostyka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Polioptymalizacja rozmyta w MATLABie
    on tools for wood machining
    Autorzy:
    Tarnowski, W.
    Powiązania:
    https://bibliotekanauki.pl/articles/152712.pdf
    Data publikacji:
    2011
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    polioptymalizacja
    optymalizacja wielokryterialna
    logika rozmyta
    sterowanie rozmyte
    kryteria lingwistyczne
    model matematyczny
    zbiór Pareto
    zbiór rozwiązań kompromisowych
    poly-optimisation
    Multi Attribute Decision Making (MADM)
    fuzzy logic
    fuzzy control
    linguistic criteria
    mathematical models
    Pareto solutions
    trade-off solutions
    Opis:
    Skutecznym sposobem wdrożenia optymalizacji do praktyki może być wykorzystanie logiki rozmytej do tworzenia modeli matematycznych zadania optymalizacji, jeśli jest dostępna wiedza ekspercka dotycząca obiektu optymalizacji. Dzięki temu: a) unika się żmudnego procesu budowania modelu analitycznego i b) umożliwia się uwzględnienie w modelu rozmytych kryteriów i ograniczeń. W pracy pokazano procedurę wspomagania optymalizacji za pomocą pakietu MATLAB na przykładzie z dwoma i z trzema kryteriami optymalizacji, w ujęciu polioptymalizacyjnym. Wyciągnięto wnioski metodologiczne.
    As for now, optimization techniques are not very popular in real engineering, though they are taught at universities and are recognized as very useful in design and management. Probably the main reason is that mathematical models of objects are difficult to device and, what more criteria may not be precisely defined. A way to enhance an effective implementation of optimisation and MADM techniques to a real practice is a fuzzy logic approach to modelling an optimisation problem, if only the expert knowledge is at hand. It yields: a) avoiding the laborious and often not possible process of building an analytical model, b) makes it possible to use fuzzy and imprecise notions and aspects. In the paper there is proposed a procedure how to device and handle such models in the MATLAB environment to get a Pareto set solutions, in poly-optimisation. The methodology is illustrated on an example of a chemical reactor. The poly-optimal control is to be found. First, having stated criteria, as fuzzy and/or non-fuzzy notions (product quality and effectiveness, in the example), an expert arbitrarily defines decision variables (process temperature, time and mixing velocity), and their membership functions, then a mathematical model is established as a set of rules if - then (Fig. 1). This model may be intuitively verified and corrected by graphical presentations, as in Fig. 2. Then, a poly-optimisation is completed: either by survey of all possible solutions (Fig. 3) and reducing the set to the Pareto solutions (Figs. 4 - 6), or by mathematical optimization algorithms. In the example a first approach is adopted. The example is extended: a third non-fuzzy criterion is introduced (cost). (Figs. 7 - 9).Methodological conclusions are formulated, too.
    Źródło:
    Pomiary Automatyka Kontrola; 2011, R. 57, nr 9, 9; 1059-1062
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    MODELING OF GRAIN PRODUCTION PROFITABILITY BY FUZZY LOGIC
    MODELOWANIE RENTOWNOŚCI PRODUKCJI ZBОŻA Z WYKORZYSTANIEM LOGIKI ROZMYTEJ
    МОДЕЛИРОВАНИЕ РЕНТАБЕЛЬНОСТИ ЗЕРНОПРОИЗВОДСТВА С ИСПОЛЬЗОВАНИЕМ НЕЧЕТКОЙ ЛОГИКИ
    Autorzy:
    Hrytsiuk, Petro
    Babych, Tetyana
    Powiązania:
    https://bibliotekanauki.pl/articles/576788.pdf
    Data publikacji:
    2016-12-30
    Wydawca:
    Międzynarodowy Instytut Innowacji Nauka – Edukacja – Rozwój w Warszawie
    Tematy:
    mathematical modeling, grain production, statistic model, regression analysis, profitability, yield, crop production, fuzzy logic, membership function
    modelowanie matematyczne, produkcja zboża, modelu statystycznego, analiza regresji, rentowność, produktywność, logika rozmyta, funkcja
    математическое моделирование, зернопроизводство, статистическая модель, регрессионный анализ, рентабельность, урожайность, нечеткая логика, функция принадлежности
    Opis:
    Podstawą bezpieczeństwa żywnościowego Ukrainy są wysokie plony zbóż. W związku z tym szczególnie istotną kwestią jest opracowanie niezawodnego modelu matematycznego prognozowania produkcji zboża. Opracowano model szacowania rentowności produkcji zboża z wykorzystaniem analizy regresji i zasady logiki rozmytej. Przeprowadzona została prognoza rentowności produkcji zboża dla roku 2015 w oparciu o trzy różne formuły matematyczne, natomiast uzyskane wyniki predykcji były bardzo zbieżne.
    Ukraine is an agrarian state. One of the most important brunches of agriculture sector is grain production. High yield of grain is a basis of Ukrainian food security. Therefore the task of developing a reliable mathematical model forecasting the grain production profitability is actually. Regression analysis and fuzzy simulation principles have been used for building of the grain production profitability depending model. The values profitability forecasting for 2015 obtained by three different methods are convergent to each other.
    Основой продовольственной безопасности Украины являются высокие урожаи зерновых культур. Поэтому задача разработки надежной математической модели прогнозирования зернопроизводства является актуальной. С использованием корреляционно-регрессионного анализа и принципов нечеткого моделирования нами построена модель рентабельности производства зерна. Выполнено прогнозирование значения рентабельности производства зерна на 2015 год тремя различными методами, результаты прогнозирования близки между собой.
    Źródło:
    International Journal of New Economics and Social Sciences; 2016, 4(2); 42-52
    2450-2146
    2451-1064
    Pojawia się w:
    International Journal of New Economics and Social Sciences
    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