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

  Lista filtrów

Dostawca treści

Podbaza

Wyrównaj
Wyświetlanie 1-15 z 461
Tytuł:
Sur le terme primitif de la Logistique
Autorzy:
Tajtelbaum, Alfred
Powiązania:
https://bibliotekanauki.pl/articles/1385827.pdf
Data publikacji:
1923
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:
system logiczny
termin pierwotny
logika
Opis:
Le but de cette note est de présenter la solution du problème suivant: est - il possible de construire un système de la Logistique, en admettant le signe d'équivalence comme le seul terme primitif (bien entendu, outre les quantificateurs) ?
Źródło:
Fundamenta Mathematicae; 1923, 4, 1; 196-200
0016-2736
Pojawia się w:
Fundamenta Mathematicae
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Sur les truth-functions au sens de MM. Russell et Whitehead
Autorzy:
Tajtelbaum-Tarski, Alfred
Powiązania:
https://bibliotekanauki.pl/articles/1385782.pdf
Data publikacji:
1924
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:
truth-functions
logika
Opis:
Définition: Russell et Whitehead appellent "truth-function" toute fonction f (ayant pour argument une proposition) qui satisfait à la condition: [p,q]:p ≡ p · f(p) ⊃ f(q) Le but de cette note est de démontrer quelques théorèmes sur les conditions tantôt nécessaires et suffisantes, tantôt seulement nécessaires pour qu'une fonction donnée f soit truth-function dans le sens indiqué de ce terme.
Źródło:
Fundamenta Mathematicae; 1924, 5, 1; 59-74
0016-2736
Pojawia się w:
Fundamenta Mathematicae
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Sur quelques théorèmes qui équivalent à laxiome du choix
Autorzy:
Tajtelbaum-Tarski, Alfred
Powiązania:
https://bibliotekanauki.pl/articles/1385793.pdf
Data publikacji:
1924
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:
liczby kardynalne pozaskończone
aksjomat wyboru
aksjomatyka Zermelo
logika
Opis:
Le but de cette note est d'établir que l'axiome du choix de Zermelo équivaut à chacun des sept théorèmes suivantes: m, n, p, q étant des nombres cardinaux transfinis, [I] m.n = m + n; [II] $m = m^2$; [III] si $m^2 = n^2$, on a m = n; [IV] si m < n et p < q on a m+p < n+q; [IV'] si m < n et p < q. on a m.p < n.q; [V] si m+p < n+p on a m < n; [V'] si m.p < n.p on a m < n.;
Źródło:
Fundamenta Mathematicae; 1924, 5, 1; 147-154
0016-2736
Pojawia się w:
Fundamenta Mathematicae
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Concerning groups of dyadic relations of an arbitrary field
Autorzy:
Keyser, C.
Powiązania:
https://bibliotekanauki.pl/articles/1385742.pdf
Data publikacji:
1925
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:
iloczyn relacji
relacja dwuargumentowa
grupa relacji
logika
relacja
Opis:
The purpose of this paper is to study relations that satisfy the following requirements: 1. the relations are dyadic and homogeneous; 2. they have a common field; 3. the field is infinite; 4. the domain, the co-domain and the field of a relations coincide.
Źródło:
Fundamenta Mathematicae; 1925, 7, 1; 323-339
0016-2736
Pojawia się w:
Fundamenta Mathematicae
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A fuzzy neural network for knowledge acquisition in complex time series
Autorzy:
Kasabov, N.
Kim, J.
Kozma, R.
Powiązania:
https://bibliotekanauki.pl/articles/205889.pdf
Data publikacji:
1998
Wydawca:
Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:
logika rozmyta
sieć neuronowa rozmyta
układ dynamiczny
adaptation
computational neural net
fuzzy logic
fuzzy neural net
knowledge acquisition
time-series and dynamical system
Opis:
A novel fuzzy neural network, called FuNN, is applied here for time-series modeling. FuNN models have several features that make them well suited to a wide range of knowledge engineering applications. These strengths include fast and accurate learning, good generalisation capabilities, excellent explanation facilities in the form of semantically meaningful fuzzy rules, and the ability to accomodate both numerical data and existing expert knowledge about the problem under consideration. We investigate the effectiveness of the proposed neuro-fuzzy hybrid architectures for manipulating the future behaviour of nonlinear dynamical systems and interpreting fuzzy if-then rules. A well-known example of Box and Jenkins is used as a benchmark time series in the proposed modelling approach and the other modelling approach. Finally, experimental results and comparisons with the other popular neuro-fuzzy inference system, namely Adaptive Network-based Fuzzy Inference System (ANFIS) are also presented.
Źródło:
Control and Cybernetics; 1998, 27, 4; 593-611
0324-8569
Pojawia się w:
Control and Cybernetics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Fuzzy-Logic Fault Diagnosis of Industrial Process Actuators
Autorzy:
Kościelny, J. M.
Syfert, M.
Bartyś, M.
Powiązania:
https://bibliotekanauki.pl/articles/908282.pdf
Data publikacji:
1999
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
wykrywanie błędu
logika rozmyta
urządzenie uruchamiające
system diagnostyczny
fault diagnosis
fuzzy logic
actuators
decentralised
diagnostic systems
Opis:
The paper presents an idea of decomposition of diagnostic tasks in complex systems. Such decomposition consists in splitting basic diagnostic functions into lower-level units existing in decentralised structures of automatic control and supervision of the process. An example of a unit that realises this concept and includes a positioner that controls and diagnoses an assembly consisting of a servomotor and a pneumatic control valve is also given. An application of fuzzy logic to the actuator diagnosing algorithm is presented and results of the corresponding fault detection tests in an industrial environment are discussed.
Źródło:
International Journal of Applied Mathematics and Computer Science; 1999, 9, 3; 653-666
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Fuzzy-Logic Fault Isolation in Large-Scale Systems
Autorzy:
Kościelny, J. M.
Sędziak, D.
Zakroczymski, K.
Powiązania:
https://bibliotekanauki.pl/articles/908284.pdf
Data publikacji:
1999
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
logika rozmyta
wyodrębnianie uszkodzeń
system na wielką skalę
diagnostics
fuzzy logic
fault isolation
large-scale systems
Opis:
Application of fuzzy logic in fault isolation is proposed. The introduced methods assume the industrial requirements such as integration of different detection algorithms, system complexity, data and knowledge uncertainties. Algorithms of decreasing the calculation expenditures for diagnosing large-scale systems are also introduced. An example of the application is also shown. The proposed technique is a development of the Dynamic State Tables method.
Źródło:
International Journal of Applied Mathematics and Computer Science; 1999, 9, 3; 637-652
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A Fuzzy Logic Based Approach to Linguistic Summaries of Databases
Autorzy:
Kacprzyk, J.
Yager, R. R.
Zadrożny, S.
Powiązania:
https://bibliotekanauki.pl/articles/911154.pdf
Data publikacji:
2000
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
logika rozmyta
baza danych
podsumowanie lingwistyczne
zgłębianie danych
fuzzy logic
linguistic summary
computing with words
data mining
fuzzy querying
Opis:
In this paper, we present basic ideas and perspectives related to the use of fuzzy logic for the derivation of linguistic summaries of data (databases). We concentrate on the issue of how to measure the goodness of a linguistic summary, and on how to embed data summarization within the fuzzy querying environment, for an effective and efficient implementation. In particular, we propose how to efficiently implement Kacprzyk and Yager's (2000) new quality indicators of linguistic summaries to derive summaries via Kacprzyk and Zadrozny's (1994; 1995a; 1995b; 1996) fuzzy querying add-on. Finally, we present an implementation for deriving linguistic summaries of a sales database at a computer retailer, and show how the linguistic summaries obtained can be useful for supporting decisions of the business owner.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2000, 10, 4; 813-834
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Assessment of a navigational situation in a fairway using an artificial neural network with fuzzy logic
Autorzy:
Banachowicz, A.
Uriasz, J.
Powiązania:
https://bibliotekanauki.pl/articles/320956.pdf
Data publikacji:
2001
Wydawca:
Polskie Forum Nawigacyjne
Tematy:
nawigacja
sieci neuronowe
logika rozmyta
navigation
artificial neural networks
fuzzy logic
decision making
Opis:
One of the stages that navigation is composed of is making decisions. One indispensable condition for making adequate decisions is assessment of a navigational situation. This article presents one modern method for supporting the decision-making process. The method consists in assessing a navigational situation with the use of artificial intelligence.
Źródło:
Annual of Navigation; 2001, 3; 19-30
1640-8632
Pojawia się w:
Annual of Navigation
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Kilka uwag o przedmiocie logiki intuicjonistycznej
A few remarks on the subject of intuitionist logic
Einige Anmerkungen zum Gegenstand des intuitionistischen Aussagenkalküls
Autorzy:
Czernecka, Bożena
Powiązania:
https://bibliotekanauki.pl/articles/2016143.pdf
Data publikacji:
2001
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
logika
filozofia logiki
filozofia matematyki
intuicjonizm
Heyting
logic
philosophy of logic
philosophy of mathematics
intuitionism
Opis:
Artykuł jest próbą odpowiedzi na pytanie, co jest przedmiotem logiki intuicjonistycznej. Rozważania opierają się na publikacjach twórców intuicjonizmu, zwłaszcza Heytinga. W tle poczyniono również komentarze na temat logiki klasycznej. Prawa klasycznej logiki zdań ustanawiają pewne obiektywne i jednocześnie najbardziej ogólne związki między faktami i zdarzeniami. Myśliciele zakładają istnienie takich powiązania, które charakteryzują stanowisko ontologiczne. Z drugiej strony prawa logiki intuicjonistycznej ustanawiają związki między konstrukcjami matematycznymi lub właściwościami tych konstrukcji na podstawie uprzednio utworzonych i zbadanych mentalnych konstrukcji matematycznych.
The article is an attempt to answer the question what is the subject of intuitionist logic. The considerations are based on publications by the creators of intuitionism, especially Heyting. In the background, comments were also made on classical logic. The laws of classical propositional logic establish certain objective and also the most general relationships between facts and events. Those thinkers assume the existence of such connections that characterize the ontological position. On the other hand, the laws of intuitionist logic establish relationships between mathematical constructions or the properties of these constructions on the basis of previously created and researched mental mathematical constructions.
In dem Artikel wird versucht, die Frage zu beantworten, was den Gegenstand des intuitionistischen Aussagenkalküls bildet. Die Erwägungen basieren auf den Veröffentlichungen von den Gründern des Intuitionismus, vor allem auf Heyting. Im Hintergrund werden auch Anmerkungen gemacht betreffend des Gegenstandes der klassischen Logik. Die Gesetze der klassischen Aussagenlogik stellen einige objektive und zugleich allgemeinste Zusammenhänge zwischen Sachverhalten, Tatsachen, Begebenheiten fest. Die Existenz, solchen Zusammenhänge nehmen die Denker an, welche die ontologische Stellungnahme kennzeichnet. Die Gesetze des intuitionistischen Aussagenkalküls dagegen stellen Zusammenhänge zwischen mathematischen Konstruktionen oder Eigenschaften dieser Konstruktionen auf Grund von den vorher gebildeten und untersuchten mentalen mathematischen Konstruktionen fest.
Źródło:
Roczniki Filozoficzne; 2001, 49, 1; 151-165
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Knowledge, Vagueness and Logic
Autorzy:
Wybraniec-Skardowska, U.
Powiązania:
https://bibliotekanauki.pl/articles/908372.pdf
Data publikacji:
2001
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
zbiór rozmyty
logika formalna
vague knowledge
fuzzy sets
rough sets
vague sets
formal logic
Opis:
The aim of the paper is to outline an idea of solving the problem of the vagueness of concepts. The starting point is a definition of the concept of vague knowledge. One of the primary goals is a formal justification of the classical viewpoint on the controversy about the truth and object reference of expressions including vague terms. It is proved that grasping the vagueness in the language aspect is possible through the extension of classical logic to the logic of sentences which may contain vague terms. The theoretical framework of the conception refers to the theory of Pawlak's rough sets and is connected with Zadeh's fuzzy set theory as well as bag (or multiset) theory. In the considerations formal logic means and the concept system of set theory have been used. The paper can be regarded as an outline of the logical theory of vague concepts.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2001, 11, 3; 719-737
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Metody analizy kosztu cyklu życia w odniesieniu do trasy kolejowej
LCC-based assessment of railway trick
Autorzy:
Danzer, P.
Powiązania:
https://bibliotekanauki.pl/articles/251871.pdf
Data publikacji:
2001
Wydawca:
Instytut Naukowo-Wydawniczy TTS
Tematy:
eksploatacja kolei
Fundacja Hermanna
kolej
logika fuzzy
metoda LCC
Niemcy
sieć trakcyjna
tory
Opis:
Na drogi kolejowe w Niemczech wydawane są rocznie miliardy marek. Problem analizy kosztów był zawsze uwzględniany, ale rzadko z punktu widzenia kosztu cyklu życia. Przy finansowym wsparciu ze strony Fundacji Hermanna i Ellen-Klaprothów podjęte zostały wspólnie na Politechnice w Berlinie (Technische Universitat Berlin) oraz Wyższej Szkole Inżynierskiej w Brandenburgu (Fochhochschule Brandenburg) cztery projekty mające na celu opracowanie metody określenia kosztów cyklu życia nawierzchni kolejowej, przy uwzględnieniu nowych wyników badań dotyczących zachowania się tłucznia, szyn i nawierzchni twardej.
Źródło:
TTS Technika Transportu Szynowego; 2001, 8, 5; 35-38
1232-3829
2543-5728
Pojawia się w:
TTS Technika Transportu Szynowego
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
O klasycznym pojęciu prawdy
On the classical concept of truth
Autorzy:
Judycki, Stanisław
Powiązania:
https://bibliotekanauki.pl/articles/2016132.pdf
Data publikacji:
2001
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
epistemologia
logika
prawda
sceptycyzm
antyrealizm
pragmatyzm
koherencjonizm
epistemology
logic
truth
scepticism
anti-realism
pragmatism
coherentionism
Opis:
The article presents the state of contemporary debate on the three fundamental theories of truth: classical (correspondence), coherentionist and pragmatist ones. Also A. Tarski’s conception o f truth, D. Davidson’s views on truth and the so-called deflationist conceptions are discussed. The author tries to show what relations occur between the pre-theoretical understanding o f the concept of truth and the classical concept of truth. Also the relation between the nature of truth and philosophical scepticism is discussed as well as the question: do sciences and technologies based on them need the classical concept of truth in order to account for the explanatory, prognostic and technological success they achieve. The article also discusses the position of the so-called anti-realism postulating replacing the concept of truth with e.g. the concept of ideal verification or the concept of objectivity. The opposition is considered between fundationalism and coherentionism and in this context the author tries to formulate an answer to the question of what the debate on the criterion of truth is concerned with. The conclusions drawn from all these considerations are the following. Despite the various attempts at discrediting or rejecting it the classical concept of truth is in a good theoretical condition. All sceptical positions have to assume this concept in one or another way; also no semantic programmes presented up to now (A. Tarski, D. Davidson) have been able to eliminate the classical concept of truth. Science and technology assume both the concept of truth in the classical sense and the characteristics that are connected with it. The classical understanding o f truth should be then recognised as one that cannot be eliminated from our conceptual paradigm we use to think about the world. The article is concluded with considerations on the metaphysical background of the classical concept of truth. The author formulates the thesis that there is a close relationship between the classical conception of truth and the position taken by metaphysical rationalism. In this context R. Descartes', G. W. Leibniz’s and I. Kant’s vies are discussed.
Źródło:
Roczniki Filozoficzne; 2001, 49, 1; 25-62
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Opis szeregujący a logiki wielowartościowe. J. N. Martina próba interpretacji systemu Łukasiewicza
Ordering description and many-valued logics. J. N. Martin’s attempt at interpretation of Lukasiewicz’s system
Autorzy:
Lechniak, Marek
Powiązania:
https://bibliotekanauki.pl/articles/2016146.pdf
Data publikacji:
2001
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
logika nieklasyczna. logika wielowartościowa
negacje
historia filozofii
neoplatonizm
podział logiczny
klasyfikacja
szeregowanie
non-classical logic
many-valued logic
negation(s)
history of philosophy
neoplatonism
logical division
classification
ordering
Opis:
The article presents two attempts at applying J. Lukas iewicz's three-valued logic to analysis of the so-called gradable properties: T. Czeżowski's so-called ordering logics and J. Martin's attempt to connect Lukas iewicz's logic and the neo-Platonian hierarchy of entities. Unfortunately, those attempts were not successful. It can be noticed that in his approach Czeżowski mixed up gradability of truth with gradability of other properties. Martin found that Lukasiewicz's enriching of the division between truth and falsity with a third value suggests some neo-Platonian ontology in which truth - interchangeable with entity - is subject to gradation. However, he does not give an intuitively convincing way of reducing Lukas iewicz's threevalued logic to the corresponding Boole's algebra of compound properties (hence, to a structure belonging to the classical logic).
Źródło:
Roczniki Filozoficzne; 2001, 49, 1; 167-183
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Uwagi o L. Borkowskiego metodzie zerojedynkowego sprawdzania węższego rachunku predykatów
Autorzy:
Lechniak, Marek
Powiązania:
https://bibliotekanauki.pl/articles/2016153.pdf
Data publikacji:
2001
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
logika
rachunek predykatów
metoda zerojedynkowa
logic
predicate calculus
truth-table decision procedure
Źródło:
Roczniki Filozoficzne; 2001, 49, 1; 235-241
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 461

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