Temat: logika systemów - Prolib Integro

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-6 z 6

Zaznacz stronę

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
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
Data publikacji:: 2016
Wydawca:: Uniwersytet Szczeciński. Wydawnictwo Naukowe Uniwersytetu Szczecińskiego
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: A note on the regular and irregular modal systems of Lewis
Autorzy:: Sobociński, Bolesław (1906-1980)
Tematy:: Teoria systemów
Logika modalna
Logika matematyczna; Pokaż więcej
Data publikacji:: 1962
Wydawca:: Notre Dame, Indiana : University of Notre Dame
Dostawca treści:: Academica

Książka

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: A note concerning the many-valued propositional calculi
Autorzy:: Sobociński, Bolesław (1906-1980)
Tematy:: Teoria systemów
Logika matematyczna; Pokaż więcej
Data publikacji:: 1961
Wydawca:: Notre Dame,IN : University of Notre Dame Press
Dostawca treści:: Academica

Książka

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Logika temporalna w informatyce
Temporal Logic in Computer Science
Autorzy:: Trzęsicki, Kazimierz
Tematy:: logika
informatyka
logika temporalna
weryfikowanie systemów informatycznych
logic
computer science
temporal logic
verification of software systems; Pokaż więcej
Data publikacji:: 2010
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Meaning and religion : exploring mutual implications
Autorzy:: Oviedo Torró, Lluís (1958- ) Autor
Tematy:: Teologia katolicka
Hermeneutyka
Teoria informacji
Teologia religii
Znaczenie (logika)
Teoria systemów
Semantyka; Pokaż więcej
Data publikacji:: 2019
Dostawca treści:: Academica

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.
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
Data publikacji:: 2016
Wydawca:: Instytut Naukowo-Wydawniczy "SPATIUM"
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Wyświetlanie 1-6 z 6

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

Prześlij opinię

Twoje opinie są dla nas bardzo ważne i mogą być niezwykle pomocne w pokazaniu nam, gdzie możemy dokonać ulepszeń. Bylibyśmy bardzo wdzięczni za poświęcenie kilku chwil na wypełnienie krótkiego formularza.