Informacja

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

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Biblioteka  Akademii Nauk Stosowanych w Gnieźnie Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaBiblioteka  Akademii Nauk Stosowanych w Gnieźnie

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

  Lista filtrów
Dostawca treści
Wyrównaj
    Wyświetlanie 1-53 z 53
    Tytuł:
    Prolegomena do studiów nad wojną, konfliktem i ładem międzynarodowym
    Prolegomena to the Studies into the War, Conflict and International Order
    Autorzy:
    Krzysztof Komorowski
    Data publikacji:
    2016
    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:
    CEJSH
    Artykuł
    Szczegóły
    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ł
    Szczegóły
    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ł
    Szczegóły
    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ł
    Szczegóły
    Tytuł:
    Kształtowanie systemu transportu zbiorowego opartego na kolei metropolitalnej na obszarze Górnośląsko-Zagłębiowskiej Metropolii
    Autorzy:
    Karoń, Grzegorz
    Janecki, Ryszard
    Żochowska, Renata
    Sobota, Aleksander
    Kłos, Marcin Jacek
    Soczówka, Piotr
    Data publikacji:
    2019
    Słowa kluczowe:
    koncepcje kolei metropolitalnej
    inżynieria systemów
    model V
    logika działań
    concept of metropolitan railways
    systems engineering
    logic of tasks
    Pokaż więcej
    Dostawca treści:
    BazTech
    Artykuł
    Szczegóły
    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ł
    Szczegóły
    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ł
    Szczegóły
    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 = Primenimostʹ nekotoryh logičeskih sistem dlâ analiza formalʹnoj korrektnosti vyvodov, kasaûŝihsâ kanoničeskogo prava
    Autorzy:
    Kozanecka-Dymek, Anna Autor
    Współwytwórcy:
    Katolicki Uniwersytet Lubelski Jana Pawła II
    Data publikacji:
    2021
    Tematy:
    Wnioskowanie (logika)
    Logika formalna
    Wykładnia prawa
    Kanonistyka
    Kościół katolicki
    Prawo kanoniczne
    Kodeks prawa kanonicznego
    Pokaż więcej
    Dostawca treści:
    Academica
    Artykuł
    Szczegóły
    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:
    Anna Maria Kozanecka-Dymek
    Data publikacji:
    2021-07-12
    Tematy:
    logika formalna
    stosowalność
    prawo kanoniczne
    formalna poprawność
    wnioskowanie
    formal logic
    applicability
    canon law
    formal correctness
    inference
    Pokaż więcej
    Dostawca treści:
    CEJSH
    Artykuł
    Szczegóły
    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ł
    Szczegóły
    Tytuł:
    Zastosowanie systemów pośrednich między S4 A S5 w kontekstach epistemicznych
    Application of Systems that are Intermediate between S4 and S5 in Epistemic Contexts
    Autorzy:
    Lechniak, Marek
    Data publikacji:
    2010
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    logika modalna
    systemy logiki modalnej
    wiedza
    przekonanie
    pojęcia epistemiczne
    modal logic
    systems of modal logic
    knowledge
    belief
    epistemic concepts
    Pokaż więcej
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Building intrusion detection systems based on the basis of methods of intellectual analysis of data
    Budowa systemów wykrywania ataków na podstawie metod inteligentnej analizy danych
    Autorzy:
    Tolіupa, S.
    Brailovskyi, M.
    Parkhomenko, M.
    Data publikacji:
    2018
    Wydawca:
    Politechnika Lubelska. Wydawnictwo Politechniki Lubelskiej
    Tematy:
    intrusion detection system
    attack
    fuzzy logic
    neural network
    system wykrywania włamań
    atak
    logika rozmyta
    sieć neuronowa
    Pokaż więcej
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    The use of fuzzy systems in the designing of mining process in hard coal mines
    Wykorzystanie systemów rozmytych w projektowaniu procesu wydobywczego w kopalniach węgla kamiennego
    Autorzy:
    Brzychczy, E.
    Kęsek, M.
    Napieraj, A.
    Sukiennik, M.
    Data publikacji:
    2014
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    kopalnia węgla kamiennego
    proces wydobywczy
    logika rozmyta
    systemy rozmyte
    modelowanie
    coal mine
    mining process
    fuzzy logic
    fuzzy systems
    modelling
    Pokaż więcej
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Rozmywanie i wyostrzanie wiedzy w wybranych sieciach semantycznych systemów produkcji
    Fuzzification and defuzzification of knowledgein the semantic network of production systems
    Autorzy:
    Bryniarska, A.
    Data publikacji:
    2012
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    rozmyta logika opisowa
    wiedza rozmyta w sieci semantycznej
    sieć semantyczna w systemie produkcji
    wyszukiwanie wiedzy rozmytej
    fuzzy description logic
    fuzzy knowledge in semantic network
    semantic network in production system
    searching fuzzy knowledge
    Pokaż więcej
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Wysokopoziomowy model projektowania wskaźników KPI systemów inteligentnych miast
    High-level model for the design of KPIs for Smart Cities systems
    Autorzy:
    Cezary Orłowski
    Tomasz Sitek
    Artur Ziółkowski
    Paweł Kapłański
    Aleksander Orłowski
    Witold Pokrzywnicki
    Tematy:
    Smart Cities
    zarządzanie wiedzą
    Logika rozmyta
    modelowanie procesów
    wsparcie decyzyjne
    Smart Cites
    knowledge base
    knowledge management
    fuzzy logic
    process modeling
    decision support
    Pokaż więcej
    Dostawca treści:
    CEJSH
    Artykuł
    Szczegóły
    Tytuł:
    Wysokopoziomowy model projektowania wskaźników KPI systemów inteligentnych miast
    High-level model for the design of KPIs for Smart Cities systems
    Autorzy:
    Orłowski, Cezary
    Sitek, Tomasz
    Ziółkowski, Artur
    Kapłański, Paweł
    Orłowski, Aleksander
    Pokrzywnicki, Witold
    Data publikacji:
    2015
    Wydawca:
    Politechnika Gdańska
    Tematy:
    Smart Cities
    zarządzanie wiedzą
    Logika rozmyta
    modelowanie procesów
    wsparcie decyzyjne
    Smart Cites
    knowledge base
    knowledge management
    fuzzy logic
    process modeling
    decision support
    Pokaż więcej
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Rozmywanie i wyostrzanie wiedzy w wybranych sieciach semantycznych systemów produkcji
    Autorzy:
    Bryniarska, A.
    Data publikacji:
    2012
    Słowa kluczowe:
    rozmyta logika opisowa
    wiedza rozmyta w sieci semantycznej
    sieć semantyczna w systemie produkcji
    wyszukiwanie wiedzy rozmytej
    fuzzy description logic
    fuzzy knowledge in semantic network
    semantic network in production system
    searching fuzzy knowledge
    Pokaż więcej
    Dostawca treści:
    BazTech
    Artykuł
    Szczegóły
    Tytuł:
    Skuteczność systemów zarządzania jakością przy wykorzystaniu rachunku zdań rozmytych
    Effectiveness of quality management systems using fuzzy sentences analysis
    Autorzy:
    Wolniak, R.
    Sułkowski, M.
    Data publikacji:
    2018
    Wydawca:
    Politechnika Śląska. Wydawnictwo Politechniki Śląskiej
    Tematy:
    system zarządzania jakością
    metody i narzędzia zarządzania jakością
    zarządzanie jakością
    branża obróbki metali
    techniki jakości
    instrumenty jakości
    logika rozmyta
    quality management system
    quality management methods and tools
    quality management
    metal processing industry
    quality techniques
    quality instruments
    fuzzy logic
    Pokaż więcej
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Weryfikacja aktywności systemów modelowanych na bazie architektury SOA - prowadzona w oparciu o wymagania zadane diagramami przypadków użycia
    Autorzy:
    Klimek, R.
    Skrzyński, P.
    Turek, M.
    Data publikacji:
    2010
    Słowa kluczowe:
    weryfikacja
    logika temporalna
    architektura SOA
    diagramy UML
    przypadki użycia
    narzędzia UML
    translacja diagramów UML
    veriflcation
    temporal logic
    SOA architecture
    UML diagrams
    use-case
    UML Tools
    UML Diagram Translation
    Pokaż więcej
    Dostawca treści:
    BazTech
    Artykuł
    Szczegóły
    Tytuł:
    O wyrażalności niektórych relacji czasowych i własności czasu w języku systemów logiki temporalnej G. H. von Wrighta
    On the Expression of Temporal Relations and Properties of Time in the Language of the System of G. H. von Wright’s Temporal Logic
    Autorzy:
    Kozanecka, Anna
    Leszczyńska, Magdalena
    Data publikacji:
    2007
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    czas
    własności czasowe
    relacje czasowe
    logika temporalna
    And Next
    And Then
    wyrażalność
    adekwatność
    zastosowanie
    time
    temporal properties
    temporal relations
    temporal logic
    expression
    adequacy
    application
    Pokaż więcej
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Kształtowanie systemu transportu zbiorowego opartego na kolei metropolitalnej na obszarze Górnośląsko-Zagłębiowskiej Metropolii
    Shaping the collective transport system based on the metropolitan rail on the area of Silesia Metropolis
    Autorzy:
    Karoń, Grzegorz
    Janecki, Ryszard
    Żochowska, Renata
    Sobota, Aleksander
    Kłos, Marcin Jacek
    Soczówka, Piotr
    Data publikacji:
    2019
    Wydawca:
    Politechnika Warszawska, Wydział Transportu
    Tematy:
    koncepcje kolei metropolitalnej
    inżynieria systemów
    model V
    logika działań
    concept of metropolitan railways
    systems engineering
    logic of tasks
    Pokaż więcej
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
      Wyświetlanie 1-53 z 53

      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