Temat: logika wielowartościowa - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: Twórczość i wolność w ujfciu Kazimierza Ajdukiewicza*
Autorzy:: Jadacki, Jacek
Powiązania:: https://bibliotekanauki.pl/articles/705747.pdf
Data publikacji:: 2013
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: twórczość
wolność
logika wielowartościowa
prawda
Opis:: Artykuł stanowi rekonstrukcję bardzo ważnej i owocnej dyskusji między przed-stawicielami Szkoły Lwowsko-Warszawskiej, która miała miejsce na począt-ku XX wieku. Dyskusja ta dotyczyła zagadnienia prawdy, a jej ubocznym skutkiem było stworzenie przez Jana Łukasiewicza logiki wielowartościowej. Rekonstrukcja opiera się częściowo na dwóch nieznanych tekstach Kazimierza Ajdukiewicza, odnalezionych ostatnio w jednym z dzienników lwowskich tego okresu.
Źródło:: Przegląd Filozoficzny. Nowa Seria; 2013, 4; 459-468
1230-1493
Pojawia się w:: Przegląd Filozoficzny. Nowa Seria
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 2.

Tytuł:: Zastosowanie logiki czterowartościowej w procesie wnioskowania w systemie diagnostycznych
Autorzy:: Duer, Stanisław.
Zajkowski, Konrad.
Duer, Radosław.
Powiązania:: Biuletyn Wojskowej Akademii Technicznej 2016, nr 2, s. 41-52
Data publikacji:: 2016
Tematy:: Logika wielowartościowa
Diagnostyka techniczna
Postęp techniczny
Opis:: Rys., tab.
Bibliogr.
Dostawca treści:: Bibliografia CBW

Artykuł

Zmień widok

na półce

Skocz do pozycji: 3.

Tytuł:: Polowa analiza siłowników elektromagnetycznych i transformatorów
Field analysis of electromagnetic actuators and transformers
Autorzy:: Tomczuk, B.
Koteras, R.
Waindok, A.
Zimon, J.
Powiązania:: https://bibliotekanauki.pl/articles/157315.pdf
Data publikacji:: 2011
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: logika wielowartościowa
enkoder
multi-valued logic
encoder
Opis:: W artykule zamieszczono wybrane wyniki badań siłowników o ruchu liniowym i nowoczesnych transformatorów. Przedstawiono zarówno modele fizyczne analizowanych obiektów, jak i ich modele matematyczne. Praca zawiera wyniki obliczeń rozkładu pola magnetycznego oraz jego parametrów całkowych dla nowoczesnego siłownika liniowego do badań zmęczeniowych, dla siłownika łożyska magnetycznego oraz transformatora z rdzeniem z blach amorficznych. Prototypy wymienionych obiektów charakteryzują się parametrami spełniającymi wymagania przyszłych użytkowników. Należy także podkreślić dobrą zgodność wyników obliczeń i pomiarów.
Selected investigation results of linear actuators and modern transformers are presented in the paper. Both, physical and mathematical models of the analysed objects are shown. There are given results of calculating the magnetic field distribution and its integral parameters for three objects: a modern linear actuator for fatigue tests, a magnetic bearing actuator and amorphous core transformer. The prototypes of the mentioned objects are characterised by parameters which fulfill the future user's needs. One should underline good conformity of the calculation and measurement results. In the introduction (Section 1), the up-to-date information on linear actuators [2, 3, 4, 5, 6, 7, 8] and transformers [1, 9, 10 11] is given. In Section 2 numerical models of the analysed objects are described. In all cases the finite element method was used [12, 13, 14, 15]. The next three sections include the calculation results and measurement verification for: the linear actuator for fatigue tests (Section 3), the magnetic bearing actuator [16, 17] (Section 4) and the amorphous core transformer [18] (Section 5).
Źródło:: Pomiary Automatyka Kontrola; 2011, R. 57, nr 3, 3; 264-268
0032-4140
Pojawia się w:: Pomiary Automatyka Kontrola
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 4.

Tytuł:: Przetwornik sygnałów logiki dwuwartościowej na trójwartościową z zastosowaniem wielowejściowego wzmacniacza operacyjnego
The signal converter of two-state- into three-state-logic signal with use of multiple input operational amplifier
Autorzy:: Walecki, M.
Urbańczyk, M.
Powiązania:: https://bibliotekanauki.pl/articles/157318.pdf
Data publikacji:: 2011
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: logika wielowartościowa
enkoder
multi-valued logic
encoder
Opis:: Opisano teoretyczny model przetwornika sygnałów dwuwartościowej logiki boolowskiej na trójwartościową, dla dowolnych poziomów liczbowych wartości logicznych. Pokazano jego schemat ogólny. Zaproponowano realizację przetwornika sygnałów logicznych dwuwartościowych na trójwartościowe z zastosowaniem dwóch wielowejściowych napięciowych wzmacniaczy operacyjnych. Przedstawiono wyniki symulacji modelu układu o jednobiegunowej charakterystyce wzmocnienia.
The paper describes the theoretical model of a two-state logic into a three-state logic converter for which the value of the logic levels is arbitrary. For the purpose of analysing the converter, the number of binary inputs is set to two. The general diagram of the converter is shown. The realization of a two-state-logic converter into a three-state-logic signal with use of two multiple input voltage operational amplifiers is proposed. The converter output signals obtained from simulations are presented. Numerical simulations of the converter were performed when assuming single-pole role-off characteristics of the amplifier. The goal of the analysis is to examine the converter dynamics for different periods T of the input test signals. At the given distance between the consecutive output logic levels equal to 1 V, the converter generates signals of frequency up to 1 MHz. The upper limit of this logic converter frequency range results from the operational amplifier frequency characteristics. The main advantage of the converter with a multi-input operational amplifier is its simple construction and no additional passive elements required.
Źródło:: Pomiary Automatyka Kontrola; 2011, R. 57, nr 3, 3; 261-263
0032-4140
Pojawia się w:: Pomiary Automatyka Kontrola
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 5.

Tytuł:: Wielowartościowość a pojęcia epistemiczne
Many Values and Epistemic Concepts
Autorzy:: Lechniak, Marek
Powiązania:: https://bibliotekanauki.pl/articles/2013395.pdf
Data publikacji:: 2006
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:: logika epistemiczna
logika wielowartościowa
przekonanie
epistemic logic
many-valued logic
belief
Opis:: The paper presents several attempts to express intuition concerning the understanding of knowledge and conviction by means of the conceptual apparatus of many-valued logic. J. Łoś’s pioneer system has been presented here, the system constructed by Ngoc Duc Ho, in which the internal logic in this system is used by the knowing subject as the three-valued logic of Łukasiewicz and the third logical value is understood as “unjustified”, and the four-valued system of N. Belnap, the system that allows for the occurrence of propositions which are evaluated both as true and false.
Źródło:: Roczniki Filozoficzne; 2006, 54, 2; 375-390
0035-7685
Pojawia się w:: Roczniki Filozoficzne
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 6.

Tytuł:: Pierwsze próby konstrukcji logik nieklasycznych inspirowanych mechaniką kwantową: Zygmunt Zawirski i John von Neumann
Autorzy:: Drozdowska, Elżbieta
Powiązania:: https://bibliotekanauki.pl/articles/31233789.pdf
Data publikacji:: 2023
Wydawca:: Polska Akademia Nauk. Instytut Filozofii i Socjologii PAN
Tematy:: Zygmunt Zawirski
John von Neumann
logika kwantowa
logika wielowartościowa
filozofia mechaniki kwantowej
Opis:: Logika kwantowa pojawiła się w latach 30. XX wieku w wyniku postawienia pytania o to, czy konceptualne zmiany zapoczątkowane w fizyce przez mechanikę kwantową wymagają rewizji logiki. W literaturze anglojęzycznej za prekursora logiki kwantowej uznaje się Johna von Neumanna, natomiast w literaturze polskiej wskazuje się Zygmunta Zawirskiego. Zawirski był pierwszym badaczem, który zasugerował, że mechanika kwantowa może kierować się inną logiką niż logika klasyczna. Był pierwszym badaczem w ramach nurtu wielowartościowej logiki kwantowej, jednak jego wpływ okazał się ostatecznie niewielki. Z kolei John von Neumann wraz z Garrettem Birkhoffem zapoczątkowali dominujący dziś nurt algebraicznej logiki kwantowej. Okazuje się, że pomimo różnic założeń i metod, łączy ich podporządkowanie projektu logiki kwantowej dwóm wymaganiom – uwzględnieniu zasady nieoznaczoności Heisenberga i uzgodnieniu uzyskanej logiki z rachunkiem prawdopodobieństwa.
Źródło:: Filozofia i Nauka; 2023, 11; 133-160
2300-4711
2545-1936
Pojawia się w:: Filozofia i Nauka
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 7.

Tytuł:: Synteza diagnostycznego modelu układu sterowania z wykorzystaniem metod identyfikacji i wielowartościowego kodowania
Synthesis of a control system diagnostic model with use of identification methods and multivalent encoding
Autorzy:: Borowczyk, H.
Powiązania:: https://bibliotekanauki.pl/articles/328732.pdf
Data publikacji:: 2004
Wydawca:: Polska Akademia Nauk. Polskie Towarzystwo Diagnostyki Technicznej PAN
Tematy:: diagnostyka
identyfikacja
kodowanie
logika wielowartościowa
układ sterowania
diagnostics
identyfication
encoding
multiple-valued logic
control system
Opis:: Przedstawiono metodę tworzenia diagnostycznego modelu układu sterowania na podstawie wyników eksperymentalnych badań diagnostycznych, z wykorzystaniem metod identyfikacji oraz wielowartościowego kodowania parametrów modelu dynamicznego.
A method of a control system diagnostic model creation, based on experimental results of diagnostic examination with use of identification methods and multivalent encoding of dynamic model parameters, was presented.
Źródło:: Diagnostyka; 2004, 30, T. 1; 83-86
1641-6414
2449-5220
Pojawia się w:: Diagnostyka
Dostawca treści:: Biblioteka Nauki