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

Skocz do pozycji 1.

Tytuł pełny:: Logika / Graham Priest ; tłumaczenie Elżbieta Drozdowska
Wydawca:: Łódź : Wydawnictwo Uniwersytetu Łódzkiego
Wydanie:: Wydanie I
Rok wydania:: 2023
Seria:: Krótkie Wprowadzenie
Temat:: Logika.
Logika matematyczna nieklasyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 2.

Tytuł pełny:: The semantic conception of logic : essays on consequence, invariance, and meaning / edited by Gil Sagi, Jack Woods
Wydawca:: Cambridge [i pozostałe] : Cambridge University Press
Wydanie:: First paperback edition
Rok wydania:: 2023
Temat:: Logika.
Logika matematyczna nieklasyczna.
Semantyka.
Teoria liczb.
Semantyka (filozofia).
Językoznawstwo - informatyka.
Gatunek / Forma:: Książki
Publikacje popularnonaukowe
Praca zbiorowa
Opracowanie

Książka

na półce

Szczegóły

Skocz do pozycji 3.

Tytuł pełny:: Modern mathematical logic / Joseph Mileti
Wydawca:: Cambridge ; New York ; Melbourne ; New Delhi ; Singapore : Cambridge University Press
Wydanie:: First published
Rok wydania:: 2023
Seria:: Cambridge Mathematical Textbooks
Temat:: Językoznawstwo stosowane - badania - metodologia.
Logika symboliczna i matematyczna - podręczniki akademickie.
Gatunek / Forma:: Książki
Publikacje dydaktyczne
Praca zbiorowa
Opracowanie
Podręczniki akademickie

Książka

na półce

Szczegóły

Skocz do pozycji 4.

Tytuł pełny:: Prawda, fałsz i hipoteza : o pewnych nieklasycznych logikach i ich zastosowaniach / Eugeniusz Żabski
Wydawca:: Wrocław : Oficyna Wydawnicza Arboretum
Rok wydania:: 2022
Temat:: Logika.
Logika matematyczna nieklasyczna.
Paradoks.
Antynomia.

Książka

na półce

Szczegóły

Skocz do pozycji 5.

Tytuł pełny:: Mathematics and its logics : philosophical essays / Geoffrey Hellman
Wydawca:: Cambridge : Cambridge University Press
Wydanie:: First paperback edition
Rok wydania:: 2022
Temat:: Logika symboliczna i matematyczna.
Matematyka - filozofia.
Gatunek / Forma:: Książki
Publikacje popularnonaukowe
Opracowanie

Książka

na półce

Szczegóły

Skocz do pozycji 6.

Tytuł pełny:: Finite mathematics as the foundation of classical mathematics and quantum theory : with applications to gravity and particle theory / Felix Lev
Wydawca:: Cham : Springer Nature
Rok wydania:: © 2021
Temat:: Teoria kwantowa.
Grawitacja.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 7.

Tytuł pełny:: Introduction to fuzzy logic / James K. Peckol
Wydawca:: Hoboken : Wiley
Wydanie:: First published
Rok wydania:: 2021
Temat:: Logika rozmyta.
Zbiory rozmyte.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 8.

Tytuł pełny:: The Big Typescript TS 213 : (fragmenty) / Ludwig Wittgenstein ; wybór, przekład, wstęp Piotr Dehnel
Wydawca:: Wrocław : Wydawnictwo Naukowe Dolnośląskiej Szkoły Wyższej
Rok wydania:: copyright © 2019
Seria:: Seria Wittgensteinowska
Temat:: Semantyka (filozofia).
Logika symboliczna i matematyczna.
Matematyka - filozofia.

Książka

na półce

Szczegóły

Skocz do pozycji 9.

Tytuł pełny:: Introduction to discrete mathematics via logic and proof / Calvin Jongsma
Wydawca:: Cham : Springer
Rok wydania:: © 2019
Seria:: Undergraduate Texts in Mathematics, 0172-6056
Temat:: Informatyka - matematyka.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 10.

Tytuł pełny:: "Podążamy tymi samymi lub podobnymi drogami myślowymi" : tematyka korespondencji logicznej Gottloba Fregego z Giuseppem Peanem, Davidem Hilbertem i Bertrandem Russellem / Gabriela Besler
Wydawca:: Katowice : Wydawnictwo Uniwersytetu Śląskiego
Wydanie:: Wydanie I
Rok wydania:: 2019
Seria:: Prace Naukowe Uniwersytetu Śląskiego w Katowicach, 0208-6336 ; nr 3852
Temat:: Frege, Gottlob (1848-1925) - korespondencja.
Peano, Giuseppe (1858-1932) - korespondencja.
Hilbert, David (1862-1943) - korespondencja.
Russell, Bertrand (1872-1970) - korespondencja.
Logika symboliczna i matematyczna - 1870-1914.

Książka

na półce

Szczegóły

Skocz do pozycji 11.

Tytuł pełny:: Infinity and the mind : the science and philosophy of the infinite / with a new preface by the author Rudy Rucker
Wydawca:: Princeton ; Oxford : Princeton University Press
Rok wydania:: 2019
Temat:: Logika symboliczna i matematyczna.
Twierdzenie Gödla - informatyka.
Nieskończoność.

Książka

na półce

Szczegóły

Skocz do pozycji 12.

Tytuł pełny:: Elementy teorii mnogości, logiki i teorii zbiorów przybliżonych / Marek Sikora, Beata Sikora
Wydawca:: Gliwice : Wydawnictwo Politechniki Śląskiej
Rok wydania:: 2019
Temat:: Teoria zbiorów - podręczniki.
Logika symboliczna i matematyczna - podręczniki.

Książka

na półce

Szczegóły

Skocz do pozycji 13.

Tytuł pełny:: Elementy logiki matematycznej i metodologii nauk ścisłych / Stanisław Jaśkowski ; wstęp i opracowanie naukowe Andrzej Indrzejczak
Wydawca:: Łódź : Wydawnictwo Uniwersytetu Łódźkiego
Wydanie:: Wydanie I
Rok wydania:: 2018
Temat:: Logika symboliczna i matematyczna.
Nauka - metodologia.

Książka

na półce

Szczegóły

Skocz do pozycji 14.

Tytuł pełny:: A beginner's further guide to mathematical logic / Raymond Smullyan
Wydawca:: Singapore [et al.] : World Scientific
Rok wydania:: cop. 2017
Temat:: Logika symboliczna i matematyczna.
Logika matematyczna nieklasyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 15.

Tytuł pełny:: Nachgelassene Schriften / unter Mitwirkung von Gottfried Gabriel und Walburga Rödding bearbeitet, eingeleitet und mit Anmerkungen versehen von Hans Hermes, Friedrich Kambartel, Friedrich Kaulbach
Wydawca:: Hamburg : Felix Meiner Verlag
Rok wydania:: [2017]
Seria:: Nachgelassene Schriften und Wissenschaftlicher Briefwechsel / Gottlob Frege ; Bd. 1
Temat:: Matematyka - filozofia.
Logika.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 16.

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

Książka

na półce

Szczegóły

Skocz do pozycji 17.

Tytuł pełny:: Egzystencjalizm logiczny : metafizyczne studium nad Traktatem logiczno-filozoficznym Wittgensteina / Wojciech Krysztofiak
Wydawca:: Warszawa : Semper
Rok wydania:: 2017
Temat:: Wittgenstein, Ludwig (1889-1951). Tractatus logico-philosophicus
Egzystencjalizm.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 18.

Tytuł pełny:: Podstawy matematyki / Ian Stewart, David Tall ; przełożyli Urszula i Mariusz Seweryńscy
Wydawca:: Warszawa : Prószyński Media
Rok wydania:: 2017
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 19.

Tytuł pełny:: Logika języka nauki i jego pogranicze : język matematyki a język fizyki / Ryszard Krasnodębski ; przedmową opatrzył Jacek Otlewski
Wydawca:: Wrocław : Wydawnictwo Uniwersytetu Ekonomicznego
Rok wydania:: 2016
Temat:: Logika symboliczna i matematyczna.
Matematyka - język.
Fizyka - filozofia.

Książka

na półce

Szczegóły

Skocz do pozycji 20.

Tytuł pełny:: A general algebraic semantics for sentential logics / Josep Maria Font, Ramon Jansana
Wydawca:: Cambridge : Cambridge University Press
Wydanie:: 2nd ed
Rok wydania:: cop. 2016
Seria:: Lecture Notes in Logic ; 7
Temat:: Logika algebraiczna.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 21.

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

Tytuł pełny:: Logic and discrete mathematics : a concise introduction / Willem Conradie, Valentin Goranko
Wydawca:: Chichester : John Wiley and Sons
Rok wydania:: cop. 2015
Temat:: Logika symboliczna i matematyczna - podręczniki.
Informatyka - matematyka - podręczniki.

Książka

na półce

Szczegóły

Skocz do pozycji 23.

Tytuł pełny:: Logic in computer science II / editor: Silvia Ghilezan
Wydawca:: Beograd : Matematički Institut SANU
Rok wydania:: 2015
Seria:: Zbornik Radova ; 18 (26)
Temat:: Logika - informatyka.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 24.

Tytuł pełny:: Od logiki i liczb naturalnych do liczb zespolonych i wielomianów / Michał Lorens, Piotr Pusz
Wydawca:: Rzeszów : Wydawnictwo Uniwersytetu Rzeszowskiego
Rok wydania:: 2015
Temat:: Logika symboliczna i matematyczna.
Wielomiany.
Liczby.

Książka

na półce

Szczegóły

Skocz do pozycji 25.

Tytuł pełny:: Set theory : with an introduction to real point sets / Abhijit Dasgupta
Wydawca:: New York [etc.] : Birkhäuser/Springer
Rok wydania:: cop. 2014
Temat:: Teoria zbiorów - zadania i ćwiczenia.
Analiza matematyczna.
Logika symboliczna i matematyczna - zadania i ćwiczenia.

Książka

na półce

Szczegóły

Skocz do pozycji 26.

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

Tytuł pełny:: Osobliwość logiki intuicjonistycznej / Bożena Czernecka-Rej ; Katolicki Uniwersytet Lubelski Jana Pawła II. Wydział Filozofii. Katedra Logiki
Wydawca:: Lublin : Wydawnictwo KUL
Rok wydania:: 2014
Temat:: Logika intuicjonistyczna.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 28.

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

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

Tytuł pełny:: Pisma semantyczne / Gottlob Frege ; z jęz. niem. przeł. oraz wstępem i przypisami opatrzył Bogusław Wolniewicz
Wydawca:: Warszawa : Wydawnictwo Naukowe PWN
Wydanie:: Wyd. 2
Rok wydania:: 2014
Seria:: Biblioteka Klasyków Filozofii
Temat:: Frege, Gottlob (1848-1925) - krytyka i interpretacja.
Semantyka.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 31.

Tytuł pełny:: An invitation to abstract mathematics / Béla Bajnok
Wydawca:: New York [etc.] : Springer
Rok wydania:: cop. 2013
Seria:: Undergraduate Texts in Mathematics, 0172-6056
Temat:: Logika symboliczna i matematyczna.
Matematyka.

Książka

na półce

Szczegóły

Skocz do pozycji 32.

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

Tytuł pełny:: Podstawy teorii części / Andrzej Pietruszczak
Wydawca:: Toruń : Wydawnictwo Naukowe Uniwersytetu Mikołaja Kopernika
Rok wydania:: 2013
Temat:: Całość i część (filozofia).
Logika symboliczna i matematyczna - filozofia.

Książka

na półce

Szczegóły

Skocz do pozycji 34.

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

Tytuł pełny:: Identyczność znaku czy znak identyczności ? / pod redakcją Joanny Golińskiej-Pilarek i Anny Wójtowicz
Wydawca:: Warszawa : Wydawnictwa Uniwersytetu Warszawskiego
Rok wydania:: 2012
Temat:: Omyła, Mieczysław (1941- ) - księgi pamiątkowe.
Logika symboliczna i matematyczna - konferencje.
Rachunek zdań - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 36.

Tytuł pełny:: Introduction to mathematical logic / Michał Walicki
Wydawca:: New Jersey [etc.] : World Scientific
Rok wydania:: cop. 2012
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 37.

Tytuł pełny:: Papers on logic and rationality : Festschrift in honour of Andrzej Grzegorczyk / ed. by Kazimierz Trzęsicki, Stanisław Krajewski, Jan Woleński
Wydawca:: Bialystok : University of Bialystok
Rok wydania:: 2012
Seria:: Studies in Logic, Grammar and Rhetoric, 0860-150X ; 27 (40)
Temat:: Grzegorczyk, Andrzej (1922-2014) - księgi pamiątkowe.
Logika symboliczna i matematyczna.
Logika informatyczna.
Język i logika.
Logika symboliczna i matematyczna - konferencje.
Logika informatyczna - konferencje.
Język i logika - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 38.

Tytuł pełny:: Aksjomatyzowalność pewnych wariantów rachunku typów synktatycznych Lambeka jako systemów redukcyjnych / Wojciech Zielonka
Wydawca:: Olsztyn : Wydawnictwo Uniwersytetu Warmińsko-Mazurskiego
Rok wydania:: 2012
Seria:: Rozprawy i Monografie / Uniwersytet Warmińsko-Mazurski w Olsztynie = Dissertations and Monographs / University of Warmia and Mazury in Olsztyn, 1509-3018 ; 176
Temat:: Logika matematyczna nieklasyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 39.

Tytuł pełny:: Elementy logiki i teorii mnogości w zadaniach / Wiktor Marek, Janusz Onyszkiewicz
Wydawca:: Warszawa : Wydawnictwo Naukowe PWN
Wydanie:: Wyd. 12, 6 dodr
Rok wydania:: 2012
Temat:: Logika symboliczna i matematyczna - zadania i ćwiczenia.
Teoria zbiorów - zadania i ćwiczenia.

Książka

na półce

Szczegóły

Skocz do pozycji 40.

Tytuł pełny:: O pojęciu dowodu w matematyce / Krzysztof Wójtowicz ; Fundacja na Rzecz Nauki Polskiej
Wydawca:: Toruń : Wydawnictwo Naukowe Uniwersytetu Mikołaja Kopernika
Rok wydania:: 2012
Seria:: Monografie FNP
Temat:: Logika symboliczna i matematyczna.
Matematyka - filozofia.
Dowód (filozofia).
Teoria dowodu.

Książka

na półce

Szczegóły

Skocz do pozycji 41.

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

Tytuł pełny:: A logic-driven analysis of the decision making process / Tomasz Terlikowski
Wydawca:: Warszawa : Wydawnictwo Uniwersytetu Kardynała Stefana Wyszyńskiego
Rok wydania:: 2012
Temat:: Podejmowanie decyzji - modele matematyczne.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 43.

Tytuł pełny:: An introduction to practical formal methods using temporal logic / Michael Fisher
Wydawca:: Chichester : Wiley
Rok wydania:: cop. 2011
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 44.

Tytuł pełny:: Handbook of logic and language / [ed. by] Johan van Benthem, Alice ter Meulen
Wydawca:: Amsterdam [etc.] : Elsevier
Wydanie:: 2nd ed
Rok wydania:: 2011
Seria:: Elsevier Insights
Temat:: Językoznawstwo - podręczniki.
Logika symboliczna i matematyczna - podręczniki.
Przetwarzanie języka naturalnego (informatyka) - podręczniki.
Semantyka - podręczniki.

Książka

na półce

Szczegóły

Skocz do pozycji 45.

Tytuł pełny:: Defending the axioms : on the philosophical foundations of set theory / Penelope Maddy
Wydawca:: Oxford : Oxford University Press
Rok wydania:: 2011
Temat:: Logika symboliczna i matematyczna.
Matematyka - filozofia.
Aksjomatyczna teoria zbiorów - filozofia.

Książka

na półce

Szczegóły

Skocz do pozycji 46.

Tytuł pełny:: Koncepcja przekonania w ujęciu semiotyczno-pragmatycznym : Charles S. Peirce (1839-1914) / Piotr Janik
Wydawca:: Kraków : Akademia Ignatianum : Wydawnictwo WAM
Rok wydania:: 2011
Seria:: U Universum Philosophiae
Temat:: Peirce, Charles Sanders (1839-1914) - krytyka i interpretacja.
Logika symboliczna i matematyczna.
Semiotyka - filozofia.
Pragmatyzm.
Przekonanie (filozofia).

Książka

na półce

Szczegóły

Skocz do pozycji 47.

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

Skocz do pozycji 48.

Tytuł pełny:: Algoritmičeskie voprosy algebry i logiki : sbornik statej : k 80-letiû so dnâ roždeniâ akademika Sergeâ Ivanoviča Adâna / [otvetstv. red. toma L. D. Beklemišev] ; Rossijskaâ Akademiâ Nauk
Wydawca:: Moskva : Maik "Nauka/Interperiodika"
Rok wydania:: 2011
Seria:: Trudy Matematičeskogo Instituta imeni V. A. Steklova, 0371-9685 ; 274
Temat:: Logika symboliczna i matematyczna.
Algebra.
Teoria zbiorów.

Książka

na półce

Szczegóły

Skocz do pozycji 49.

Tytuł pełny:: Matematyka dyskretna i logika / Slavian Radev ; Collegium Mazovia Innowacyjna Szkoła Wyższa w Siedlcach
Wydawca:: Siedlce : Collegium Mazovia Innowacyjna Szkoła Wyższa
Rok wydania:: 2010
Temat:: Informatyka - matematyka.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 50.

Tytuł pełny:: Lectures in logic and set theory. Vol. 1, Mathematical logic / George Tourlakis
Wydawca:: Cambridge [etc.] : Cambridge University Press
Wydanie:: 1 paperback ed. 2010
Rok wydania:: cop. 2010
Seria:: Cambridge Studies in Advanced Mathematics ; 82
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 51.

Tytuł pełny:: Algebra : elementy z zastosowaniami w ekonomii / Tadeusz Ostrowski
Wydawca:: Gorzów Wielkopolski : Wydawnictwo Państwowej Wyższej Szkoły Zawodowej
Rok wydania:: 2010
Seria:: Pomoce dydaktyczne / Państwowa Wyższa Szkoła Zawodowa w Gorzowie Wielkopolskim
Temat:: Algebra liniowa - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki akademickie.
Teoria zbiorów - podręczniki akademickie.
Ciągi (matematyka) - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 52.

Tytuł pełny:: Introduction to mathematical logic / Elliott Mendelson
Wydawca:: Boca Raton [etc.] : Chapman & Hall Book/CRC Press
Wydanie:: 5th ed
Rok wydania:: cop. 2009
Seria:: Discrete Mathematics and its Applications
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 53.

Tytuł pełny:: The logic book / Merrie Bergmann, James Moor, Jack Nelson
Wydawca:: Boston [etc.] : McGraw-Hill Higher Education
Wydanie:: 5th ed
Rok wydania:: cop. 2009
Temat:: Logika symboliczna i matematyczna.
Predykat (logika).

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:: Logic in computer science / ed. Zoran Ognjanović
Wydawca:: Beograd : Matematički institut SANU
Rok wydania:: 2009
Seria:: Zbornik Radova - Matematički Institut ; 12 (20)
Temat:: Programowanie logiczne.
Logika informatyczna.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 56.

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

Tytuł pełny:: Równania w wolnych półgrupach / Lidia Badura
Wydawca:: Katowice
Rok wydania:: 2009
Temat:: Uniwersytet Śląski (Katowice) - rozprawy akademickie.
Logika symboliczna i matematyczna.
Algebra uniwersalna.
Gatunek / Forma:: Rozprawy akademickie.

Rękopis (manuskrypt)

na półce

Szczegóły

Skocz do pozycji 58.

Tytuł pełny:: The Review of Symbolic Logic / Association for Symbolic Logic
Wydawca:: Cambridge : Cambridge University Press
Rok wydania:: 2008-
Temat:: Logika symboliczna i matematyczna - czasopisma.

Czasopismo

na półce

Szczegóły

Skocz do pozycji 59.

Tytuł pełny:: Elementy logiki matematycznej / Jan Łukasiewicz ; oprac. M. Presburger
Wydawca:: Poznań : Wydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza
Rok wydania:: cop. 2008
Temat:: Logika symboliczna i matematyczna.
Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 60.

Tytuł pełny:: Rachunek sensu jednej i dwu zmiennych / Jan Długosz ; [oprac. Stanisław Ziemiański]
Wydawca:: Kraków : Wyższa Szkoła Filozoficzno-Pedagogiczna IGNATIANUM : Wydawnictwo WAM
Rok wydania:: 2008
Temat:: Logika symboliczna i matematyczna.
Rachunek zdań.

Książka

na półce

Szczegóły

Skocz do pozycji 61.

Tytuł pełny:: Mathematical logic with special reference to the natural numbers / S. W. P. Steen
Wydawca:: New York : Cambridge University Press
Rok wydania:: 2008
Temat:: Logika symboliczna i matematyczna.
Liczby naturalne.

Książka

na półce

Szczegóły

Skocz do pozycji 62.

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

Tytuł pełny:: Mathematical logic / George Tourlakis
Wydawca:: Hoboken : A John Wiley & Sons
Rok wydania:: cop. 2008
Temat:: Logika symboliczna i matematyczna - podręczniki.

Książka

na półce

Szczegóły

Skocz do pozycji 64.

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

Tytuł pełny:: Elementy logiki i teorii mnogości w zadaniach / Wiktor Marek, Janusz Onyszkiewicz
Wydawca:: Warszawa : Wydawnictwo Naukowe PWN
Wydanie:: Wyd. 12, (3 dodr.)
Rok wydania:: 2008
Temat:: Logika symboliczna i matematyczna - zadania i ćwiczenia.
Teoria zbiorów - zadania i ćwiczenia.

Książka

na półce

Szczegóły

Skocz do pozycji 66.

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

Tytuł pełny:: The method of Socratic proofs for normal modal propositional logics / Dorota Leszczyńska
Wydawca:: Poznań : Wydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza
Rok wydania:: 2007
Seria:: Seria Filozofia i Logika / Uniwersytet im. Adama Mickiewicza w Poznaniu, 0083-4246 ; nr 101
Temat:: Socrates (470-399 p.n.e.) - wpływ.
Modalność (logika).
Pytanie (logika).
Logika symboliczna i matematyczna.
Zdanie (logika).

Książka

na półce

Szczegóły

Skocz do pozycji 68.

Tytuł pełny:: An introduction to Gödel's theorems / Peter Smith
Wydawca:: Cambridge : University Press
Rok wydania:: 2007
Seria:: Cambridge Introductions to Philosophy
Temat:: Gödel, Kurt (1906-1978).
Twierdzenie Gödla.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 69.

Tytuł pełny:: The mathematics of logic : a guide to completeness theorems and their appplications / Richard Kaye
Wydawca:: Cambridge : University Press
Rok wydania:: 2007
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 70.

Tytuł pełny:: Proceduralny model języka : językoznawstwo z pozycji teorii modeli nauk empirycznych / Dorota Zielińska
Wydawca:: Kraków : Wydawnictwo Uniwersytetu Jagiellońskiego
Rok wydania:: 2007
Temat:: Językoznawstwo kognitywne.
Językoznawstwo - metodologia.
Modele matematyczne.
Modele lingwistyczne.
Lingwistyka matematyczna.
Komunikacja.
Językoznawstwo porównawcze.
Język angielski - przymiotniki.
Język polski - przymiotniki.
Język polski - semantyka.
Język angielski - semantyka.
Logika matematyczna nieklasyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 71.

Tytuł pełny:: Elementy logiki i teorii mnogości dla informatyków / Zbigniew Huzar
Wydawca:: Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej
Rok wydania:: 2007
Temat:: Teoria zbiorów - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 72.

Tytuł pełny:: Mathematical problems from applied logic II : logics for the XXIst century / ed. by Dov M. Gabbay, Sergei S. Goncharov and Michael Zakharyaschev
Wydawca:: New York : Springer
Rok wydania:: cop. 2007
Seria:: International Mathematical Series, 1571-5485 ; vol. 5
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 73.

Tytuł pełny:: Pisma semantyczne / Rudolf Carnap ; przeł. Tadeusz Ciecierski [et al.]
Wydawca:: Warszawa : Fundacja Aletheia
Rok wydania:: 2007
Temat:: Semantyka.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 74.

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

Tytuł pełny:: Issues of decidability and tractability / guest ed.: Witold Marciszewski ; University of Białystok
Wydawca:: Białystok : Wydawnictwo Uniwersytetu w Białymstoku
Rok wydania:: 2006
Seria:: Studies in Logic, Grammar and Rhetoric, 0860-150X ; 9 (22)
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 76.

Tytuł pełny:: Discrete mathematics : mathematical reasoning and proof with puzzles, patterns, and games / Douglas E. Ensley, J. Winston Crawley
Wydawca:: Hoboken : John Wiley & Sons. Inc
Rok wydania:: 2006
Temat:: Logika symboliczna i matematyczna.
Gry matematyczne.
Informatyka - matematyka.

Książka

na półce

Szczegóły

Skocz do pozycji 77.

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

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

Tytuł pełny:: Mathematical problems from applied logic I : logics for the XXIst century / ed. by Dov M. Gabbay, Sergi S. Goncharov and Michael Zakharyaschev
Wydawca:: New York : Springer
Rok wydania:: cop. 2006
Seria:: International Mathematical Series, 1571-5485 ; vol. 4
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 80.

Tytuł pełny:: Elementy logiki i teorii mnogości w zadaniach / Wiktor Marek, Janusz Onyszkiewicz
Wydawca:: Warszawa : Wydawnictwo Naukowe PWN
Wydanie:: Wyd. 12, (2 dodr.)
Rok wydania:: 2006
Temat:: Logika symboliczna i matematyczna - zadania i ćwiczenia.
Teoria zbiorów - zadania i ćwiczenia.

Książka

na półce

Szczegóły

Skocz do pozycji 81.

Tytuł pełny:: Język i poznanie. [2], Wybór pism z lat 1945-1963 / Kazimierz Ajdukiewicz
Wydawca:: Warszawa : Wydawnictwo Naukowe PWN
Wydanie:: Wyd. 3
Rok wydania:: 2006
Temat:: Ajdukiewicz, Kazimierz (1890-1963) - bibliografia.
Poznanie - filozofia.
Teoria poznania - 20 w.
Filozofia języka.
Językoznawstwo kognitywne.
Teoria poznania.
Logika symboliczna i matematyczna.
Nauka - metodologia.

Książka

na półce

Szczegóły

Skocz do pozycji 82.

Tytuł pełny:: Język i poznanie. [1], Wybór pism z lat 1920-1939 / Kazimierz Ajdukiewicz
Wydawca:: Warszawa : Wydawnictwo Naukowe PWN
Wydanie:: Wyd. 3
Rok wydania:: 2006
Temat:: Poznanie - filozofia.
Filozofia języka.
Teoria poznania - 20 w.
Językoznawstwo kognitywne.
Teoria poznania.
Logika symboliczna i matematyczna.
Nauka - metodologia.

Książka

na półce

Szczegóły

Skocz do pozycji 83.

Tytuł pełny:: Logika matematyczna w informatyce / Mordechai Ben-Ari ; z ang. przeł. Mirosława Miłkowska
Wydawca:: Warszawa : Wydawnictwa Naukowo-Techniczne
Wydanie:: Wyd. 2
Rok wydania:: 2006
Seria:: Klasyka Informatyki
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.
Informatyka - matematyka - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 84.

Tytuł pełny:: Dowody i refutacje : logika odkrycia matematycznego / Imre Lakatos ; tł. Michał Kozłowski i Katarzyna Lipszyc ; wstęp do wyd. polskiego Wacław Zawadowski ; dod. do wyd. polskiego Jan Baranowski
Wydawca:: Warszawa : TIKKUN
Rok wydania:: 2005
Temat:: Logika symboliczna i matematyczna.
Matematyka - filozofia.

Książka

na półce

Szczegóły

Skocz do pozycji 85.

Tytuł pełny:: The Oxford handbook of philosophy of mathematics and logic / ed. by Stewart Shapiro
Wydawca:: Oxford ; New York : Oxford University Press
Rok wydania:: 2005
Seria:: Oxford Handbooks in Philosophy
Temat:: Logika symboliczna i matematyczna - filozofia.
Matematyka - filozofia.

Książka

na półce

Szczegóły

Skocz do pozycji 86.

Tytuł pełny:: Gottlob Frege i problemy filozofii współczesnej / Arkadiusz Gut ; [Katolicki Uniwersytet Lubelski. Wydział Filozofii]
Wydawca:: Lublin : Wydawnictwo KUL
Rok wydania:: 2005
Temat:: Frege, Gottlob (1848-1925) - krytyka i interpretacja.
Frege, Gottlob (1848-1925).
Logika symboliczna i matematyczna.
Filozofia - 20 w.

Książka

na półce

Szczegóły

Skocz do pozycji 87.

Tytuł pełny:: Fixing Frege / John P. Burgess
Wydawca:: Princeton ; Oxford : Princeton University Press
Rok wydania:: 2005
Seria:: Princeton Monographs in Philosophy
Temat:: Frege, Gottlob (1848-1925).
Logika symboliczna i matematyczna.
Gatunek / Forma:: Książki elektroniczne.

Dokument elektroniczny

na półce

Szczegóły

Skocz do pozycji 88.

Tytuł pełny:: Logika matematyczna w informatyce / Mordechai Ben-Ari ; z ang. przeł. Mirosława Miłkowska
Wydawca:: Warszawa : Wydawnictwa Naukowo-Techniczne
Rok wydania:: 2005
Seria:: Klasyka Informatyki
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.
Informatyka - matematyka - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 89.

Tytuł pełny:: Model theory / Wilfred Hodges
Wydawca:: Cambridge : Cambridge University Press
Rok wydania:: 2004
Seria:: Encyclopedia of Mathematics and its Applications, 0953-4806 ; vol. 42
Temat:: Teoria modeli.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 90.

Tytuł pełny:: Elementy logiki i teorii mnogości w zadaniach / Wiktor Marek, Janusz Onyszkiewicz
Wydawca:: Warszawa : Wydawnictwo Naukowe PWN
Wydanie:: Wyd. 12
Rok wydania:: 2004
Temat:: Logika symboliczna i matematyczna - zadania i ćwiczenia.
Teoria zbiorów - zadania i ćwiczenia.

Książka

na półce

Szczegóły

Skocz do pozycji 91.

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

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

Tytuł pełny:: Lectures in logic and set theory. Vol. 2, Set theory / George Tourlakis
Wydawca:: Cambridge [etc.] : Cambridge University Press
Rok wydania:: cop. 2003
Seria:: Cambridge Studies in Advanced Mathematics ; 83
Temat:: Logika symboliczna i matematyczna.
Teoria zbiorów.

Książka

na półce

Szczegóły

Skocz do pozycji 94.

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

Tytuł pełny:: Elementy logiki matematycznej w przykładach i zadaniach / Jerzy Grochulski, Michał Matałycki ; Politechnika Częstochowska. Wydział Inżynierii Mechanicznej i Informatyki
Wydawca:: Częstochowa : Wydaw. PC
Rok wydania:: 2003
Seria:: Skrypty Politechniki Częstochowskiej, 1234-9909 ; 43
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.
Logika symboliczna i matematyczna - zadania i ćwiczenia.

Książka

na półce

Szczegóły

Skocz do pozycji 96.

Tytuł pełny:: Gödel : życie i logika / John L. Casti, Werner DePauli ; tł. Piotr Amsterdamski
Wydawca:: Warszawa : "CiS"
Rok wydania:: 2003
Seria:: Nauka u Progu Trzeciego Tysiąclecia ; t. 24
Temat:: Gödel, Kurt (1906-1978) - filozofia.
Gödel, Kurt (1906-1978).
Logika symboliczna i matematyczna.
Matematyka - 20 w.
Sztuczna inteligencja.
Twierdzenie Gödla.

Książka

na półce

Szczegóły

Skocz do pozycji 97.

Tytuł pełny:: Finite sets and Gödel's incompleteness theorems / S. Świerczkowski ; Polska Akademia Nauk. Instytut Matematyczny
Wydawca:: Warszawa : IM PAN
Rok wydania:: 2003
Seria:: Dissertationes Mathematicae, 0012-3862 ; 422
Temat:: Gödel, Kurt (1906-1978) - wkład do filozofii matematyki.
Logika symboliczna i matematyczna.
Twierdzenie Gödla.
Aksjomatyczna teoria zbiorów.

Książka

na półce

Szczegóły

Skocz do pozycji 98.

Tytuł pełny:: Logika i teoria mnogości : ujęcie systematyczno-historyczne / Kazimierz Trzęsicki
Wydawca:: Warszawa : Akademicka Oficyna Wydawnicza EXIT
Rok wydania:: 2003
Seria:: Problemy Współczesnej Nauki i Techniki. Informatyka
Temat:: Logika - podręczniki.
Teoria zbiorów - podręczniki.
Logika - zastosowania naukowe.
Logika symboliczna i matematyczna - podręczniki.

Książka

na półce

Szczegóły

Skocz do pozycji 99.

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

Tytuł pełny:: Matematičeskaâ logika i algebra : sbornik statej : k 100-letiû so dnâ roždeniâ akademika Petra Sergeeviča Novikova / pod red. S. I. Adâna ; Rossijskaâ Akademiâ Nauk
Wydawca:: Moskva : "Nauka" - Maik "Nauka/Interperiodika"
Rok wydania:: 2003
Seria:: Trudy Matematičeskogo Instituta imeni V. A. Steklova ; 242
Temat:: Logika symboliczna i matematyczna.
Algebra.

Książka

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