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: Wszystkie pola

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-10 z 10
    Tytuł:
    Diagonal reasonings in mathematical logic
    Autorzy:
    Adamowicz, Zofia
    Powiązania:
    https://bibliotekanauki.pl/articles/1359630.pdf
    Data publikacji:
    1995
    Wydawca:
    Polska Akademia Nauk. Instytut Matematyczny PAN
    Opis:
    First we show a few well known mathematical diagonal reasonings. Then we concentrate on diagonal reasonings typical for mathematical logic.
    Źródło:
    Banach Center Publications; 1995, 34, 1; 9-18
    0137-6934
    Pojawia się w:
    Banach Center Publications
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Mathematical logic in Poland 1918–1939
    Autorzy:
    Woleński, Jan
    Powiązania:
    https://bibliotekanauki.pl/articles/2012155.pdf
    Data publikacji:
    2018
    Wydawca:
    Polskie Towarzystwo Matematyczne
    Opis:
    Poland in the years 1918–1939 became one of the main centres of mathematical logic in the entire Word. This paper describes the rise of this field in Poland, Polish logical circles, organizations, journals and the main achievements of Polish logicians.
    Źródło:
    Antiquitates Mathematicae; 2018, 12; 99-109
    1898-5203
    2353-8813
    Pojawia się w:
    Antiquitates Mathematicae
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    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ł:
    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ł:
    Identification of the mathematical model of an inspection mobile robot with fuzzy logic systems and neural networks
    Identyfikacja modelu matematycznego mobilnego robota inspekcyjnego układami z logiką rozmytą i sieciami neuronowymi
    Autorzy:
    Giergiel, J.
    Kurc, K.
    Powiązania:
    https://bibliotekanauki.pl/articles/280891.pdf
    Data publikacji:
    2011
    Wydawca:
    Polskie Towarzystwo Mechaniki Teoretycznej i Stosowanej
    Tematy:
    modeling
    identification
    neural network
    fuzzy logic
    robot
    Opis:
    The paper focuses on the comparison of identification of the mathematical model of an inspection mobile robot by making use of fuzzy logic systems and neural networks. The solution to the problem was carried out through simulations and experimentally.
    W artykule przedstawiono porównanie identyfikacji modelu matematycznego mobilnego robota inspekcyjnego układami z logiką rozmytą i sieciami neuronowymi. Rozwiązanie problemu zostało przeprowadzone na drodze numerycznej i doświadczalnej.
    Źródło:
    Journal of Theoretical and Applied Mechanics; 2011, 49, 1; 209-225
    1429-2955
    Pojawia się w:
    Journal of Theoretical and Applied Mechanics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Mathematical Methods in Region-Based Theories of Space: The Case of Whitehead Points
    Autorzy:
    Gruszczyński, Rafał
    Powiązania:
    https://bibliotekanauki.pl/articles/43183148.pdf
    Data publikacji:
    2024
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    Boolean contact algebras
    region-based theories of space
    point-free theories of space
    points
    spatial reasoning
    Grzegorczyk
    Whitehead
    extensive abstraction
    Opis:
    Regions-based theories of space aim—among others—to define points in a geometrically appealing way. The most famous definition of this kind is probably due to Whitehead. However, to conclude that the objects defined are points indeed, one should show that they are points of a geometrical or a topological space constructed in a specific way. This paper intends to show how the development of mathematical tools allows showing that Whitehead’s method of extensive abstraction provides a construction of objects that are fundamental building blocks of specific topological spaces.
    Źródło:
    Bulletin of the Section of Logic; 2024, 53, 1; 63-104
    0138-0680
    2449-836X
    Pojawia się w:
    Bulletin of the Section of Logic
    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ł:
    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ł
    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ł
      Wyświetlanie 1-10 z 10

      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