Temat: Dedukcja (logika). - Katalog Bibliotek Uniwersytetu Śląskiego i Uniwersytetu Ekonomicznego w Katowicach

Skocz do pozycji 1.

Tytuł pełny:: Między prawdą i normą a błędem / pod red. Ewy Żarneckiej-Biały ; przedm. Jan Woleński
Wydawca:: Kraków : Uniwersytet Jagielloński
Rok wydania:: 1997
Seria:: Dialogikon , 1505-4594 ; vol. 6
Temat:: Błąd.
Dedukcja (logika).

Książka

na półce

Szczegóły

Skocz do pozycji 2.

Tytuł pełny:: Deductive systems and the decidability problem for hybrid logics / Michał Zawidzki
Wydawca:: Łódź : Wydawnictwo Uniwersytetu Łódzkiego ; Kraków : Jagiellonian University Press
Rok wydania:: 2013
Temat:: Rozstrzygalność (logika matematyczna).
Dedukcja (logika).

Książka

na półce

Szczegóły

Skocz do pozycji 3.

Tytuł pełny:: Myśl jak Sherlock Holmes / Maria Konnikova ; [tłumaczenie Manana Chyb]
Wydawca:: Warszawa : Agora
Rok wydania:: 2015
Seria:: Biblioteka Gazety Wyborczej
Temat:: Dedukcja (logika).
Myślenie.

Książka

na półce

Szczegóły

Skocz do pozycji 4.

Tytuł pełny:: Myśl jak Sherlock Holmes / Maria Konnikova ; z angielskiego przełożyła Manana Chyba
Wydawca:: Warszawa : Wydawnictwo Agora
Rok wydania:: 2022
Temat:: Dedukcja (logika).
Myślenie.

Książka

na półce

Szczegóły

Skocz do pozycji 5.

Tytuł pełny:: Nie tylko przeciw metaforze : szkice o poezji / Andrzej Biskupski
Wydawca:: Łódź : Wydawnictwo Łódzkie
Rok wydania:: 1973
Temat:: Poezja polska - 20 w. - historia i krytyka - teoria.
Logika - w literaturze.

Książka

na półce

Szczegóły

Skocz do pozycji 6.

Tytuł pełny:: Logika / Leopold Regner
Wydawca:: Tarnów : Biblos
Rok wydania:: 1995
Seria:: Pomoce Naukowe Instytutu Teologicznego w Tarnowie ; 25
Temat:: Interpretacja (filozofia).
Logika - podręczniki akademickie.
Dedukcja (logika) - podręczniki akademickie.
Semantyka (filozofia) - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 7.

Tytuł pełny:: Comment apprivoiser l'inférence? : quelques remarques sur le modèle consécutif intensif / Teresa Muryn
Temat:: Dedukcja (logika).
Język francuski - semantyka.
Gatunek / Forma:: Artykuły

Praca. Artykuł

na półce

Szczegóły

Skocz do pozycji 8.

Tytuł pełny:: Metody logiki : dedukcja / Andrzej Indrzejczak, Marek Nowak
Wydawca:: Łódź : Wydawnictwo Uniwersytetu Łódzkiego
Rok wydania:: 2016
Temat:: Logika symboliczna i matematyczna.
Dedukcja (logika).

Książka

na półce

Szczegóły

Skocz do pozycji 9.

Tytuł pełny:: Ksiądz rektor Józef Iwanicki - kapłan i metodolog filozofii [oraz] Dzieła wybrane / redaktorzy: Edward Nieznański, Roman Tomanek
Wydawca:: Warszawa : Wydawnictwo Uniwersytetu Kardynała Stefana Wyszyńskiego
Rok wydania:: 2007
Temat:: Iwanicki, Józef (1902-1995).
Dedukcja (logika).
Metafizyka.
Teodycea.

Książka

na półce

Szczegóły

Skocz do pozycji 10.

Tytuł pełny:: Idealizm a sceptycyzm / Kurt Walter Zeidler ; przekład Andrzej J. Noras i Tomasz Kubalica
Temat:: Idealizm (filozofia).
Sceptycyzm.
Dogmatyzm.
Dedukcja (logika).
Logika.

Praca. Artykuł

na półce

Szczegóły

Skocz do pozycji 11.

Tytuł pełny:: O logice matematycznej i metodzie dedukcyjnej / Alfred Tarski
Wydawca:: Lwów ; Warszawa : Książnica Atlas
Rok wydania:: [ca 1937]
Seria:: Biblioteczka Matematyczna ; 3-4-5
Temat:: Logika symboliczna i matematyczna.
Dedukcja (logika).
Matematyka - metodologia.
Podstawy arytmetyki.

Książka

na półce

Szczegóły

Skocz do pozycji 12.

Tytuł pełny:: Wprowadzenie do logiki i do metodologii nauk dedukcyjnych / Alfred Tarski ; przełożyła Monika Sujczyńska
Wydawca:: Białystok : Filia Uniwersytetu Warszawskiego : PHILOMATH
Rok wydania:: 1994
Seria:: Cogito ; 1
Temat:: Logika symboliczna i matematyczna.
Dedukcja (logika).
Matematyka - metodologia.
Podstawy arytmetyki.

Książka

na półce

Szczegóły

Skocz do pozycji 13.

Tytuł pełny:: Der Zirkel oder Im Zeichen der Drei : Dupin, Holmes, Peirce / Umberto Eco, Thomas A. Sebeok (Hrsg.) ; Übers. von Christiane Spelsberg und Roger Willemsen
Wydawca:: München : Wilhelm Fink Verlag
Rok wydania:: 1985
Seria:: Supplemente ; Bd. 1
Temat:: Doyle, Arthur Conan (1859-1930) - postacie.
Peirce, Charles Sanders (1839-1914) - krytyka i interpretacja.
Poe, Edgar Allan (1809-1849) - krytyka i interpretacja.
Sherlock Holmes (postać fikcyjna).
Powieść kryminalna - historia i krytyka.
Detektywi - w literaturze.
Logika - w literaturze.

Książka

na półce

Szczegóły

Skocz do pozycji 14.

Tytuł pełny:: From topic to tale : logic and narrativity in the Middle Ages / Eugene Vance ; foreword by Wlad Godzich
Wydawca:: Minneapolis : University of Minnesota Press
Rok wydania:: 1987
Seria:: Theory and History of Literature ; vol. 47
Temat:: Chrétien de Troyes (około 1135-około 1183).
Narracja.
Poezja narracyjna francuska - przed 1500 - historia i krytyka.
Logika - w literaturze.
Retoryka średniowieczna.

Książka

na półce

Szczegóły

Skocz do pozycji 15.

Tytuł pełny:: Ewolucja teorii dedukcyjnej : pojęcie zasady u Leibniza / José Ortega y Gasset ; przeł. Ewa Burska ; przekł. przejrzał Stanisław Cichowicz
Wydawca:: Gdańsk : "Słowo/Obraz Terytoria"
Rok wydania:: 2004
Seria:: Minerwa : biblioteka filozofii i historii filozofii
Temat:: Aristoteles (384-322 p.n.e.).
Leibniz, Gottfried Wilhelm (1646-1716).
Dedukcja (logika).
Aksjomaty.

Książka

na półce

Szczegóły

Skocz do pozycji 16.

Tytuł pełny:: Z Sherlockiem Holmesem o dedukcji, indukcji, życiu i innych ważnych sprawach / Krzysztof Liedel
Wydawca:: Warszawa : Difin
Rok wydania:: 2016
Temat:: Doyle, Arthur Conan (1859-1930). Adventures of Sherlock Holmes
Sherlock Holmes (postać fikcyjna).
Logika - w literaturze.

Książka

na półce

Szczegóły

Skocz do pozycji 17.

Tytuł pełny:: Logic for computer science : foundations of automatic theorem proving / Jean H. Gallier
Wydawca:: New York [etc.] : Harper & Row
Rok wydania:: cop. 1986
Seria:: Harper & Row Computer Science and Technology Series
Temat:: Automatyczne dowodzenie twierdzeń.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 18.

Tytuł pełny:: Matematičeskaâ logika i avtomatičeskoe dokazatel'stvo teorem / Č. Čen', R. Li ; per. s ang. G. V. Davydova, G. E. Minca, A. V. Sočilinoj ; pod red. S. Û. Maslova
Wydawca:: Moskva : Nauka. Glavnaâ redakciâ fiziko-matematičeskoj literatury
Rok wydania:: 1983
Seria:: Matematičeskaâ Logika i Osnovaniâ Matematiki
Temat:: Logika symboliczna i matematyczna.
Automatyczne dowodzenie twierdzeń.

Książka

na półce

Szczegóły

Skocz do pozycji 19.

Tytuł pełny:: Automatyczne dowodzenie twierdzeń / Andrzej Biela, Marek Wojtylak
Wydawca:: Warszawa : Uniwersytet Śląski
Rok wydania:: 1993
Seria:: Skrypty Uniwersytetu Śląskiego, 0239-6432 ; nr 484
Temat:: Automatyczne dowodzenie twierdzeń.

Książka

na półce

Szczegóły

Skocz do pozycji 20.

Tytuł pełny:: Theorem-proving systems / Ewa Orłowska ; Polska Akademia Nauk. Instytut Matematyczny
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Rok wydania:: 1973
Seria:: Dissertationes Mathematicae = Rozprawy Matematyczne ; 103
Temat:: Automatyczne dowodzenie twierdzeń.

Książka

na półce

Szczegóły

Skocz do pozycji 21.

Tytuł pełny:: Les mathématiques a la portée de l'ordinateur / par André Arnold ; pref. de J. Kuntzmann
Wydawca:: Paris : Dunod
Rok wydania:: 1970
Seria:: Initiation aux Nouveautés de la Science ; 22
Temat:: Automatyczne dowodzenie twierdzeń.
Logika symboliczna i matematyczna.
Języki programowania - matematyka.
Języki formalne.

Książka

na półce

Szczegóły

Skocz do pozycji 22.

Tytuł pełny:: Sekwencyjna postać logik skończenie wielowartościowych : automatyzacja dowodzenia twierdzeń / Piotr Borowik
Wydawca:: Częstochowa : Wydawnictwo Wyższej Szkoły Pedagogicznej
Rok wydania:: 2001
Temat:: Automatyczne dowodzenie twierdzeń.
Rachunek kwantyfikatorów.
Logika wielowartościowa.

Książka

na półce

Szczegóły

Skocz do pozycji 23.

Tytuł pełny:: Using sophisticated models in resolution theorem proving / David M. Sandford
Wydawca:: Berlin : Springer-Verlag
Rok wydania:: 1980
Seria:: Lecture Notes in Computer Science ; 90
Temat:: Automatyczne dowodzenie twierdzeń.
Matematyka - informatyka.

Książka

na półce

Szczegóły

Skocz do pozycji 24.

Tytuł pełny:: Algorithmic structural completeness and a retrieval system for proving theorems in algorithmic theories / Andrzej Biela
Wydawca:: Katowice : Wydawnictwo Uniwersytetu Śląskiego
Rok wydania:: 2000
Seria:: Prace Naukowe Uniwersytetu Śląskiego w Katowicach 0208-6336 nr 1901
Temat:: Algorytmy.
Automatyczne dowodzenie twierdzeń.
Logika symboliczna i matematyczna.
Języki formalne.

Książka

na półce

Szczegóły

Informacja

Wyszukujesz frazę "Dedukcja (logika)." wg kryterium: Temat

Źródło danych

Położenie

Lokalizacja

Autor

Temat

Rok publikacji

Język

Kraj

Typ dokumentu