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-15 z 21
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ł:
Zastosowanie logiki matematycznej (rachunku zdań) przy ustalaniu diagnozy lekarskiej
Application of mathematical logic (propositional calculus) to medical diagnosis
Применение математической логики (исчисление предложений) при постановке врачебного диагноза
Autorzy:
Wartak, J.
Powiązania:
https://bibliotekanauki.pl/articles/741404.pdf
Data publikacji:
1964
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Źródło:
Applicationes Mathematicae; 1963-1964, 7, 4; 335-344
1233-7234
Pojawia się w:
Applicationes 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ł:
Mordechai Ben-Ari, Logika matematyczna w informatyce
Mordechai Ben-Ari, Logika matematyczna w informatyce [orig. Mathematical Logic for Computer Science], transl. from Eng. by M. Miłkowska, Warszawa: Wydawnictwa Naukowo-Techniczne 2005, pp. 343. Series: Klasyka Informatyki. ISBN 83-204-2972-2
Autorzy:
Krysiewicz, Jakub
Powiązania:
https://bibliotekanauki.pl/articles/2013304.pdf
Data publikacji:
2007
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Źródło:
Roczniki Filozoficzne; 2007, 55, 2; 235-239
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Logika indukcji a statystyka matematyczna
Inductive logic vs mathematical statistics
Autorzy:
Mikiewicz, Jan
Powiązania:
https://bibliotekanauki.pl/articles/1918817.pdf
Data publikacji:
2020-10-27
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Opis:
The early concepts of the inductive logic have origin by ancient and medieval thinkers, but the true development we observe just in the second half of XIX century when the probability theory was applied there. In the XX century a real explosion of papers in this area is observed, but generally this literature is based on the subjective probabilities concepts. It is observed also an unpleasant gap between this direction and the excellent development of mathematical statistics which is very efficient technically, but the philosophical foundations of this apparatus were loitering downwards. It seems to be an misunderstanding that some controversies between statisticians caused a small statistical experience by the authors of inductive logic and vice versa − the methodology of mathematical statistics was not supported by the philosophical thought.
Źródło:
Roczniki Filozoficzne; 1994, 42, 3; 5-22
0035-7685
Pojawia się w:
Roczniki Filozoficzne
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ł:
Fakty matematyczne w świetle logiki niefregowskiej
Mathematical Facts in Light of Nonfregean Logic
Autorzy:
Krysztofiak, Wojciech
Powiązania:
https://bibliotekanauki.pl/articles/966815.pdf
Data publikacji:
2011-12-01
Wydawca:
Uniwersytet Warszawski. Wydział Filozofii
Opis:
The paper presents a new argument supporting the ontological standpoint according to which there are no mathematical facts in any set theoretic model (world) constructed on the grounds of second order arithmetical theories founded upon set theory. Slingshot arguments directed against facts, situations and other propositional entities are usually blocked by rejecting one of the main inference rules used in various versions of this argument. Authors distinguish two types of main inference rules used in these variants: (i) for non-propositional expressions: iota-conversion rules (ι-conv), iota-substitution rules (ι-subs), lambda-conversion principle (λ-conv); and (ii) for propositional expressions: the principle of substitutivity for logical equivalents (PSLE). Even if strategies for defending facts by the rejection of one of the mentioned rules are accepted, it may be shown that the acceptance of the requirement that mathematical facts (situations or truth-makers) differing with regard to their constituents are different facts, leads to the contradiction in meta-theories of set theoretic models for first order arithmetical theories. In the paper, a new type of slingshot argument is presented, which may be called hyper-slingshot. The difference between meta-theoretical hyper-slingshots and conventional slingshots consists in the fact that the former are formulated in the semantic meta-language of mathematical theories without the use of the iota-operator or the name-forming lambda-operator, whereas the latter require for their expression at least one of these non-standard term-operators. Furthermore, in hyper-slingshots PSLE is not used, whereas in conventional slingshots, PSLE plays a crucial inferential role. Hyper-slingshots implement simpler language tools in comparison with those used in conventional slingshots.
Źródło:
Filozofia Nauki; 2011, 19, 4; 83-101
1230-6894
2657-5868
Pojawia się w:
Filozofia Nauki
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ł:
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ł:
Logika racjonalności. W stronę modalnego platonizmu matematycznego
The Logic of Rationality. Towards Modal Mathematical Platonism
Autorzy:
Wilczek, Piotr
Powiązania:
https://bibliotekanauki.pl/articles/691018.pdf
Data publikacji:
2011
Wydawca:
Copernicus Center Press
Tematy:
Alfred N. Whitehead
Alfred Tarski
logical consequence
ZFC
second-order set theory
forcing
modal logics
field of rationality
structuralism
platonism
Opis:
In this article Whitehead’s philosophy of mathematics is characterized as a Structural Second-Order Platonism and it is demonstrated that the Whiteheadian ontology is consistent with modern formal approaches to the foundation of mathematics. We follow the pathway taken by model-theoretically and semantically oriented philosophers. Consequently, it is supposed that all mathematical theories (understood as deductively closed set of sentences) determine their own models. These models exist mind-independently in the realm of eternal objects. From the metatheoretical point of view the hypothesis (posed by Józef Życiński) of the Rationality Field is explored. It is indicated that relationships between different models can be described in the language of modal logics and can further be axiomatized in the framework of the Second Order Set Theory. In conclusion, it is asserted that if any model (of a mathematical theory) is understood, in agreement with Whitehead’s philosophy, as a collection of eternal objects, which can be simultaneously realized in a single actual occasion, then our external world is governed by the hidden pattern encoded in the field of pure potentialities which constitute the above mentioned Field of Rationality. Therefore, this work can be regarded as the first step towards building a Logic of Rationality.
Źródło:
Zagadnienia Filozoficzne w Nauce; 2011, 49; 98-122
0867-8286
2451-0602
Pojawia się w:
Zagadnienia Filozoficzne w Nauce
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ł
Wyświetlanie 1-15 z 21

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