Temat: Logika symboliczna i matematyczna. - Katalog Bibliotek Uniwersytetu Śląskiego i Uniwersytetu Ekonomicznego w Katowicach

Skocz do pozycji 1.

Tytuł pełny:: Zur Modelltheorie der CA-Gruppen : Dissertation der Mathematischen Fakultat der Eberhard-Karls-Universitat Tubingen zur Erlangung des Grades eines Doktors der Naturwissenschaften / vorgelegt von Andreas Ecker
Wydawca:: Tubingen : Eberhard-Karls-Universitat
Rok wydania:: 1999
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 2.

Tytuł pełny:: Zum Sprachgebrauch in der Mathematik / von H. Bock, S. Gottwald, R.-P. Mühlig
Wydawca:: Leipzig : Akademische Verlagsgesellschaft Geest & Portig K.-G
Rok wydania:: 1972
Seria:: Lehrprogrammbücher Hochschulstudium. Mathematik ; 1
Temat:: Logika matematyczna nieklasyczna.
Matematyka.

Książka

na półce

Szczegóły

Skocz do pozycji 3.

Tytuł pełny:: Zum logischen Denken im Mathematikunterricht : eine Sammlung von Einzelbeiträgen / Hrsg. von Hans Bock und Werner Walsch
Wydawca:: Berlin : Volk und Wissen Volkseigener Verlag
Rok wydania:: 1975
Temat:: Logika symboliczna i matematyczna.
Myślenie.

Książka

na półce

Szczegóły

Skocz do pozycji 4.

Tytuł pełny:: Złożoność obliczeniowa / Christos H. Papadimitriou ; z ang. przeł.: Zdzisław Płoski
Wydawca:: Gliwice : Helion
Wydanie:: Nowe wyd. polskie
Rok wydania:: 2012
Seria:: Kanon Informatyki
Temat:: Algorytmy - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki akademickie.
Maszyny Turinga - podręczniki akademickie.
Złożoność obliczeniowa (informatyka) - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 5.

Tytuł pełny:: Złożoność obliczeniowa / Christos H. Papadimitriou ; z ang. przeł.: Przemysława Kanarek, Krzysztof Loryś
Wydawca:: Warszawa : Wydawnictwa Naukowo-Techniczne
Wydanie:: Wyd. 2
Rok wydania:: 2007
Seria:: Klasyka Informatyki
Temat:: Algorytmy - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki akademickie.
Maszyny Turinga - podręczniki akademickie.
Złożoność obliczeniowa (informatyka) - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 6.

Tytuł pełny:: Złożoność obliczeniowa / Christos H. Papadimitriou ; z ang. przeł.: Przemysława Kanarek, Krzysztof Loryś
Wydawca:: Warszawa : Wydawnictwa Naukowo-Techniczne
Rok wydania:: 2002
Seria:: Klasyka Informatyki
Temat:: Złożoność obliczeniowa (informatyka) - podręczniki akademickie.
Algorytmy - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki akademickie.
Maszyny Turinga - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 7.

Tytuł pełny:: Zeichen und Wert / Mihai Nadin
Wydawca:: Tübingen : Gunter Narr Verlag
Rok wydania:: 1981
Seria:: Kodikas, Code. Supplement, 0941-0139 ; 6
Temat:: Semiotyka.
Logika symboliczna i matematyczna.
Wartości (filozofia).

Książka

na półce

Szczegóły

Skocz do pozycji 8.

Tytuł pełny:: Zarys logiki matematycznej / Andrzej Grzegorczyk
Wydawca:: Warszawa : Państwowe Wydaw. Naukowe
Wydanie:: Wyd. 6
Rok wydania:: 1984
Seria:: Biblioteka Matematyczna ; t. 20
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 9.

Tytuł pełny:: Zarys logiki matematycznej / Andrzej Grzegorczyk
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Wydanie:: Wyd. 5
Rok wydania:: 1981
Seria:: Biblioteka Matematyczna t. 20
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 10.

Tytuł pełny:: Zarys logiki matematycznej / Andrzej Grzegorczyk
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Wydanie:: Wyd. 4
Rok wydania:: 1975
Seria:: Biblioteka Matematyczna, 0519-8356 ; t. 20
Temat:: Logika symboliczna i matematyczna.
Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 11.

Tytuł pełny:: Zarys logiki matematycznej / Andrzej Grzegorczyk
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Wydanie:: Wydanie trzecie poprawione
Rok wydania:: 1973
Seria:: Biblioteka Matematyczna, 0519-8356 ; t. 20
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 12.

Tytuł pełny:: Zarys logiki matematycznej / Andrzej Grzegorczyk
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Wydanie:: Wyd. 2 zm. i uzup
Rok wydania:: 1969
Seria:: Biblioteka Matematyczna ; t. 20
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 13.

Tytuł pełny:: Zarys logiki matematycznej / Andrzej Grzegorczyk
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Rok wydania:: 1961
Seria:: Biblioteka Matematyczna, 0519-8356 ; t. 20
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 14.

Tytuł pełny:: Zadania z teorii mnogości, logiki matematycznej i teorii algorytmów / Igor A. Ławrow, Łarisa L. Maksimowa ; z jęz. ros. przeł. Jerzy Pogonowski
Wydawca:: Warszawa : Wydawnictwo Naukowe PWN
Rok wydania:: 2004
Temat:: Teoria zbiorów - zadania i ćwiczenia.
Logika symboliczna i matematyczna - zadania i ćwiczenia.
Algorytmy - zadania i ćwiczenia.

Książka

na półce

Szczegóły

Skocz do pozycji 15.

Tytuł pełny:: Zadači po teorii množestv, matematičeskoj logike i teorii algoritmov / I. A. Lavrov, L. L. Maksimova
Wydawca:: Moskva : Izdatel'stvo "Nauka". Glavnaâ redakciâ fiziko-matematičeskoj literatury
Wydanie:: Izd. 2
Rok wydania:: 1984
Temat:: Teoria zbiorów - zadania i ćwiczenia.
Algorytmy - zadania i ćwiczenia.
Logika symboliczna i matematyczna - zadania i ćwiczenia.

Książka

na półce

Szczegóły

Skocz do pozycji 16.

Tytuł pełny:: Z badań nad metodą tablic semantycznych / Rafał Dutkiewicz
Wydawca:: Lublin : Redakcja Wydawnictw KUL
Rok wydania:: 1988
Temat:: Semantyka - modele matematyczne.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 17.

Tytuł pełny:: Wzajemna interpretowalność rachunków zdaniowych: zarys teorii / Piotr Wojtylak
Wydawca:: Katowice
Rok wydania:: 1977
Temat:: Uniwersytet Śląski (Katowice) - rozprawy akademickie.
Rachunek zdań.
Logika symboliczna i matematyczna.
Gatunek / Forma:: Rozprawy akademickie.

Rękopis (manuskrypt)

na półce

Szczegóły

Skocz do pozycji 18.

Tytuł pełny:: Wykłady z logiki formalnej. Cz. 1, Wstęp do zagadnień logiki, elementy teorii mnogości / Roman Suszko
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Wydanie:: Wydanie I
Rok wydania:: 1965
Temat:: Logika symboliczna i matematyczna.
Teoria zbiorów.

Książka

na półce

Szczegóły

Skocz do pozycji 19.

Tytuł pełny:: Wybrane rozdziały z matematyki dla studentów wyższych uczelni technicznych i ekonomicznych / Radosław Grzymkowski
Wydawca:: Gliwice : Wydaw. Pracowni Komputerowej Jacka Skalmierskiego
Rok wydania:: 1997
Temat:: Matematyka - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki akademickie.
Algebra - podręczniki akademickie.
Rachunek różniczkowy - podręczniki akademickie.
Rachunek całkowy - podręczniki akademickie.
Analiza wektorowa - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 20.

Tytuł pełny:: Wstęp do logiki matematycznej i teorii mnogości / Helena Rasiowa ; Instytut Matematyczny Polskiej Akademii Nauk
Wydawca:: Wrocław : Zakład Narodowy im. Ossolińskich
Rok wydania:: 1966
Seria:: Biblioteka Kursów Zastosowań Matematyki ; 8
Temat:: Logika symboliczna i matematyczna - podręczniki.
Teoria zbiorów - podręczniki.

Książka

na półce

Szczegóły

Skocz do pozycji 21.

Tytuł pełny:: Wstęp do logiki matematycznej. Cz. 1, Elementy algebry logiki zdań / Witold A. Pogorzelski, Tadeusz Prucnal
Wydawca:: Katowice : Uniwersytet Śląski
Rok wydania:: 1974
Seria:: Uniwersytet Śląski ; 97
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 22.

Tytuł pełny:: Wstęp do logiki i teorii mnogości : zbiór zadań z rozwiązaniami / Urszula Dudziak, Anna Król
Wydawca:: Rzeszów : Wydawnictwo Uniwersytetu Rzeszowskiego
Rok wydania:: 2014
Temat:: Logika symboliczna i matematyczna - zadania i ćwiczenia - podręczniki akademickie.
Teoria zbiorów - zadania i ćwiczenia - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 23.

Tytuł pełny:: Wstęp do logiki i teorii mnogości / Urszula Dudziak, Józef Drewniak
Wydawca:: Rzeszów : Wydawnictwo Uniwersytetu Rzeszowskiego
Rok wydania:: 2012
Temat:: Logika - podręczniki akademickie.
Teoria zbiorów - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 24.

Tytuł pełny:: Wstęp do logiki algorytmicznej : (skrypt dla studentów IV i V roku studiów matematycznych sekcji numerycznej). Cz. 2, Elementy systemu przechowywania i wyszukiwania informacji / Andrzej Biela
Wydawca:: Katowice : UŚ
Rok wydania:: 1983
Seria:: Skrypty Uniwersytetu Śląskiego, 0209-0473 ; nr 331
Temat:: Algorytmy - podręczniki akademickie.
Logika - informatyka - podręczniki akademickie.
Programowanie logiczne - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki akademickie.
Wyszukiwanie informacji - podręczniki akademickie.
Bazy danych - zarządzanie - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 25.

Tytuł pełny:: Wstęp do logiki algorytmicznej : (skrypt dla studentów IV i V roku studiów matematycznych sekcji numerycznej). Cz. 1, Logiczna teoria programowania / Andrzej Biela
Wydawca:: Katowice : Uniwersytet Śląski
Rok wydania:: 1983
Seria:: Skrypty Uniwersytetu Śląskiego, 0209-0473 ; nr 331
Temat:: Algorytmy - podręczniki akademickie.
Logika - informatyka - podręczniki akademickie.
Programowanie logiczne - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 26.

Tytuł pełny:: Wstęp do logiki algorytmicznej : (skrypt dla studentów IV i V roku studiów matematycznych sekcji zastosowań i informatyki) / Andrzej Biela
Wydawca:: Katowice : Wydaw. Uniwersytetu Śląskiego
Wydanie:: Wyd. 2
Rok wydania:: 1995
Seria:: Skrypty Uniwersytetu Śląskiego, 0239-6432 ; nr 511
Temat:: Algorytmy - podręczniki akademickie.
Logika - informatyka - podręczniki akademickie.
Programowanie logiczne - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 27.

Tytuł pełny:: Wstęp do analizy matematycznej, logiki i teorii mnogości / Inga Jędrzejewska, Elżbieta Kotlicka, Bożena Szkopińska
Wydawca:: Łódź : Wydawnictwo Politechniki Łódzkiej
Wydanie:: Wyd. 2
Rok wydania:: 2009
Seria:: Skrypty dla Szkół Wyższych / Politechnika Łódzka
Temat:: Analiza matematyczna - podręczniki akademickie.
Analiza matematyczna - zadania i ćwiczenia.
Logika symboliczna i matematyczna - podręczniki akademickie.
Logika symboliczna i matematyczna - zadania i ćwiczenia.
Teoria zbiorów - podręczniki akademickie.
Teoria zbiorów - zadania i ćwiczenia.

Książka

na półce

Szczegóły

Skocz do pozycji 28.

Tytuł pełny:: Wprowadzenie do logiki i teorii mnogości / Ludwik Borkowski
Wydawca:: Lublin : TN KUL
Rok wydania:: 1991
Seria:: Źródła i Monografie / Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego ; 133
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.
Logika - podręczniki akademickie.
Teoria zbiorów - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 29.

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 30.

Tytuł pełny:: Wprowadzenie do logiki formalnej : podręcznik dla humanistów / Barbara Stanosz
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Wydanie:: Wydanie I
Rok wydania:: 1985
Temat:: Logika - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki.

Książka

na półce

Szczegóły

Skocz do pozycji 31.

Tytuł pełny:: Wprowadzenie do logik adaptywnych / Marek Nasieniewski
Wydawca:: Toruń : Wydawnictwo Naukowe Uniwersytetu Mikołaja Kopernika
Rok wydania:: 2008
Temat:: Logika matematyczna nieklasyczna.
Sprzeczność.

Książka

na półce

Szczegóły

Skocz do pozycji 32.

Tytuł pełny:: Wort und Gegenstand = (Word and object) / Willard Van Orman Quine ; aus dem englischen übersetz von Joachim Schulte ; in Zusammenarbeit mit Dieter Birnbacher
Wydawca:: Stuttgart : Philipp Reclam jun
Rok wydania:: cop. 1980
Seria:: Universal-Bibliothek Nr. 9987 [6]
Temat:: Filozofia języka.
Logika symboliczna i matematyczna.
Semantyka (filozofia).

Książka

na półce

Szczegóły

Skocz do pozycji 33.

Tytuł pełny:: Word problems : decision problems and the Burnside problem in group theory / ed. by W. W. Boone, F. B. Cannonito, R. C. Lyndon
Wydawca:: Amsterdam ; London : North-Holland Publishing Company
Rok wydania:: 1973
Seria:: Studies in Logic and the Foundations of Mathematics vol. 71
Temat:: Logika symboliczna i matematyczna.
Teoria rekursywności.
Teoria grup.
Twierdzenie Gödla.

Książka

na półce

Szczegóły

Skocz do pozycji 34.

Tytuł pełny:: Word and object / Willard Van Orman Quine
Wydawca:: Cambridge ; London : The MIT Press
Rok wydania:: 1994
Temat:: Semantyka (filozofia).
Logika symboliczna i matematyczna.
Filozofia języka.

Książka

na półce

Szczegóły

Skocz do pozycji 35.

Tytuł pełny:: Word and object / Willard Van Orman Quine
Wydawca:: Cambridge, MA : The M.I.T. Press
Wydanie:: 9th printing
Rok wydania:: 1975
Seria:: The MIT Press Paperback Series ; 4
Temat:: Semantyka (filozofia).
Logika symboliczna i matematyczna.
Filozofia języka.

Książka

na półce

Szczegóły

Skocz do pozycji 36.

Tytuł pełny:: Word and object / Willard Van Orman Quine
Wydawca:: Cambridge (MA) : The M.I.T. Press
Wydanie:: 2nd print
Rok wydania:: 1964
Seria:: Studies in Communication
Temat:: Semantyka (filozofia).
Logika symboliczna i matematyczna.
Filozofia języka.

Książka

na półce

Szczegóły

Skocz do pozycji 37.

Tytuł pełny:: Wnioskowanie w logikach nieklasycznych : podstawy teoretyczne / Leonard Bolc [et al.]
Wydawca:: Warszawa : Akademicka Oficyna Wydawnicza PLJ
Rok wydania:: 1995
Seria:: Problemy Współczesnej Nauki : teoria i zastosowanie. Informatyka
Temat:: Logika matematyczna nieklasyczna.
Wnioskowanie.

Książka

na półce

Szczegóły

Skocz do pozycji 38.

Tytuł pełny:: Wissenschaflicher Briefwechsel / Gottlob Frege ; Herausgegeben, bearbeitet, eingeleitet und mit Anmerkungen versehen von Gottfried Gabriel, Hans Hermes, Friedrich Kambartel, Christian Thiel, Albert Veraart
Wydawca:: Hamburg : Felix Meiner Verlag
Rok wydania:: [2013]
Seria:: Nachgelassene Schriften und Wissenschaftlicher Briefwechsel / Gottlob Frege ; Bd. 2
Temat:: Matematyka - filozofia.
Logika.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 39.

Tytuł pełny:: Vyrazimost' v isčisleniâh vyskazyvanij / M. F. Raca ; pod red. A. D. Tajmanova ; Akademiâ Nauk SSRM. Ordena Trudovogo Krasnogo Znameni Institut Matematiki s Vyčislitel'nym Centrom
Wydawca:: Kišinev : Štiinca
Rok wydania:: 1991
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 40.

Tytuł pełny:: Vvedenie v matematičeskuû logiku. [T.] 1 / A. Čërč ; per. s ang. V. S. Černâvskogo ; pod red. V. A. Uspenskogo
Wydawca:: Moskva : Izdatelʹstvo Inostrannoj Literatury
Rok wydania:: 1960
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 41.

Tytuł pełny:: Vvedenie v matematičeskuû logiku / E. Mendel'son ; per. s angl. F. A. Kabakova ; pod red. S. I. Adâna
Wydawca:: Moskva: Nauka
Wydanie:: Izd. 3-e
Rok wydania:: 1984
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 42.

Tytuł pełny:: Vvedenie v matematčeskuû logiku / È. Mendel'son ; per. s angl. F. A. Kabakova ; pod red. S. I. Adâna
Wydawca:: Moskva : Nauka
Wydanie:: Izd. 2-e, ispravlennoe
Rok wydania:: 1976
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 43.

Tytuł pełny:: Vollständige Systeme modaler und intuitionistischer Logik / Kurt Schütte
Wydawca:: Berlin [etc.] : Springer-Verlag
Rok wydania:: 1968
Seria:: Ergebnisse der Mathematik und ihrer Grenzgebiete ; Bd. 42
Temat:: Logika symboliczna i matematyczna.
Modalność (logika).
Logika intuicjonistyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 44.

Tytuł pełny:: Uzasadnianie zdań matematycznych w szkole / Grzegorz Bryll
Wydawca:: Opole : Wyższa Szkoła Inżynierska
Rok wydania:: 1982
Seria:: Zeszyty Naukowe / Wyższa Szkoła Inżynierska w Opolu. Matematyka ; z. 6
Temat:: Matematyka - studia i nauczanie.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 45.

Tytuł pełny:: Unification types in logic / Wojciech Dzik
Wydawca:: Katowice : Wydawnictwo Uniwersytetu Śląskiego
Rok wydania:: 2007
Seria:: Prace Naukowe Uniwersytetu Śląskiego w Katowicach, 0208-6336 ; nr 2554
Temat:: Unifikacja (logika).
Logika matematyczna nieklasyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 46.

Tytuł pełny:: Unconventional logics in decision making / Andrew Schumann
Wydawca:: Rzeszów : University of Information Technology and Management in Rzeszów
Rok wydania:: 2014
Temat:: Rachunek ekonomiczny.
Podejmowanie decyzji.
Algebra Boole'a.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 47.

Tytuł pełny:: Über das Erkennen logisch äquivalenter Ausdrucksweisen durch Schüler im Mathematikunterricht / Hans Bock, Werner Walsch
Wydawca:: Halle (Saale) : Martin-Luther-Universität Halle-Wittenberg
Rok wydania:: 1966
Seria:: Wissenschaftliche Beiträge der Martin-Luther-Universität Halle-Wittenberg. Reihe E. Pädagogische Beiträge ; 2
Temat:: Logika symboliczna i matematyczna.
Matematyka - studia i nauczanie.

Książka

na półce

Szczegóły

Skocz do pozycji 48.

Tytuł pełny:: Two applications of logic to mathematics / by Gaisi Takeuti
Wydawca:: [Tokyo] : Iwanami Shoten ; [Princeton] : Princeton University Press
Rok wydania:: 1978
Seria:: Publications of the Mathematical Society of Japan ; 13
Kanô Memorial Lectures ; 3
Temat:: Logika symboliczna i matematyczna.
Algebra Boole'a.

Książka

na półce

Szczegóły

Skocz do pozycji 49.

Tytuł pełny:: Twierdzenie Gödla i jego interpretacje filozoficzne : od mechanicyzmu do postmodernizmu / Stanisław Krajewski
Wydawca:: Warszawa : Wydaw. Instytutu Filozofii i Socjologii PAN
Rok wydania:: 2003
Seria:: Umysł : prace z filozofii i kognitywistyki
Temat:: Gödel, Kurt (1906-1978) - krytyka i interpretacja.
Gödel, Kurt (1906-1978) - filozofia.
Twierdzenie Gödla.
Logika symboliczna i matematyczna.
Matematyka - filozofia - 20 w.
Sztuczna inteligencja - filozofia.
Mechanicyzm (filozofia).
Postmodernizm.

Książka

na półce

Szczegóły

Skocz do pozycji 50.

Tytuł pełny:: Truth-functional logic / by J.A. Faris
Wydawca:: New York : The Free Press of Glencoe
Rok wydania:: cop. 1962
Seria:: Monographs in Modern Logic
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 51.

Tytuł pełny:: Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics / ed. by Hugues Leblanc
Wydawca:: Amsterdam ; London : North-Holland
Rok wydania:: 1973
Seria:: Studies in Logic and the Foundations of Mathematics ; vol. 68
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 52.

Tytuł pełny:: Truth functions and the problem of their realization by two-terminal graphs / A. Ádám
Wydawca:: Budapest : Akadémiai Kiadó
Rok wydania:: 1968
Temat:: Teoria grafów.
Logika symboliczna i matematyczna.
Funkcje (matematyka).

Książka

na półce

Szczegóły

Skocz do pozycji 53.

Tytuł pełny:: Triangular norms / Erich Peter Klement, Radko Mesiar and Endre Pap
Wydawca:: Dordrecht : Kluwer Academic Publishers
Rok wydania:: cop. 2000
Seria:: Trends in Logic : Studia Logica Library vol. 8
Temat:: Logika symboliczna i matematyczna.
Zbiory rozmyte.
Logika wielowartościowa.

Książka

na półce

Szczegóły

Skocz do pozycji 54.

Tytuł pełny:: A transition to abstract mathematics : mathematical thinking and writing / Randall B. Maddox
Wydawca:: Amsterdam [etc.] : Elsevier Academic Press
Wydanie:: 2nd ed
Rok wydania:: cop. 2009
Temat:: Teoria dowodu.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 55.

Tytuł pełny:: Tractatus logico-philosophicus / Ludwig Wittgenstein ; przełożył i wstępem opatrzył Bogusław Wolniewicz
Wydawca:: Warszawa : Wydawnictwo Naukowe PWN
Wydanie:: Wyd. 5, 1 dodr
Rok wydania:: 2006
Seria:: Biblioteka Klasyków Filozofii
Temat:: Semantyka (filozofia).
Logika symboliczna i matematyczna.
Filozofia języka.

Książka

na półce

Szczegóły

Skocz do pozycji 56.

Tytuł pełny:: Tractatus logico-philosophicus / Ludwig Wittgenstein ; przełożył i wstępem opatrzył Bogusław Wolniewicz
Wydawca:: Warszawa : Wydawnictwo Naukowe PWN
Wydanie:: Wyd. 5
Rok wydania:: 2004
Seria:: Biblioteka Klasyków Filozofii
Temat:: Semantyka (filozofia).
Filozofia języka.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 57.

Tytuł pełny:: Tractatus logico-philosophicus / Ludwig Wittgenstein ; przeł.ożył i wstępem opatrzył Bogusław Wolniewicz
Wydawca:: Warszawa : Wydawnictwo Naukowe PWN
Wydanie:: Wyd. 4
Rok wydania:: 2002
Seria:: Biblioteka Klasyków Filozofii
Temat:: Wittgenstein, Ludwig (1889-1951). Tractatus logico-philosophicus
Semantyka (filozofia).
Filozofia języka.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 58.

Tytuł pełny:: Tractatus logico-philosophicus / Ludwig Wittgenstein ; przełożył i wstępem opatrzył Bogusław Wolniewicz
Wydawca:: Warszawa : Wydawnictwo Naukowe PWN
Wydanie:: Wyd. 3
Rok wydania:: 2000
Seria:: Biblioteka Klasyków Filozofii
Temat:: Wittgenstein, Ludwig (1889-1951). Tractatus logico-philosophicus
Logika symboliczna i matematyczna.
Filozofia języka.
Semantyka (filozofia).

Książka

na półce

Szczegóły

Skocz do pozycji 59.

Tytuł pełny:: Tractatus logico-philosophicus / Ludwig Wittgenstein ; przełożył i wstępem opatrzył Bogusław Wolniewicz
Wydawca:: Warszawa : Wydawnictwo Naukowe PWN
Wydanie:: Wyd. 2 popr
Rok wydania:: 1997
Seria:: Biblioteka Klasyków Filozofii
Temat:: Wittgenstein, Ludwig (1889-1951). Tractatus logico-philosophicus
Logika symboliczna i matematyczna.
Filozofia języka.
Semantyka (filozofia).

Książka

na półce

Szczegóły

Skocz do pozycji 60.

Tytuł pełny:: Tractatus logico-philosophicus / Ludwig Wittgenstein ; przełożył Bogusław Wolniewicz
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Rok wydania:: 1970
Seria:: Biblioteka Klasyków Filozofii
Temat:: Filozofia języka.
Logika symboliczna i matematyczna.
Semantyka (filozofia).

Książka

na półce

Szczegóły

Skocz do pozycji 61.

Tytuł pełny:: Tractatus logico-philosophicus / by Ludwig Wittgenstein ; with an introd. by Bertrand Russell
Wydawca:: London : Kegan Paul, Trench, Trubner ; New York : Harcourt, Brace
Wydanie:: Repr
Rok wydania:: 1933
Seria:: International Library of Psychology, Philosophy and Scientific Method
Temat:: Filozofia języka.
Logika symboliczna i matematyczna.
Semantyka (filozofia).

Książka

na półce

Szczegóły

Skocz do pozycji 62.

Tytuł pełny:: Topics in engineering logic / by Morton Nadler
Wydawca:: Oxford [etc.] : Pergamon Press
Rok wydania:: 1962
Temat:: Logika symboliczna i matematyczna.
Komputery - projektowanie i konstrukcja.

Książka

na półce

Szczegóły

Skocz do pozycji 63.

Tytuł pełny:: Three views of logic : mathematics, philosophy, and computer science / Donald W. Loveland, Richard E. Hodel, S. G. Sterrett
Wydawca:: Princeton ; Oxford : Princeton University Press
Rok wydania:: cop. 2014
Temat:: Teoria dowodu.
Funkcje obliczalne.
Logika matematyczna nieklasyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 64.

Tytuł pełny:: The theory of ultrafilters / W. W. Comfort, S. Negrepontis
Wydawca:: Berlin [etc.] : Springer-Verlag
Rok wydania:: 1974
Seria:: Grundlehren der Mathematischen Wissenschaften ; Bd. 211
Temat:: Logika symboliczna i matematyczna.
Ultrafiltry (matematyka).

Książka

na półce

Szczegóły

Skocz do pozycji 65.

Tytuł pełny:: The theory of models : proceedings of the 1963 International Symposium at Berkeley / edited by. J. W. Addison, Leon Henkin, Alfred Tarski
Wydawca:: Amsterdam ; London : North-Holland Publishing Company
Wydanie:: 3rd printing
Rok wydania:: 1972
Seria:: Studies in Logic and the Foundations of Mathematics, 0049-237X
Temat:: Logika symboliczna i matematyczna - konferencje.
Modele matematyczne - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 66.

Tytuł pełny:: Théorie des ensembles. Chap. 1-2 / N. Bourbaki
Wydawca:: Paris : Hermann
Wydanie:: 2ème éd
Rok wydania:: 1960
Seria:: [Les structures fondamentales de l'analyse] / N. Bourbaki ; liv. 1
Éléments de mathématique / par N. Bourbaki ; fasc. 17 pt. 1
Actualités Scientifiques et Industrielles ; 1212
Temat:: Logika symboliczna i matematyczna.
Teoria zbiorów.

Książka

na półce

Szczegóły

Skocz do pozycji 67.

Tytuł pełny:: Théorie des ensembles. Chap. 1-2 / N. Bourbaki
Wydawca:: Paris : Hermann
Rok wydania:: 1954
Seria:: Les structures fondamentales de l'analyse / N. Bourbaki ; liv. 1
Éléments de mathématique / par N. Bourbaki ; fasc. 17 pt. 1
Actualités Scientifiques et Industrielles ; 1212
Temat:: Teoria zbiorów.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 68.

Tytuł pełny:: Term logic with choice operator / Hans Hermes
Wydawca:: Berlin [etc.] : Springer-Verlag
Wydanie:: [1st Engl. ed. rev. and enl. from 1st Germ. ed. publ. 1965]
Rok wydania:: 1970
Seria:: Lecture Notes in Mathematics : a collection of informal reports and seminars ; 6
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 69.

Tytuł pełny:: Teorja dowodu. T. 2 / [Jan Sleszyński] ; podług wykładów uniwersyteckich prof. dr. Jana Sleszyńskiego oprac. S. K. Zaremba
Wydawca:: Kraków : nakładem Kółka Matematyczno-Fizycznego U. U. J
Rok wydania:: 1929
Seria:: Wykłady uniwersyteckie / Jan Sleszyński ; t. 2
Temat:: Logika matematyczna nieklasyczna.
Teoria dowodu.

Książka

na półce

Szczegóły

Skocz do pozycji 70.

Tytuł pełny:: Teorja dowodu. T. 1 / [Jan Sleszyński] ; podług wykładów uniwersyteckich prof. dr. Jana Sleszyńskiego oprac. S. K. Zaremba
Wydawca:: Kraków : nakładem Kółka Matematyczno-Fizycznego U. U. J., ([Kraków] : Drukarnia Uniwersytetu Jagiellońskiego pod zarządem Józefa Filipowskiego)
Rok wydania:: 1925
Seria:: Wykłady uniwersyteckie / Jan Sleszyński ; t. 1
Temat:: Teoria dowodu.
Logika starożytna.
Logika matematyczna nieklasyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 71.

Tytuł pełny:: Teoriâ numeracij / Û. L. Eršov
Wydawca:: Moskva : Nauka
Rok wydania:: 1977
Seria:: Matematičeskaâ Logika i Osnovaniâ Matematiki
Temat:: Algorytmy.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 72.

Tytuł pełny:: Teoria nauk formalnych według Jana Łukasiewicza / Juliusz Wyznakiewicz
Wydawca:: Toruń : Adam Marszałek
Rok wydania:: 2001
Temat:: Łukasiewicz, Jan Leopold (1878-1956) - krytyka i interpretacja.
Łukasiewicz, Jan Leopold (1878-1956) - wkład do filozofii nauki.
Logika symboliczna i matematyczna - historia.
Matematyka - filozofia.
Filozofia logiki - 20 w.
Matematyka - filozofia - 20 w.
Twierdzenie Gödla.

Książka

na półce

Szczegóły

Skocz do pozycji 73.

Tytuł pełny:: Teoriâ modelej / G. Kejsler, Č. Č. Čèn ; perevod s angl. S. S. Gončarova [et al.] ; pod red. Û. L. Eršova i A. D. Tajmanova
Wydawca:: Moskva : Mir
Rok wydania:: 1977
Temat:: Teoria modeli.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 74.

Tytuł pełny:: Teoriâ množestv i funkcij : matematičeskaâ logika i algebra / P. S. Novikov ; Akademiâ Nauk SSSR. Otdelenie Matematiki Ordena Lenina Matematičeskij Institut im. V. A. Steklova
Wydawca:: Moskva : "Nauka"
Rok wydania:: 1979
Seria:: Izbrannye trudy / P. S. Novikov
Temat:: Logika symboliczna i matematyczna.
Teoria zbiorów.
Algebra.

Książka

na półce

Szczegóły

Skocz do pozycji 75.

Tytuł pełny:: Teoria mnozestv / pod red. V. N. Grisina ; perevod s ang. B. G. Kanovea
Wydawca:: Moskva : "Nauka"
Rok wydania:: 1982
Seria:: Spravocnaa kniga po matematiceskoj logike : v cetyreh castah / pod red. Dz. Barvajsa ; C. 2
Temat:: Teoria zbiorów - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 76.

Tytuł pełny:: Teoretyczne problemy logiki praktycznej / Wojciech Suchoń
Wydawca:: Kraków : Wydawnictwo Uniwersytetu Jagiellońskiego
Rok wydania:: 2008
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 77.

Tytuł pełny:: Temporal logic of programs / Fred Kröger
Wydawca:: Berlin ; New York : Springer-Verlag
Rok wydania:: 1987
Seria:: EATCS Monographs on Theoretical Computer Science, 1431-2646 ; vol. 8
Temat:: Logika temporalna.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 78.

Tytuł pełny:: Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings / B. Banieqbal, H. Barringer, A. Pnueli (eds.)
Wydawca:: Berlin : Springer
Rok wydania:: 1989
Seria:: Lecture Notes in Computer Science ; 398
Temat:: Logika symboliczna i matematyczna - konferencje.
Projektowanie systemów - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 79.

Tytuł pełny:: Tableau systems for first order number theory and certain higher order theories / Sue Toledo
Wydawca:: Berlin [etc.] : Springer-Verlag
Rok wydania:: 1975
Seria:: Lecture Notes in Mathematics, 0075-8434 ; 447
Temat:: Logika symboliczna i matematyczna.
Teoria dowodu.
Rachunek kwantyfikatorów.
Teoria liczb.

Książka

na półce

Szczegóły

Skocz do pozycji 80.

Tytuł pełny:: Symbolic logic / Irving M. Copi
Wydawca:: New York : The Macmillan Company ; London : Collier Macmillan Publishers
Wydanie:: 5th ed
Rok wydania:: cop. 1979
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 81.

Tytuł pełny:: Svobodnye algebry neklassičeskih logik / R. Š. Grigoliá ; Akademiá Nauk Gruzinskoj SSR. Institut Kibernetiki
Wydawca:: Tbilisi : "Mecniereba"
Rok wydania:: 1987
Temat:: Logika symboliczna i matematyczna - historia.

Książka

na półce

Szczegóły

Skocz do pozycji 82.

Tytuł pełny:: Subalgebras of diagonalizable algebras of theories containing arithmetic / V. Yu. Shavrukov ; Polska Akademia Nauk. Instytut Matematyczny
Wydawca:: Warszawa : Instytut Matematyczny PAN
Rok wydania:: 1993
Seria:: Dissertationes Mathematicae = Rozprawy Matematyczne, 0012-3862 ; 323
Temat:: Logika symboliczna i matematyczna.
Modalność (logika).

Książka

na półce

Szczegóły

Skocz do pozycji 83.

Tytuł pełny:: Studies in the history of mathematical logic / ed. by Stanisław J. Surma ; Polish Academy of Sciences. Institute of Philosophy and Sociology
Wydawca:: Wrocław [etc.] : Zakład Narodowy im. Ossolińskich - Wydawnictwo PAN
Rok wydania:: 1973
Temat:: Logika symboliczna i matematyczna - historia.

Książka

na półce

Szczegóły

Skocz do pozycji 84.

Tytuł pełny:: Studia logiczne : wybór / Ludwik Borkowski
Wydawca:: Lublin : TN KUL
Rok wydania:: 1990
Seria:: Rozprawy Wydziału Filozoficznego / Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego ; 51
Temat:: Logika.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 85.

Tytuł pełny:: Student solutions manual to accompany Discrete mathematics : mathematical reasoning and proof with puzzles, patterns, and games / Douglas E. Ensley, J. Winston Craweley
Wydawca:: Hoboken : John Wiley & Sons. Inc
Temat:: Logika symboliczna i matematyczna - zadania i ćwiczenia.
Gry matematyczne - zadania i ćwiczenia.
Informatyka - matematyka - zadania i ćwiczenia.

Książka

na półce

Szczegóły

Skocz do pozycji 86.

Tytuł pełny:: La structure algébrique des théories mathématiques / par L. Henkin
Wydawca:: Paris : Gauthier-Villars ; Louvain : E. Nauwelaerts
Rok wydania:: 1956
Seria:: Collection de Logique Mathématique. Serie A, Monographies Réunies par Mme P. Février, 0530-7554 ; Nº 11
Temat:: Algebra abstrakcyjna.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 87.

Tytuł pełny:: Stanovlenie idej matematičeskoj logiki / N. I. Stâžkin ; Akademia Nauk SSSR. Institut Filosofii
Wydawca:: Moskva : Izdatel'stvo Nauka
Rok wydania:: 1964
Temat:: Logika symboliczna i matematyczna.
Logika symboliczna i matematyczna - historia.

Książka

na półce

Szczegóły

Skocz do pozycji 88.

Tytuł pełny:: Spravočnaâ kniga po matematičeskoj logike. Č. 4, Teoriâ dokazatel'stv i konstruktivnaâ matematika / pod red. Dž. Barvajsa ; per. s angl. G. V. Davydova, G. E. Minca ; pod red. V. P. Orevkova
Wydawca:: Moskva : "Nauka" Glavnaâ Redakciâ Fiziko-Matematičeskoj Literatury
Rok wydania:: 1983
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 89.

Tytuł pełny:: Spravočnaâ kniga po matematičeskoj logike. Č. 1, Teoriâ modelej / pod. red. Dž. Barvajsa ; per. s angl. S. S. Gončarova [et al.] pod red. Û. L. Ersova, E. A. Palûtina, A. D. Tajmanova
Wydawca:: Moskva : "Nauka" Glavnaâ redakciâ fiziko-matematičeskoj literatury
Rok wydania:: 1982
Temat:: Teoria modeli.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 90.

Tytuł pełny:: Specifying message passing and time-critical systems with temporal logic / Ron Koymans
Wydawca:: Berlin : Springer
Rok wydania:: 1992
Seria:: Lecture Notes in Computer Science ; 651
Temat:: Logika symboliczna i matematyczna.
Transmisja danych.

Książka

na półce

Szczegóły

Skocz do pozycji 91.

Tytuł pełny:: Some homological constructions in representation theory / Pavle Pandžić. Characteristic classes and bisimulations of generalized Veltman models / Mladen Vuković
Wydawca:: Graz : Universität Graz
Rok wydania:: 1999
Seria:: Grazer Mathematische Berichte, 1016-7692 ; Nr. 341
Temat:: Logika matematyczna nieklasyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 92.

Tytuł pełny:: Solvable cases of the decision problem / by W. Ackermann
Wydawca:: Amsterdam : North-Holland Publishing Co
Rok wydania:: 1954
Seria:: Studies in Logic and the Foundations of Mathematics
Temat:: Logika symboliczna i matematyczna.
Podejmowanie decyzji - matematyka.

Książka

na półce

Szczegóły

Skocz do pozycji 93.

Tytuł pełny:: Słowo i przedmiot / Willard Van Orman Quine ; przełozył Cezary Cieśliński
Wydawca:: Warszawa : Fundacja Aletheia
Temat:: Język i mowa.
Logika symboliczna i matematyczna.
Semantyka (filozofia).

Książka

na półce

Szczegóły

Skocz do pozycji 94.

Tytuł pełny:: Simplified independence proofs : Boolean valued models of set theory / J. Barkley Rosser
Wydawca:: New York ; London : Academic Press
Wydanie:: 2nd print
Rok wydania:: cop. 1970
Seria:: Pure and Applied Mathematics : a series of monographs and textbooks ; vol. 31
Temat:: Algebra Boole'a.
Teoria zbiorów.
Logika symboliczna i matematyczna.
Aksjomatyczna teoria zbiorów.

Książka

na półce

Szczegóły

Skocz do pozycji 95.

Tytuł pełny:: Simple relation algebras / Steven Givant, Hajnal Andréka
Wydawca:: Cham : Springer
Temat:: Algebra.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 96.

Tytuł pełny:: Simple program schemes and formal languages / Joost Engelfriet
Wydawca:: Berlin : Springer-Verlag
Rok wydania:: 1974
Seria:: Lecture Notes in Computer Science ; 20
Temat:: Języki formalne.
Komputery - programowanie.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 97.

Tytuł pełny:: Simmetričeskaâ konstruktivnaâ logika / I. D. Zaslavskij
Wydawca:: Erevan : Izdatel'stvo Akademii Nauk Armânskoj SSR
Rok wydania:: 1978
Temat:: Logika symboliczna i matematyczna.
Matematyka konstruktywna.

Książka

na półce

Szczegóły

Skocz do pozycji 98.

Tytuł pełny:: A shorter model theory / Wilfrid Hodges
Wydawca:: Cambridge : Cambridge University Press
Wydanie:: Repr
Rok wydania:: 2003
Temat:: Teoria modeli.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 99.

Tytuł pełny:: Sets, models and recursion theory : proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium Leicester, august-september 1965 / ed. by John N. Crossley
Wydawca:: Amsterdam : Nort-Holland Publishing Company
Rok wydania:: 1967
Seria:: Studies in Logic and the Foundations of Mathematics
Temat:: Teoria zbiorów.
Logika symboliczna i matematyczna.
Teoria zbiorów - konferencje.
Logika symboliczna i matematyczna - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 100.

Tytuł pełny:: Set theory, arithmetic, and foundations of mathematics : theorems, philosophies / ed. by Juliette Kennedy, Roman Kossak
Wydawca:: Cambridge : Cambridge University Press : Association for Symbolic Logic
Rok wydania:: 2011
Temat:: Teoria zbiorów.
Logika symboliczna i matematyczna.
Matematyka - filozofia.
Książki elektroniczne.

Dokument elektroniczny

na półce

Szczegóły

Informacja

Wyszukujesz frazę "Logika symboliczna i matematyczna." wg kryterium: Temat

Źródło danych

Położenie

Lokalizacja

Autor

Temat

Rok publikacji

Język

Kraj

Typ dokumentu