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)·Ukraiński (UK)
Przejdź do strony domowej biblioteki Biblioteki  UŚ  i  UE  w  Katowicach Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaBiblioteki  UŚ  i  UE  w  Katowicach
Nowości Rankingi Rezerwacja kabin Zaproponuj zakup Aplikacja mobilna

Wyszukujesz frazę "rachunek zdań" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-12 z 12
    Tytuł:
    The method of Socratic proofs meets correspondence analysis
    Współwytwórcy:
    Zakład Logiki i Kognitywistyki (Uniwersytet im. Adama Mickiewicza ; Poznań)
    Shangin, Vasilyi Autor
    Petrukhin, Yaroslav Autor
    Leszczyńska-Jasion, Dorota Autor
    Data publikacji:
    2019
    Tematy:
    Rachunek sekwentowy
    Logika pytań
    Klasyczny rachunek zdań
    Pokaż więcej
    Źródło:
    Biblioteka Narodowa
    Dostawca treści:
    Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)
    Artykuł
    Szczegóły
    Tytuł:
    Koncepcja wykorzystania rozmytego rachunku zdań do oceny skuteczności metod informatycznych wspomagających zarządzanie wiedzą w uczelniach
    The idea of applying the fuzzy calculus for the evaluation of the efficiency of IT methods used for supporting knowledge management at universities
    Autorzy:
    Szeptuch, Agata
    Data publikacji:
    2014
    Wydawca:
    Szkoła Główna Handlowa w Warszawie
    Tematy:
    rozmyty rachunek zdań
    metody informatyczne
    zarządzanie uczelnią
    skuteczność
    zarządzanie wiedzą
    Pokaż więcej
    Źródło:
    e-mentor. Czasopismo naukowe Szkoły Głównej Handlowej w Warszawie; 2014, 1 (53); 62-68
    1731-6758
    1731-7428
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Notes on nonmonotonic autoepistemic propositional logic
    Uwagi dotyczące niemonotonicznego autoepistemicznego rachunku zdań
    Autorzy:
    Suchenek, M. A.
    Data publikacji:
    2011
    Wydawca:
    Warszawska Wyższa Szkoła Informatyki
    Tematy:
    autoepistemic logic
    semantic
    autoepistemic deduction
    logika autoepistemiczna
    semantyka
    autoepistemiczny rachunek zdań
    Pokaż więcej
    Źródło:
    Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki; 2011, 5, 6; 74-92
    1896-396X
    2082-8349
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Logicy i logika a poznanie przyrody
    Logicians and Logic on Study of Nature
    Autorzy:
    Kiczuk, Stanisław
    Data publikacji:
    2005
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    logika
    funktor prawdziwościowy
    funktor nieprawdziwościowy
    dwuwartościowy rachunek zdań
    wielowartościowy rachunek zdań
    logic
    truth-functional operator
    not truth-functional operator
    two valued propositional calculus
    many-valued propositional calculus
    Pokaż więcej
    Źródło:
    Roczniki Filozoficzne; 2005, 53, 1; 129-142
    0035-7685
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Uwagi o systemie logiki formalnej skonstruowanym dla logików nieformalnych
    Remarks on the System of Formal Logic Construed for Informal Logicians
    Autorzy:
    Kiczuk, Stanisław
    Data publikacji:
    2010
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    funktor prawdziwościowy
    logika nieformalna
    logika nieklasyczna
    klasyczny rachunek zdań
    truth-functional operator
    informal logic
    non-classical logic
    classical propositional calculus
    Pokaż więcej
    Źródło:
    Roczniki Filozoficzne; 2010, 58, 1; 95-108
    0035-7685
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    O NIEKTÓRYCH PRAWACH LOGIKI I ZASADACH OGÓLNEJ TEORII BYTU
    Autorzy:
    Kiczuk, Stanisław
    Data publikacji:
    2012
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    logika współczesna
    funktor prawdziwościowy
    klasyczny rachunek zdań
    zasada racji dostatecznej
    modern logic
    truth-functional operator
    classical propositional calculus
    principle of sufficient reason
    Pokaż więcej
    Źródło:
    Roczniki Filozoficzne; 2012, 60, 2; 171-179
    0035-7685
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Logika formalna czy logiki formalne?
    Formal Logic or Formal Logics?
    Autorzy:
    Kiczuk, Stanisław
    Data publikacji:
    2007
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    logika
    funktor prawdziwościowy
    logika standardowa
    logika nieklasyczna
    wielowartościowy rachunek zdań
    logika klasyczna
    logic
    truth-functional operator
    standard logic
    non-classical logic
    many-valued propositional calculus
    classical logic
    Pokaż więcej
    Źródło:
    Roczniki Filozoficzne; 2007, 55, 1; 129-157
    0035-7685
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
      Wyświetlanie 1-12 z 12

      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