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ę "logika formalna" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-86 z 86
    Tytuł:
    On the rules of suppositions in formal logic
    Autorzy:
    Jaśkowski, Stanisław (1906-1965)
    Data publikacji:
    1934
    Wydawca:
    Warszawa : Seminarjum Filozoficzne. Wydz. Matematyczno-Przyrodniczy UW (Warszawa : P. Pyz i S-ka)
    Tematy:
    Logika formalna
    Pokaż więcej
    Źródło:
    Biblioteka Narodowa
    Dostawca treści:
    Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)
    Książka
    Szczegóły
    Tytuł:
    Elementy teorji poznania, logiki formalnej i metodologji nauk
    Autorzy:
    Kotarbiński, Tadeusz (1886-1981)
    Data publikacji:
    1929
    Wydawca:
    Lwów : Wydaw. Zakładu Narodowego imienia Ossolińskich (Lwów : Zakł. Nar. im. Ossolińskich)
    Tematy:
    Logika formalna
    Pokaż więcej
    Źródło:
    Biblioteka Narodowa
    Dostawca treści:
    Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)
    Książka
    Szczegóły
    Tytuł:
    Główne zasady metodologji nauk i logiki formalnej : wykłady K. Ajdukiewicza wygłoszone na Uniwersytecie Warszawskim w roku akad. 1927/28
    Autorzy:
    Ajdukiewicz, Kazimierz (1890-1963) Autor
    Współwytwórcy:
    Presburger, Mojżesz (1904-1943?) Redakcja
    Data publikacji:
    1928
    Wydawca:
    Warszawa : Koło Mat.-Fiz. Słuchaczów U.W.
    Tematy:
    Metodologia
    Logika formalna
    Pokaż więcej
    Źródło:
    Biblioteka Narodowa
    Dostawca treści:
    Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)
    Książka
    Szczegóły
    Tytuł:
    Uwagi o systemie logiki formalnej skonstruowanym dla logików nieformalnych
    Autorzy:
    Kiczuk, Stanisław
    Data publikacji:
    2010
    Tematy:
    Logika formalna
    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ł:
    Logika formalna : systemy logiczne : wstęp do metalogiki
    Autorzy:
    Borkowski, Ludwik (1914-1993)
    Data publikacji:
    1970
    Wydawca:
    Warszawa : Państwowe Wydawnictwo Naukowe
    Tematy:
    Logika formalna
    Pokaż więcej
    Źródło:
    Biblioteka Narodowa
    Dostawca treści:
    Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)
    Książka
    Szczegóły
    Tytuł:
    Konspekt wykładów z logiki wygłoszonych na uniwersytecie Jana Kazimierza we Lwowie w roku akademickim 1924/1925 sporządzony przez Stefana Ołeksiuka
    Autorzy:
    Ajdukiewicz, Kazimierz (1890-1963). Autor
    Współwytwórcy:
    Tudor, Stepan (1892-1941). Opracowanie
    Ivanyk, Stepan (1982- ). Redakcja
    Bożek, Hubert. Redakcja
    Data publikacji:
    2017
    Tematy:
    Logika formalna
    Teoria poznania
    Semiotyka
    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ł:
    Sylogistyka Arystotelesa z punktu widzenia współczesnej logiki formalnej
    Autorzy:
    Łukasiewicz, Jan (1878-1956)
    Współwytwórcy:
    Krajczyk, Aleksandra Tł.
    Woleński, Jan (1940- ) Przedm.
    Chmielewski, Adam (1959- ) Przedm.
    Data publikacji:
    1988
    Wydawca:
    Warszawa : Państ. Wydaw. Naukowe (Krak. : UJ)
    Tematy:
    Sylogistyka - historia
    Logika formalna
    Arystoteles (384-322 p.n.e.)
    Pokaż więcej
    Źródło:
    Biblioteka Narodowa
    Dostawca treści:
    Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)
    Książka
    Szczegóły
    Tytuł:
    Bochvars three-valued logic and literal paralogics : their lattice and functional equivalence
    Autorzy:
    Karpenko, Aleksandr Stepanovič (1946-2017). Autor
    Współwytwórcy:
    Tomova Natalâ Evgenevna (1983- ). Autor
    Data publikacji:
    2017
    Tematy:
    Logika formalna
    Bočvar, Dmitrij Anatol'evič (1903-1990)
    Logika trójwartościowa
    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ł:
    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
    Źródło:
    Studia Prawnicze KUL; 2021, 2; 121-132
    1897-7146
    2719-4264
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Logik : Wiener Logikkolleg 1894/95
    Autorzy:
    Twardowski, Kazimierz (1866-1938) Autor
    Współwytwórcy:
    Betti, Arianna Redakcja
    Raspa, Venanzio Redakcja
    Data publikacji:
    copyright 2016
    Wydawca:
    Berlin ; Boston : De Gruyter, copyright 2016
    Tematy:
    Logika formalna
    Weryfikacja (logika)
    Uniwersytet Wiedeński
    Teoria poznania
    Sądy (logika)
    Szkoła lwowsko-warszawska (filozofia)
    Pokaż więcej
    Źródło:
    Biblioteka Narodowa
    Dostawca treści:
    Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)
    Książka
    Szczegóły
    Tytuł:
    Różne znaczenia definicji w logice : o krytyce Ajdukiewicza wobec klasyfikacji rozumowań Łukasiewicza uwag kilka
    Autorzy:
    Tomza-Tulejska, Anna Autor
    Współwytwórcy:
    Zakład Polityki Prawa (Uniwersytet Łódzki)
    Data publikacji:
    2020
    Tematy:
    Logika formalna
    Definicja
    Ajdukiewicz, Kazimierz (1890-1963)
    Logika trójwartościowa
    Łukasiewicz, Jan (1878-1956)
    Logika dwuwartościowa
    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ł:
    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
    Data publikacji:
    2020
    Wydawca:
    Łódzkie Towarzystwo Naukowe
    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
    Źródło:
    Studia Prawno-Ekonomiczne; 2020, 115; 133-148
    0081-6841
    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
    Data publikacji:
    2023-02-28
    Wydawca:
    Główny Urząd Statystyczny
    Tematy:
    research hypotheses
    formal logic
    management
    propositional calculus
    hipotezy badawcze
    logika formalna
    zarządzanie
    rachunek zadań
    Pokaż więcej
    Źródło:
    Wiadomości Statystyczne. The Polish Statistician; 2023, 68, 2; 39-55
    0043-518X
    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
    Źródło:
    Biblioteka Narodowa
    Dostawca treści:
    Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)
    Artykuł
    Szczegóły
    Tytuł:
    Conclvsiones Ex universa Aristotelis Philosophia In Auditorio Collegii Brunsbergensis Soc. Jesv Disputationi publicæ Propositæ / a Reinholdo & Alberto Klein FF. Anno 1666. Mense [Jun.] Die. [8 et 9]
    Autorzy:
    Klein, Albert. Respondent
    Współwytwórcy:
    Tylkowski, Wojciech (1625-1695). Promotor
    Klein, Reinhold. Respondent
    Data publikacji:
    1666
    Wydawca:
    [Braniewo] : [Henryk Schultz]
    Tematy:
    logika formalna
    scholastyka
    dysertacje naukowe
    Jezuici
    Arystoteles (384-322 p.n.e.)
    etyka
    filozofia
    teologia katolicka
    Pokaż więcej
    Źródło:
    Biblioteka Jagiellońska
    Dostawca treści:
    Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)
    Książka
    Szczegóły
    Tytuł:
    Krytyczne myślenie i logika formalna w badaniach literaturoznawczych na przykładzie wybranych utworów Ignacego Krasickiego
    Autorzy:
    Magryś, Roman Autor
    Współwytwórcy:
    Uniwersytet Rzeszowski
    Data publikacji:
    2019
    Tematy:
    Polska
    Krasicki, Ignacy (1735-1801)
    Literatura polska
    Krytycyzm
    Logika formalna
    Badania naukowe
    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ł:
    Logika. Panorama tematyki
    Logic. Panorama of the Domain
    Autorzy:
    Kublikowski, Robert
    Data publikacji:
    2018-12-31
    Wydawca:
    Wyższe Seminarium Duchowne im. św. Jana Pawła II Diecezji Siedleckiej
    Tematy:
    logika
    logika formalna
    semiotyka
    metodologia nauk
    teoria poznania
    epistemologia
    logic
    formal logic
    semiotics
    methodology of science
    theory of cognition
    epistemology
    Pokaż więcej
    Źródło:
    Teologiczne Studia Siedleckie; 2018, XV/15; 314-341
    1733-7496
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Legal argumentation and chaim perelmans "the new rhetoric" as "third way" in the theory and philosophy of law : between positivist paradigm and legal hermeneutics = Argumentacja prawnicza i "nowa retoryka" Chaima Perelmana jako "trzecia droga" w teorii i filozofii prawa : między paradygmatem pozytywistycznym a hermeneutyką prawniczą
    Autorzy:
    Tecław, Barbara Autor
    Data publikacji:
    2018
    Tematy:
    Perelman, Chaïm (1912-1984)
    Filozofia prawa
    Dyskurs (filozofia)
    Argumentacja prawnicza
    Retoryka
    Logika formalna
    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ł:
    Do kwestii "stałych lingwistycznych" : czy "stała interpretacyjna" "wiesz, o czym mówię"?
    Autorzy:
    Bogusławski, Andrzej (1931- ) Autor
    Współwytwórcy:
    Katedra Lingwistyki Formalnej (Uniwersytet Warszawski). Instytucja sprawcza
    Data publikacji:
    2018
    Tematy:
    Pragmatyka lingwistyczna
    Pogonowski, Jerzy (1951- )
    Logika formalna
    Filozofia języka
    Semantyka lingwistyczna
    Język polski
    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ł:
    Uwagi o Susan Haack rozumieniu filozofii logiki
    Remarks on Susan Haack’s Conception of Philosophy of Logic
    Autorzy:
    Czernecka-Rej, Bożena
    Data publikacji:
    2007
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    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
    Źródło:
    Roczniki Filozoficzne; 2007, 55, 1; 23-46
    0035-7685
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Realność problemu zmiany : polemika z Adamem Andrzejewskim = Genuineness of the problem of change : against Adam Andrzejewskis objection
    Autorzy:
    Luc, Joanna. Autor
    Data publikacji:
    2017
    Tematy:
    Dynamizm (filozofia)
    Filozofia polska
    Logika formalna
    Andrzejewski, Adam. Problem zmiany a identyczność numeryczna
    Metafizyka
    Ontologia
    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ł:
    Conclvsiones Ex universa Aristotelis Philosophia In Auditorio Collegii Brunsbergensis Soc. Jesv Disputationi publicæ Propositæ
    Autorzy:
    Klein, Reinhold Respondent
    Współwytwórcy:
    Tylkowski, Wojciech (1625-1695). Promotor
    Klein, Albert. Respondent
    Data publikacji:
    1666
    Wydawca:
    [Braniewo] : [Henryk Schultz]
    Tematy:
    logika formalna
    dysertacje naukowe
    filozofia przyrody
    Arystoteles (384-322 p.n.e.)
    teologia katolicka
    religia i duchowość
    etyka
    Jezuici
    scholastyka
    Pokaż więcej
    Źródło:
    Biblioteka Jagiellońska (depozyt)
    Dostawca treści:
    Academica (dostęp w CINiBA, CNTI oraz Oddziale BUŚ w Cieszynie)
    Książka
    Szczegóły
    Tytuł:
    O stosowaniu narzędzi i struktur formalnych w filozofii : ontologia formalna : ontologia topologiczna
    Autorzy:
    Kaczmarek, Janusz (1959- ) Autor
    Współwytwórcy:
    Katedra Logiki i Metodologii Nauk (Uniwersytet Łódzki)
    Data publikacji:
    2019
    Tematy:
    Filozofia polska
    Drewnowski, Jan Franciszek (1896-1978)
    Metodologia
    Koło Krakowskie (filozofia)
    Ontologia
    Filozofia współczesna
    Logika formalna
    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ł:
    Wartości i normy jako zdania w logice. Z historii logiki w Polsce
    Autorzy:
    Pacewicz, Grzegorz
    Data publikacji:
    2016
    Wydawca:
    Uniwersytet Warmińsko-Mazurski w Olsztynie
    Tematy:
    zdanie
    sąd
    norma
    wartość
    zdanie normatywne
    zdanie wartościujące
    logika formalna
    historia logiki
    Szkoła Lwowsko-Warszawska
    Twardowski
    Lukasiewicz
    Kotarbiński
    Czeżowski
    Ajdukiewicz
    Ziembiński
    Pokaż więcej
    Źródło:
    Humanistyka i Przyrodoznawstwo; 2016, 22; 291-305
    1234-4087
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Aksjomatyczne ujęcia genidentyczności według Zdzisława Augustynka. Cz. 1, Porównanie systemów = The axiomatic approach to genidentity according to Zdzisław Augustynek. Part 1, The comparison of systems
    Autorzy:
    Porwolik, Marek. Autor
    Data publikacji:
    2017
    Tematy:
    Grygianiec, Mariusz (1969- )
    Filozofia polska
    Logika formalna
    Genidentyczność
    Augustynek, Zdzisław (1925-2001)
    Tożsamość (filozofia)
    Ontologia
    Filozofia nauki
    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ł:
    Dialektyka wiedzy logikomatematycznej w ujęciu Jarosława Ładosza = Jarosław Ładosz on the dialectics of logico-mathematical knowledge
    Autorzy:
    Winczewski, Damian Autor
    Data publikacji:
    2020
    Tematy:
    Logika formalna
    Marksizm
    Filozofia współczesna
    Intuicjonizm matematyczny
    Ładosz, Jarosław (1924-1997)
    Teoria poznania
    Filozofia matematyki
    Materializm dialektyczny
    Filozofia polska
    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ł:
    The conception of logic in the Cracow Circle : Salamucha, Drewnowski, Bocheński
    Autorzy:
    Murawski, Roman (1949- ) Autor
    Współwytwórcy:
    Wydział Matematyki i Informatyki (Uniwersytet im. Adama Mickiewicza ; Poznań)
    Data publikacji:
    2021
    Tematy:
    Filozofia polska
    Tomizm
    Teologia
    Logika formalna
    Bocheński, Józef Maria (1902-1995)
    Koło Krakowskie (filozofia)
    Filozofia współczesna
    Salamucha, Jan (1903-1944)
    Drewnowski, Jan Franciszek (1896-1978)
    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ł:
    Polskie idee w filozofii : filozofia polska wobec filozofii w Polsce
    Autorzy:
    Woźniczka, Maciej Autor
    Współwytwórcy:
    Akademia im. Jana Długosza (Częstochowa)
    Data publikacji:
    2017
    Tematy:
    Humanizm (prąd)
    Filozofia polityczna
    Częstochowa (woj. śląskie)
    Filozofia religii
    Filozofia polska
    Filozofia społeczna
    Logika formalna
    Filozofia przyrody
    Wpływ i recepcja
    Filozofia brytyjska
    Filozofia francuska
    Filozofia niemiecka
    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ł:
    About a mature theory of Fregean sense
    Autorzy:
    Olszewski, Adam (1958- ). Recenzja
    Data publikacji:
    2017
    Tematy:
    Jespersen, Bjørn (1966- ). Procedural semantics for hyperintensional logic
    Duží, Marie (1948- ). Procedural semantics for hyperintensional logic
    Logika formalna
    Materna, Pavel (1930- ). Procedural semantics for hyperintensional logic
    Semantyka logiczna
    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ł:
    Formalna weryfikacja automatycznego zrównoleglenia procesów
    Formal verification of automatically parallelised processes
    Autorzy:
    Dziurzański, P.
    Karpicki, M.
    Data publikacji:
    2006
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    formalna weryfikacja
    logika temporalna CTL
    asercja
    równoleglizowanie
    SystemC
    formal verification
    parallelisation
    assertion
    Pokaż więcej
    Źródło:
    Pomiary Automatyka Kontrola; 2006, R. 52, nr 11, 11; 35-38
    0032-4140
    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.
    Data publikacji:
    2010
    Wydawca:
    Politechnika Białostocka. Oficyna Wydawnicza Politechniki Białostockiej
    Tematy:
    perswazja
    przekonania
    ogika prawdopodobieństwa
    formalna weryfikacja
    logika prawdopodobieństwa
    persuasion
    beliefs
    probabilistic logic
    formal verification
    Pokaż więcej
    Źródło:
    Zeszyty Naukowe Politechniki Białostockiej. Informatyka; 2010, 6; 23-39
    1644-0331
    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
    Data publikacji:
    2018
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    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
    Źródło:
    Przegląd Filozoficzny. Nowa Seria; 2018, 3; 149-162
    1230-1493
    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
    Data publikacji:
    2018-03-26
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    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
    Źródło:
    Roczniki Filozoficzne; 2018, 66, 1; 5-32
    0035-7685
    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.
    Data publikacji:
    2013
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    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
    Źródło:
    Automatyka / Automatics; 2013, 17, 1; 59-63
    1429-3447
    2353-0952
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    Towards leibnizian possibility. Formal frame of modal theory of individual concepts
    Autorzy:
    Świętorzecka, Kordula
    Data publikacji:
    2013
    Wydawca:
    Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie
    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
    Źródło:
    Studia Philosophiae Christianae; 2013, 49, 3; 71-84
    0585-5470
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
    Tytuł:
    A system for deduction-based formal verification of workflow-oriented software models
    Autorzy:
    Klimek, R.
    Data publikacji:
    2014
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    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
    Źródło:
    International Journal of Applied Mathematics and Computer Science; 2014, 24, 4; 941-956
    1641-876X
    2083-8492
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Szczegóły
      Wyświetlanie 1-86 z 86

      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