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

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-8 z 8
    Tytuł:
    Kolorowanie automatowe sieci Petriego metodą wnioskowania symbolicznego
    State Machine type colouring of Petri net by means of using a symbolic deduction method
    Autorzy:
    Tkacz, J.
    Powiązania:
    https://bibliotekanauki.pl/articles/152833.pdf
    Data publikacji:
    2007
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    logika Gentzena
    sekwent
    wnioskowanie symboliczne
    sterowniki logiczne
    sieci Petriego
    składowe automatowe
    dekompozycja
    Gentzen logic
    sequent
    symbolic deduction
    logic controllers
    Petri nets
    decomposition
    Opis:
    W referacie przedstawiono sposób dekompozycji sieci Petriego za pomocą naturalnego wnioskowania Gentzena na podsieci typu automatowego. Normalizacja i minimalizacja zbioru reguł z zastosowaniem algorytmu wnioskującego może zostać wykorzystana w procesach wyznaczania podsieci automatowych reprezentujących zdekomponowane, niezależne fragmenty większego układu sterowania. Prezentowana metoda, w odróżnieniu od innych, znanych z literatury, nie wymaga pełnego przekształcenia równania charakterystycznego, reprezentującego listę sąsiedztwa w celu uzyskania pierwszego rozwiązania.
    The paper presents a concept and design methodology for decomposition of logic controllers' specification by means of using Gentzen symbolic reasoning. Specification of logic controller behaviour can be represented by Petri net, which can be decomposed into simplified subnets. These subnets directly represent smaller and independent parts of logic controller. The first result (Petri net State Machine-subnet), obtained from symbolic deduction, can be generated without complete analysis of characteristic logic expression, created from local state space description.
    Źródło:
    Pomiary Automatyka Kontrola; 2007, R. 53, nr 5, 5; 120-122
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Możliwości zastosowania tablic decyzyjnych w inżynierii projektowania konstrukcyjnego i technologicznego
    Possibilities of using decision tables in engineering of structural design and technology
    Autorzy:
    Partyka, M. A.
    Paszek, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/304148.pdf
    Data publikacji:
    2017
    Wydawca:
    Wydawnictwo Druk-Art
    Tematy:
    tablica decyzyjna
    wielowartościowa tablica decyzyjna
    rozwiązania decyzyjne
    reguły projektowania
    inżynieria wiedzy
    logika symboliczna
    decision table
    multiple-valued decision table
    decision solutions
    design rules
    knowledge engineering
    symbolic logic
    Opis:
    W pracy przedstawiono możliwości zastosowania tablic decyzyjnych w inżynierii projektowania w zakresie konstrukcji i technologii. Scharakteryzowano podstawową budowę i własności tablic decyzyjnych w przetwarzaniu informacji bazującej na regułach projektowania. Porównano klasyczne oraz wielowartościowe tablice decyzyjne wspomagające obliczenia cieplne zbiornika ożebrowanego. Pokazano przykłady opracowań tablic decyzyjnych stosowanych w diagnostyce łożyska hydrodynamicznego oraz w opisie stanów automatu skończonego. W obszarze projektowania technologicznego zaprezentowano opracowanie klasycznej tablicy decyzyjnej w projektowaniu obróbki tłoczysk oraz modalną tablicę decyzyjną w projektowaniu półfabrykatów dla produkcji dławnic siłowników hydraulicznych.
    The text has been described the basic structure of decision tables in date processing based on design rules. We compared classic and multiple-valued decision tables supporting the thermal calculations of hydraulic tank. There are shown examples of decision solutions in diagnostics of hydrodynamic bearing and in the description of a finite automata. Furthermore, it has been shown that it is possible to build the classic decision table in the design of piston rod machining. The article describes modal decision tables in the design of semi-finished products for the production of hydraulic cylinder glands.
    Źródło:
    Napędy i Sterowanie; 2017, 19, 10; 108-116
    1507-7764
    Pojawia się w:
    Napędy i Sterowanie
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Jana Franciszka Drewnowskiego filozofia matematyki i logiki
    Jan Franciszek Drewnowski’s philosophy of mathematics and logic
    Autorzy:
    Murawski, Roman
    Powiązania:
    https://bibliotekanauki.pl/articles/431137.pdf
    Data publikacji:
    2019
    Wydawca:
    Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie
    Tematy:
    Drewnowski J.F.
    mathematics
    symbolic logic
    matematyka
    logika symboliczna
    Opis:
    This paper illustrates and critically evaluates Jan Franciszek Drewnowski’s philosophical views on mathematics and logic. It is based on four sources. The main source is his “Zarys programu filozoficznego” (“Outline of a Philosophical Program”) (1934). Further sources include two of Drewnowski’s papers, “Stosowanie logiki symbolicznej w filozofii” (“Application of symbolic logic in philosophy”) (1965) and “Uwagi o stosowaniu logiki symbolicznej” (“Remarks on applying symbolic logic”) (1967), as well as fragments from his diary. This paper aims to show how Drewnowski understood mathematics and mathematical theories, how he conceived logic and its role in science, as well as to what extent he was familiar with contemporary achievements in mathematical logic and the foundations of mathematics and his awareness of their relevance for the philosophy of mathematics.
    Praca poświęcona jest prezentacji i krytycznej ocenie poglądów filozoficznych Jana Franciszka Drewnowskiego na matematykę i logikę. Podstawą rozważań są cztery źródła. Podstawowym źródłem jest Drewnowskiego "Zarys programu filozoficznego" (1934), dalej dwa artykuły, a mianowicie "Stosowanie logiki symbolicznej w filozofii" (1965) oraz "Uwagi o stosowaniu logiki symbolicznej" (1967), w końcu fragmenty dziennika. Pokazuje się w niej, jak Drewnowski rozumiał matematykę i teorie matematyczne, jak widział logikę i jej rolę w nauce oraz na ile był zaznajomiony ze współczesnymi osiągnięciami w zakresie logiki matematycznej i podstaw matematyki oraz z ich konsekwencjami dla filozofii matematyki.
    Źródło:
    Studia Philosophiae Christianae; 2019, 55, 2; 87-102
    0585-5470
    Pojawia się w:
    Studia Philosophiae Christianae
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    The Computational and Pragmatic Approach to the Dynamics of Science
    Autorzy:
    Marciszewski, Witold
    Powiązania:
    https://bibliotekanauki.pl/articles/41310393.pdf
    Data publikacji:
    2020
    Wydawca:
    Polska Akademia Nauk. Instytut Filozofii i Socjologii PAN
    Tematy:
    algorithm
    behavioral (vs declarative) knowledge
    computability
    corroboration
    innate knowledge
    intuition
    invention
    logic gates
    oracle
    pragmatic (vs classical) rationalism
    problem-solving
    reasoning
    symbolic logic
    Turing machine
    Opis:
    Science means here mathematics and those empirical disciplines which avail themselves of mathematical models. The pragmatic approach is conceived in Karl R. Popper’s The Logic of Scientific Discovery (p. 276) sense: a logical appraisal of the success of a theory amounts to the appraisal of its corroboration. This kind of appraisal is exemplified in section 6 by a case study—on how Isaac Newton justified his theory of gravitation. The computational approach in problem-solving processes consists in considering them in terms of computability: either as being performed according to a model of computation in a narrower sense, e.g., the Turing machine, or in a wider perspective—of machines associated with a non-mechanical device called “oracle” by Alan Turing (1939). Oracle can be interpreted as computertheoretic representation of intuition or invention. Computational approach in another sense means considering problem-solving processes in terms of logical gates, supposed to be a physical basis for solving problems with a reasoning. Pragmatic rationalism about science, seen at the background of classical rationalism (Descartes, Gottfried Leibniz etc.), claims that any scientific idea, either in empirical theories or in mathematics, should be checked through applications to problem-solving processes. Both the versions claim the existence of abstract objects, available to intellectual intuition. The difference concerns the dynamics of science: (i) the classical rationalism regards science as a stationary system that does not need improvements after having reached an optimal state, while (ii) the pragmatical version conceives science as evolving dynamically due to fertile interactions between creative intuitions, or inventions, with mechanical procedures. The dynamics of science is featured with various models, like Derek J. de Solla Price’s exponential and Thomas Kuhn’s paradigm model (the most familiar instances). This essay suggests considering Turing’s idea of oracle as a complementary model to explain most adequately, in terms of exceptional inventiveness, the dynamics of mathematics and mathematizable empirical sciences.
    Źródło:
    Filozofia i Nauka; 2020, 8, 1; 31-67
    2300-4711
    2545-1936
    Pojawia się w:
    Filozofia i Nauka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Conception of partial specification of logic controller deterministic state machine
    Koncepcja niepełnej specyfikacji deterministycznej maszyny stanów sterownika logicznego
    Autorzy:
    Łabiak, G.
    Powiązania:
    https://bibliotekanauki.pl/articles/156340.pdf
    Data publikacji:
    2012
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    deterministyczna maszyna stanów
    diagramy statechart
    sterownik logiczny
    konflikty tranzycji
    predykaty
    algebra Boole'a
    deterministic state machine
    statechart diagrams
    logic controller
    transition conflicts
    predicates
    Boolean algebra
    symbolic methods
    metody symboliczne
    Opis:
    Zagadnienie stworzenia deterministycznego opisu zachowania sterownika logicznego (bez konfliktów między tranzycjami) opisanego diagramami statecharts [2, 9] jest zagadnieniem o złożoności problemu spełnialności i jego rozwiązanie poprzez "ręczne" konstrukcje predykatów tranzycji może być dla projektanta bardzo trudne o ile w ogóle możliwe. Referat skupia się na problemie automatycznego doboru predykatów tranzycji w warunkach niepełnej specyfikacji, tak aby maszyna stanów [2, 9] (diagram statechart, rys. 3a) modelowała zachowanie w sposób deterministyczny. W proponowanej metodzie projektant podaje najistotniejsze zdarzenia warunkujące przejścia, a system CAD automatycznie rozwiązuje konflikty tranzycji niepełnej specyfikacji. Podstawową koncepcją automatycznego rozwiązywania konfliktów tranzycji jest utworzenie własnego zestawu wszystkich zmiennych dla każdej tranzycji osobno (podrozdz. 4.1). Nowo utworzone zmienne wyznaczają bazę symbolicznej przestrzeni wektorowej, w której można przestawić wszystkie możliwe predykaty (podrozdz. 4.2). W przestrzeni symbolicznej w łatwy sposób można opisać wyrażeniem logicznym zbiór wszystkich predykatów ortogonalnych oraz zbiory odpaleń wynikające z niepełnej specyfikacji (podrozdz. 4.3). Iloczyn w przestrzeni symbolicznej zbiorów predykatów ortogonalnych i zbiorów odpaleń wyznacza zbiór zestawów ortogonalnych predykatów wynikających z częściowej specyfikacji (podrozdz. 4.4). Wszystkie operacja na zbiorach wykonywane są jako logiczne przekształcenia odpowiednich funkcji charakterystycznych, które efektywnie mogą być implementowane za pomocą binarnych diagramów decyzyjnych [7].
    The issue of creating a deterministic behaviour description (without conflicts between transitions) of a logic controller is an issue of computational complexity equal to a classic satisfiability problem. Its solution through by-hand transition predicates construction can be very painstaking and tedious, if possible at all. The paper focuses on automatic transition predicates construction where transition predicates are partially specified by a designer giving only the most essential information necessary to comprehend the controller behaviour. This partial specification causes that a state machine (statechart diagram) is nondeterministic (and hence cannot be technically implemented) and the CAD system task is to transform automatically this partial specification into a corresponding deterministic form.
    Źródło:
    Pomiary Automatyka Kontrola; 2012, R. 58, nr 1, 1; 76-79
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Optimization problems in the synthesis of multiple-valued logic networks
    Autorzy:
    Deniziak, S.
    Wiśniewski, M.
    Kurczyna, K.
    Powiązania:
    https://bibliotekanauki.pl/articles/114046.pdf
    Data publikacji:
    2016
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    multiple-valued logic network
    symbolic decomposition
    FPGA
    logic synthesis
    Opis:
    The paper discusses some aspects of FPGA-oriented synthesis of multiple-valued logic (MVL) network, i.e. a network of modules connected by multiple-valued signals. MVL networks are built during high-level synthesis, as a source specification of logical systems or during re-synthesis of gate-level circuits. FPGA-oriented synthesis of MVL is based on decomposing modules into smaller ones, each fitting in one logic cell. In this paper, we show that the order, according to which the modules are decomposed, has a great influence on the efficiency of the synthesis. This paper presents the case study which demonstrates the above problem as well as some experimental results and conclusions.
    Źródło:
    Measurement Automation Monitoring; 2016, 62, 5; 166-168
    2450-2855
    Pojawia się w:
    Measurement Automation Monitoring
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    A matemática e a desconstrução: pela lógica simbólica
    Autorzy:
    Borges De Meneses, Ramiro Délio
    Powiązania:
    https://bibliotekanauki.pl/articles/2157891.pdf
    Data publikacji:
    2017
    Wydawca:
    Instytut Studiów Międzynarodowych i Edukacji Humanum
    Tematy:
    The deconstruction
    Mathematics
    Symbolic Logic
    method
    and foundations
    Opis:
    The deconstruction is present in the field of Mathematics, from Arithmetic to Geometry. Naturally arises as a method and as a foundation. The deconstruction; affects the whole Mathematics as science of abstract quantity. One of the fundamentals of formal mathematics can reside in deconstruction. According to the deconstruction is the Mathematics focuses in the deconstrivistic logic.
    Źródło:
    Społeczeństwo i Edukacja. Międzynarodowe Studia Humanistyczne; 2017, 3(26); 15-24
    1898-0171
    Pojawia się w:
    Społeczeństwo i Edukacja. Międzynarodowe Studia Humanistyczne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    A matemática e a desconstrução: pela lógica simbólica
    Autorzy:
    Borges de Meneses, Ramiro Délio
    Powiązania:
    https://bibliotekanauki.pl/articles/2131698.pdf
    Data publikacji:
    2014
    Wydawca:
    Instytut Studiów Międzynarodowych i Edukacji Humanum
    Tematy:
    the deconstruction
    mathematics
    symbolic logic
    method
    and foundations
    Opis:
    The deconstruction is present in the field of Mathematics, from Arithmetic to Geometry. Naturally arises as a method and as a foundation. The deconstruction; affects the whole Mathematics as science of abstract quantity. One of the fundamentals of formal mathematics can reside in deconstruction. According to the deconstruction is the Mathematics focuses in the deconstrivistic logic.
    Źródło:
    Humanum. Międzynarodowe Studia Społeczno-Humanistyczne; 2014, 3(14); 5-13
    1898-8431
    Pojawia się w:
    Humanum. Międzynarodowe Studia Społeczno-Humanistyczne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-8 z 8

      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