Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "Symbolic Logic" wg kryterium: Temat


Wyświetlanie 1-3 z 3
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ł:
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ł:
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ł
    Wyświetlanie 1-3 z 3

    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