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ę "logika systemów" wg kryterium: Temat


Wyświetlanie 1-3 z 3
Tytuł:
Prolegomena do studiów nad wojną, konfliktem i ładem międzynarodowym
Prolegomena to the Studies into the War, Conflict and International Order
Autorzy:
Komorowski, Krzysztof
Powiązania:
https://bibliotekanauki.pl/articles/1601621.pdf
Data publikacji:
2016
Wydawca:
Uniwersytet Szczeciński. Wydawnictwo Naukowe Uniwersytetu Szczecińskiego
Tematy:
war
military art
geopolitical analysis
philosophical reflection
methodology of history
system logic
logic of defining
international order
peace
fight
conflict
logika systemów
metodologia historii
refleksja filozoficzna
analiza geopolityczna
logika definiowania
ład międzynarodowy
pokój
walka
konflikt
wojna
sztuka wojenna
Opis:
Wprowadzenie wyjaśniające do tematu wojen i konfliktów zbrojnych jako czynników kształtujących ład międzynarodowy odnosi się do zasadniczej terminologii i problematyki, z uwzględnieniem ich przedmiotu, zakresu znaczeniowego i kontekstu narracyjnego. Dotyczy to takich zjawisk i faktów historycznych jak wojna, konflikt, sztuka wojenna, walka, pokój, ład międzynarodowy, przełomy i cykle hegemoniczno/geopolityczne, które są najczęściej definiowane i przyjmowane przez pryzmat poszczególnych dyscyplin naukowych, m.in. historii, socjologii, prawa, politologii, stosunków międzynarodowych i wojskowości. Zatem nie stanowią domeny doświadczeń stricte militarnych. Odwieczna wykładnia określa bowiem wojnę jako narzędzie i środek do osiągnięcia politycznego celu jakim jest pożądany pokój. Konflikty międzynarodowe zaś występują tu głównie nie jako podrzędne wobec wojny starcia militarne, a jako kategorie niezgodności między stronami dążącymi do dominacji religijnej, etnicznej, gospodarczej, społecznej itp. Postrzeganie zjawiska pokoju zdeterminowane kantowskim "wiecznym pokojem" należałoby natomiast interpretować jako okresy geopolityczne/hegemoniczne, wyznaczane osiągnięciami militarnymi dla utrzymania lub zdobycia dominacji (władzy, panowania).
An introduction explaining the character of wars and armed conflicts as factors shaping the international order refers to the basic terminology and the main issues, including their subject, their scope of meaning and their narrative context. It deals with such phenomena and historical facts as war, conflict, military art, fight, peace, international order, turning points, and geopolitical/hegemonic cycles. They are most frequently defined and accepted from the angle of particular scientific disciplines, among other things history, sociology, law, political science, international relations, and military science. As a result, they do not fall only into the domain of military questions. An old interpretation of war is that it is a tool and means to achieve the political aim, which is peace. International conflicts are interpreted here not as military confrontations subordinate to war, but as categories of incompatibility between the sides that aspire to a dominance of some type: religious, ethnic, economic, social, and the like. On the other hand, the perception of the phenomenon of peace determined by Kant’s perpetual peace should be interpreted as political/hegemonic periods, marked by military achievements to maintain or acquire dominance (of power).
Źródło:
Studia Maritima; 2016, 29; 5-21
0137-3587
2353-303X
Pojawia się w:
Studia Maritima
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Logika temporalna w informatyce
Temporal Logic in Computer Science
Autorzy:
Trzęsicki, Kazimierz
Powiązania:
https://bibliotekanauki.pl/articles/2012894.pdf
Data publikacji:
2010
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
logika
informatyka
logika temporalna
weryfikowanie systemów informatycznych
logic
computer science
temporal logic
verification of software systems
Opis:
Leibniz intended to create a lingua characteristica universalis, a language, in which all knowledge (expressiveness) could be recorded, and a calculus ratiocinator, a method that would make it possible to define in a calculational manner the truth of any sentence in this language. Such an idea is at the basis of contemporary logic. With respect to the correctness of the equipment and of programs such an idea is at the foundations of logical methods of verification of software systems. Today we can see that a further development of informatics indeed depends on the progress of research in logic, and logic – this ancient discipline – has found a rich field for investigations; it has gained new perspectives for studies. Its applications may have a significant practical dimension that philosophers have never dreamed about. 
Źródło:
Roczniki Filozoficzne; 2010, 58, 2; 181-205
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Synteza systemów cyfrowych w logice rewersyjnej
Synthesis of digital systems in reversible logic
Autorzy:
Dobrzański, M.
Pniewski, R.
Powiązania:
https://bibliotekanauki.pl/articles/310380.pdf
Data publikacji:
2016
Wydawca:
Instytut Naukowo-Wydawniczy "SPATIUM"
Tematy:
synteza systemów cyfrowych
logika rewersyjna
bramka rewersyjna
bramka kwantowa
program QUCS
wydzielanie ciepła
straty energii
synthesis of digital system
reverse logic
reverse gate
quantum gate
QUCS program
heat
energy loss
Opis:
W artykule przedstawiono zagadnienia związane z syntezą systemów cyfrowych z wykorzystaniem bramek rewersyjnych. W pierwszej części omówiono podstawowe funkcje realizowane przez bramki kwantowe. W drugiej części zostały pokazane symulacyjne modele bramek, zrealizowane w języku VHDL (VHSIC Hardware Description Language). Modele zastosowano w procesie symulacji układów cyfrowych z bramkami rewersyjnymi. Do symulacji wykorzystano program QUCS (Quite Universal Circuit Simulator).
The article presents issues related to the synthesis of digital systems using reversible gates. The first part discusses the basic functions performed by the quantum gate. In the second part of the shown simulation models of goals realized in VHDL (VHSIC hardware description language) .model used in the simulation of digital circuits with gates reversible. Simulation program was used QUCS (Quite Universal Circuit Simulator).
Źródło:
Autobusy : technika, eksploatacja, systemy transportowe; 2016, 17, 6; 142-145
1509-5878
2450-7725
Pojawia się w:
Autobusy : technika, eksploatacja, systemy transportowe
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