Wszystkie pola: logika systemów

Skocz do pozycji: 1.

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
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; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Logic in formal verification of computer systems. Some remarks
Logika i formalna weryfikacja systemów komputerowych. Kilka uwag
Autorzy:: Trzęsicki, K.
Data publikacji:: 2009
Wydawca:: Politechnika Białostocka. Oficyna Wydawnicza Politechniki Białostockiej
Tematy:: logika
weryfikacja
metoda teorio-dowodowa
sprawdzanie za pomocą modelu
logic
verification
proof-theoretical method
model checking; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Logika temporalna w informatyce
Temporal Logic in Computer Science
Autorzy:: Trzęsicki, Kazimierz
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; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Model Checking Temporal Properties of Reaction Systems
Weryfikacja temporalnych własności systemów reakcyjnych
Autorzy:: Męski, A.
Penczek, W.
Rozenberg, G.
Data publikacji:: 2014
Wydawca:: Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
Tematy:: reaction systems
model checking
temporal logic
systemy reakcyjne
weryfikacja modelowa
logika temporalna; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Geneza niektórych systemów logiki temporalnej
The Origin of Some Systems of Temporal Logic
Autorzy:: Kozanecka-Dymek, Anna
Data publikacji:: 2009
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:: geneza
logika temporalna
zwroty czasowe
funktory czasowe
origin
temporal logic
tense clauses
temporal functors; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Synteza systemów cyfrowych w logice rewersyjnej
Synthesis of digital systems in reversible logic
Autorzy:: Dobrzański, M.
Pniewski, R.
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; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Risk assessment of LNG carrier systems failure using fuzzy logic
Ocena ryzyka awarii systemów statku LNG przy pomocy logiki rozmytej
Autorzy:: Zalewski, P.
Data publikacji:: 2011
Wydawca:: Akademia Morska w Szczecinie. Wydawnictwo AMSz
Tematy:: logika rozmyta
ocena ryzyka
zbiornikowiec LNG
fuzzy logic
risk assessment
LNG carrier; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Optymalizacja konstrukcji systemów diagnostycznych z zastosowaniem algorytmów genetycznych
Application of genetic algorithms for selecting condition based maintenance techniques
Autorzy:: Pietrzyk, A.
Uhl, T.
Data publikacji:: 2004
Wydawca:: Polska Akademia Nauk. Polskie Towarzystwo Diagnostyki Technicznej PAN
Tematy:: logika rozmyta
algorytmy genetyczne
optymalizacja
reliability centered maintenance
fuzzy logic
genetic algorithms
optimization; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: TEORIA SZARYCH SYSTEMÓW A PROGNOZOWANIE W NAUKACH SPOŁECZNYCH. PRZYCZYNEK DO DYSKUSJI
THE USE OF GREY SYSTEM THEORY IN FORECASTING SOCIAL PHENOMENA. SELECTED PROBLEMS
Autorzy:: Donaj, Łukasz
Data publikacji:: 2017
Wydawca:: Uniwersytet im. Adama Mickiewicza w Poznaniu
Tematy:: Grey System Theory
fuzzy logic
political system
forecasting
szary system
logika rozmyta
system polityczny
prognozowanie; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Stosowalność niektórych systemów logicznych do analizy formalnej poprawności wnioskowań dotyczących prawa kanonicznego
Applicability of some logical systems to analyse formal correctness of inferences concerning canon law
Autorzy:: Kozanecka-Dymek, Anna Maria
Data publikacji:: 2021-07-12
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II
Tematy:: logika formalna
stosowalność
prawo kanoniczne
formalna poprawność
wnioskowanie
formal logic
applicability
canon law
formal correctness
inference; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "logika systemów" wg kryterium: Wszystkie pola