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)·український (UK) (UK)
Przejdź do strony domowej biblioteki MBP Sosnowiec/Zagłębiowska Mediateka Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaMBP Sosnowiec/Zagłębiowska Mediateka

Wyszukujesz frazę "formal logic" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-31 z 31
    Tytuł:
    Krytyczne myślenie i logika formalna w badaniach literaturoznawczych na przykładzie wybranych utworów Ignacego Krasickiego
    Critical thinking and formal logic in literary research based on the example of selected works by Ignacy Kracicki
    Autorzy:
    Magryś, Roman
    Tematy:
    formal logic
    critical thinking
    ignacy krasicki
    interpretation
    Pokaż więcej
    Data publikacji:
    2019
    Wydawca:
    Uniwersytet Rzeszowski. Wydawnictwo Uniwersytetu Rzeszowskiego
    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
    Autorzy:
    Kozanecka-Dymek, Anna Maria
    Tematy:
    logika formalna
    stosowalność
    prawo kanoniczne
    formalna poprawność
    wnioskowanie
    formal logic
    applicability
    canon law
    formal correctness
    inference
    Pokaż więcej
    Data publikacji:
    2021-07-12
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Uwagi o Susan Haack rozumieniu filozofii logiki
    Remarks on Susan Haack’s Conception of Philosophy of Logic
    Autorzy:
    Czernecka-Rej, Bożena
    Tematy:
    Susan Haack
    filozofia logiki
    logika formalna
    rachunek formalny
    logika rozszerzona
    logika dewiacyjna
    philosophy of logic
    formal logic
    formal calculus
    extended logic
    deviant logic
    Pokaż więcej
    Data publikacji:
    2007
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Applying propositional calculus of formal logic to formulate research hypotheses in management sciences
    Propozycja wykorzystania rachunku zdań logiki formalnej do tworzenia hipotez badawczych w naukach o zarządzaniu
    Autorzy:
    Pabian, Aleksander
    Tematy:
    research hypotheses
    formal logic
    management
    propositional calculus
    hipotezy badawcze
    logika formalna
    zarządzanie
    rachunek zadań
    Pokaż więcej
    Data publikacji:
    2023-02-28
    Wydawca:
    Główny Urząd Statystyczny
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Simple and flexible way to integrate heterogeneous information systems and their services into the world data system
    Autorzy:
    Nowakowski, Grzegorz
    Telenyk, Sergii
    Yefremov, Kostiantyn
    Khmeliuk, Volodymyr
    Tematy:
    research
    application integration
    business processes
    mathematical logic
    formal logic
    inference mechanism
    multi-agent system
    protocol
    software agent
    Pokaż więcej
    Data publikacji:
    2021
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Różne znaczenia definicji w logice. O krytyce Ajdukiewicza wobec klasyfikacji rozumowań Łukasiewicza, uwag kilka
    Different meanings of logical definition. About Ajdukiewicz criticism against classifi-cation of Łukasiewicz considerations, some comments
    Autorzy:
    Tomza, Anna
    Tematy:
    classification of reasoning, formal logic, two and three-valued logic, definitions
    klasyfikacja rozumowań, logika formalna, logika dwu- i trójwartościowa, definicje
    Pokaż więcej
    Data publikacji:
    2020
    Wydawca:
    Łódzkie Towarzystwo Naukowe
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Formalne związki między powinnością a dobrem. Rozważania na marginesie prac Henryka Elzenberga
    Formal Relations between Ought and Good: Some Reflections in the Margins of Henryk Elzenberg’s Works
    Autorzy:
    Drofiszyn, Marcin
    Tematy:
    value and ought
    formal axiology
    deontic logic
    relative preference semantic
    Henryk Elzenberg
    Pokaż więcej
    Data publikacji:
    2020-12-31
    Wydawca:
    Uniwersytet Warszawski. Wydział Filozofii
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Changing probabilistic beliefs in persuasion
    Zmiana probabilistycznych przekonań w perswazji
    Autorzy:
    Budzyńska, K.
    Kacprzak, M.
    Tematy:
    perswazja
    przekonania
    ogika prawdopodobieństwa
    formalna weryfikacja
    logika prawdopodobieństwa
    persuasion
    beliefs
    probabilistic logic
    formal verification
    Pokaż więcej
    Data publikacji:
    2010
    Wydawca:
    Politechnika Białostocka. Oficyna Wydawnicza Politechniki Białostockiej
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Modelowanie dynamicznych zjawisk w planowaniu przestrzennym z wykorzystaniem ontologii formalnych
    Modeling of dynamic phenomena in spatial planning with the use of formal ontology
    Autorzy:
    Łukowicz, J.
    Iwaniak, A.
    Strzelecki, M.
    Kaczmarek, I.
    Tematy:
    ontologia
    modelowanie
    planowanie przestrzenne
    Description Logic
    ontologia formalna
    model czasoprzestrzenny
    ontology
    modeling
    spatial planning
    description logic
    formal ontology
    spatio-temporal model
    Pokaż więcej
    Data publikacji:
    2014
    Wydawca:
    Polskie Towarzystwo Informacji Przestrzennej
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    FSM encoding for BDD representations
    Autorzy:
    Gosti, W.
    Villa, T.
    Saldanha, A.
    Sangiovanni-Vincentelli, A. L.
    Tematy:
    binarny diagram decyzyjny
    kodowanie
    automat skończony
    synteza logiczna
    weryfikacja formalna
    binary decision diagram
    encoding
    finite state machine
    logic synthesis
    formal verification
    logic representation
    Pokaż więcej
    Data publikacji:
    2007
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    On an episode in academic contacts of Jacek Hawranek and Jan Zygmunt with Professor Bogusław Wolniewicz
    O pewnym epizodzie w kontaktach naukowych Jacka Hawranka i Jana Zygmunta z Profesorem Bogusławem Wolniewiczem
    Autorzy:
    Zygmunt, Jan
    Tematy:
    semilattice
    formal ontology of situations
    algebraic logic
    history of Polish logic
    Bogusław Wolniewicz
    półkrata
    formalna ontologia sytuacji
    logika algebraiczna
    historia logiki polskiej
    Pokaż więcej
    Data publikacji:
    2018
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Reprezentacja przestrzeni stanów sterownika logicznego z wykorzystaniem kodowanych diagramów decyzyjnych
    Reconfigurable Logic Controller state space representation using encoded Binary Decision Diagrams
    Autorzy:
    Bubacz, P.
    Adamski, M.
    Tematy:
    1st order nonstationary measurement system
    rekonfigurowane sterowniki logiczne
    kodowanie stanów
    synteza logiczna
    weryfikacja formalna
    Ordered Binary Decision Diagram
    Reconfugurable Logic Controller
    state encoding
    logic synthesis
    formal verification
    Pokaż więcej
    Data publikacji:
    2007
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Formalna weryfikacja maszyny stanów z wykorzystaniem logiki temporalnej
    Formal verification of a state machine with use of temporal logic
    Autorzy:
    Grobelna, I.
    Tematy:
    algorytmiczne maszyny stanów ASM
    logika temporalna
    technika Model Checking
    algorithmic state machines ASM
    temporal logic
    formal verification of specification
    Model Checking technique
    Pokaż więcej
    Data publikacji:
    2009
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Petri nets and activity diagrams in logic controller specification – transformation and verification
    Sieci petriego i diagramy aktywności w specyfikacji sterowników logicznych – transformacja i weryfikacja
    Autorzy:
    Grobelna, I.
    Grobelny, M.
    Adamski, M.
    Tematy:
    formal verification
    logic controller
    model checking
    Petri nets
    UML Activity
    Diagrams
    formalna weryfikacja
    sterownik logiczny
    weryfikacja modelowa
    sieci Petriego
    diagramy aktywności UML
    Pokaż więcej
    Data publikacji:
    2010
    Wydawca:
    Politechnika Bydgoska im. Jana i Jędrzeja Śniadeckich. Wydawnictwo PB
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    O formalnej ontologii bytu i czasu
    On the Formal Ontology of Being and Time
    Autorzy:
    BIŁAT, Andrzej
    Tematy:
    pojęcia ontologiczne
    ontologia logiczna
    eksplikacyjna ontologia formalna
    empiryczna ontologia formalna
    monadyczna logika drugiego rzędu
    czas wypełniony
    świat realny
    ontological notions
    logical ontology
    explicative formal ontology
    empirical formal ontology
    monadic second order logic
    filled time
    real world
    Pokaż więcej
    Data publikacji:
    2018-03-26
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    From workflow design patterns to logical specifications
    Odwzorowanie wzorców projektowych w specyfikację logiczną systemu
    Autorzy:
    Klimek, R.
    Tematy:
    formal verification
    temporal logic
    deduction
    semantic tableaux
    design patterns
    generating logical specification
    weryfikacja formalna
    logika temporalna
    dedukcja
    tablice semantyczne
    wzorce projektowe
    generowanie specyfikacji logicznej
    Pokaż więcej
    Data publikacji:
    2013
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Formal analysis of use case diagrams
    Formalna analiza diagramów przypadków użycia
    Autorzy:
    Klimek, R.
    Szwed, P.
    Tematy:
    UML
    przypadek użycia
    model formalny
    weryfikacja
    weryfikacja modelowa
    logika temporalna
    metoda tablic semantycznych
    use case
    formal model
    verification
    model checking
    temporal logic
    semantic tableau
    Pokaż więcej
    Data publikacji:
    2010
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Wyznaczanie SM - pokrycia bezpiecznej sieci Petriego metodą komputerowego wnioskowania
    Calculation of State Machine cover of safe Petri net by means of computer based reasoning
    Autorzy:
    Tkacz, J.
    Adamski, M.
    Tematy:
    przestrzeń stanów lokalnych i globalnych sieci Petriego
    transwersale
    podsieci automatowe SM
    logika sekwentów Gentzena
    Petri net state space
    transversal
    formal reasoning
    State Machine subnets
    configurable logic controllers
    Pokaż więcej
    Data publikacji:
    2011
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Inhibitor and enabling arcs in logic controller design
    Łuki zakazujące i zezwalające w projektowaniu sterowników logicznych
    Autorzy:
    Grobelna, I.
    Grobelny, M.
    Tematy:
    specyfikacja sterownika logicznego
    formalna weryfikacja
    łuki zakazujące i zezwalające sieci Petriego
    diagramy aktywności języka UML
    logic controller specification
    formal verification
    Petri nets inhibitor and enabling arcs
    UML activity diagrams
    Pokaż więcej
    Data publikacji:
    2012
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Towards leibnizian possibility. Formal frame of modal theory of individual concepts
    Autorzy:
    Świętorzecka, Kordula
    Tematy:
    formal ontology
    Leibniz Gottfried Wilhelm
    theory of concepts
    possible worlds semantics
    modal free logic
    ontologia formalna
    Leibniz Godfryd Wilhelm
    teoria pojęć
    semantyka światów możliwych
    modalna logika wolna
    Pokaż więcej
    Data publikacji:
    2013
    Wydawca:
    Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Specyfikacja sterowników cyfrowych zorientowana na niezawodność
    Quality oriented specification of logic controllers
    Autorzy:
    Doligalski, M.
    Adamski, M.
    Tematy:
    systemy wbudowane
    Rekonfigurowalne Sterowniki Logiczne
    Diagramy Maszyny Stanów UML
    sieci Petriego
    diagramy SFC
    embedded systems
    reconfigurable logic controller
    UML state machine diagram
    Petri net
    sequential function chart
    quality-driven design
    formal verification
    Pokaż więcej
    Data publikacji:
    2010
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    A system for deduction-based formal verification of workflow-oriented software models
    Autorzy:
    Klimek, R.
    Tematy:
    formal verification
    deductive reasoning
    temporal logic
    semantic tableaux
    workflow pattern
    logical primitive
    generating logical specification
    business model
    BPMN
    formalna weryfikacja
    wnioskowanie dedukcyjne
    logika temporalna
    tablica semantyczna
    wzorzec przepływu pracy
    generowanie specyfikacji logicznej
    model biznesowy
    Pokaż więcej
    Data publikacji:
    2014
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
      Wyświetlanie 1-31 z 31

      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.

      Formularz