Temat: metody formalne - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: Specyfikacja formalna protokołów prostych magistral polowych
Formal specyfication of small fieldbus protocols
Autorzy:: Pelc, L.
Trybus, L.
Powiązania:: https://bibliotekanauki.pl/articles/156290.pdf
Data publikacji:: 2005
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: protokoły polowe
metody formalne
język LOTOS
Opis:: Scharakteryzowano problem formalnego specyfikowania protokołów komunikacyjnych dla magistral polowych. Wskazano dwa sposoby uwzględniania upływu czasu oraz omówiono zagadnienie jawnego specyfikowania ograniczeń czasowych komunikacji. Weryfikację poprawności systemu ze specyfikowanym protokołem ograniczono do testów. Zastosowano język specyfikacji LOTOS oraz jego czasowe rozszerzenie RT-LOTOS. Rozważania zilustrowano prostym przykładem protokołu Master-Slave, powszechnie stosowanym w małych systemach rozproszonych.
The problem of fieldbus protocol formal specification is characterized. Two techniques of time elapsing are indicated. Explicit specification of time constraints is described. Verification of a system that uses specified protocol is carried out by means of tests, LOTOS specification language and its RT-LOTOS real time extension is used. Considerations are illustrated by simple example of Master-Slave protocol employed for vertical communication in small distributed system.
Źródło:: Pomiary Automatyka Kontrola; 2005, R. 51, nr 1, 1; 14-15
0032-4140
Pojawia się w:: Pomiary Automatyka Kontrola
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 2.

Tytuł:: O stosowaniu narzędzi i struktur formalnych w filozofii. Ontologia formalna. Ontologia topologiczna
On the use of formal tools and structures in philosophy. Formal ontology and topological ontology
Autorzy:: Kaczmarek, Janusz
Powiązania:: https://bibliotekanauki.pl/articles/431346.pdf
Data publikacji:: 2019
Wydawca:: Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie
Tematy:: formal philosophical tools
formal structures
Cracow circle
formal ontology
topological ontology
narzędzia i metody formalne w filozofii
kraty
koło krakowskie
ontologia formalna
ontologia topologiczna
Opis:: According to Aristotle, logic is a tool for philosophy. After nearly two and a half thousand years, we can say that not only logic, but also other formal tools and structures (algebra, topology, branched proof, induction) are tools for philosophical and also scientific consideration. Jan F. Drewnowski supported the use of formal tools in philosophy. In this article I describe Drewnowski’s position in relation to the formal study of philosophical problems (using logic and mathematical concepts). I also present contemporary formal solutions to certain philosophical problems, which can be understood as a justification for Drewnowski’s anticipation of the „power of formalism” and which in his time -were not always well received.
Za Arystotelesem logika postrzegana jest jako narzędzie filozofii. Po blisko 2 i pół tysiąca lat dostrzegamy, że nie tylko logika, ale także różne formalne narzędzia i struktury są narzędziami namysłu filozoficznego – i również – naukowego. Zwolennikiem takiego postrzegania sprawy był Jan F. Drewnowski. Narzędzia, o których mówię w tytule, to różnego rodzaju techniki i reguły wypracowane w naukach formalnych. Zaliczyć do nich możemy np. regułę modus ponens czy technikę dowodu rozgałęzionego. Z kolei przez strukturę formalną rozumiem pewien obiekt formalny np. algebrę Boole’a albo przestrzeń topologiczną, które pozwalają modelować przedmioty różnych dziedzin naukowych, w tym filozofii. W niniejszym artykule zarysuję główne idee Drewnowskiego (i tzw. Koła Krakowskiego na temat konieczności stosowania współczesnych jemu dokonań logicznych i matematycznych oraz pokażę, w jaki sposób ontologię Wittgensteina można modelować w strukturach krat (por. Wolniewicz) i w jaki sposób przestrzeń topologiczna pozwala na analizę tak różnych pojęć filozoficznych jak możliwy świat czy monada. Przykłady te posłużą do argumentacji za prawdziwością metodologicznych tez Drewnowskiego, że (1) stosowanie logiki symbolicznej (oraz różnych struktur formalnych) służy uściślaniu dowolnych dziedzin wiedzy (w tym filozofii) i – jak sądzę – (2) nie narusza bogactwa treści właściwych danej dziedzinie.
Źródło:: Studia Philosophiae Christianae; 2019, 55, 2; 103-124
0585-5470
Pojawia się w:: Studia Philosophiae Christianae
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Informacja

Wyszukujesz frazę "metody formalne" wg kryterium: Temat

Źródło danych

Dostawca treści

Kolekcja

Rok wydania

Wydawca

Temat

Autor

Typ dokumentu

Język