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

Skocz do pozycji 1.

Tytuł pełny:: An outline of mathematical logic : fundamental results and notions explained with all details / by Andrzej Grzegorczyk : [translated Olgierd Wojtasiewicz and Wacław Zawadowski]
Wydawca:: Dordrecht : D. Reidel Publishing Company ; Warszawa : PWN-Polish Scientific Publishers
Rok wydania:: 1974
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 2.

Tytuł pełny:: Elementy logiki matematycznej / Stanisław Gołąb, Zofia Krygowska, Jan Leśniak
Wydawca:: Kraków : Wyższa Szkoła Pedagogiczna
Wydanie:: Wyd. 2
Rok wydania:: 1958
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 3.

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

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

Tytuł pełny:: Logiczny wstęp do matematyki / Stefan Turnau ; Wyższa Szkoła Pedagogiczna im. Komisji Edukacji Narodowej w Krakowie
Wydawca:: Kraków : Wydaw. Naukowe WSP
Rok wydania:: 1974
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 6.

Tytuł pełny:: Logiczny wstęp do matematyki / Stefan Turnau ; Wyższa Szkoła Pedagogiczna im. Komisji Edukacji Narodowej w Krakowie
Wydawca:: Kraków : Wydawnictwo Naukowe WSP
Wydanie:: Wyd. 2, popr
Rok wydania:: 1984
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 7.

Tytuł pełny:: Osnovaniâ matematičeskoj logiki / Haskell B. Karri ; per. s angl. V. V. Dončenko ; pod red. Û. A. Gasteva
Wydawca:: Moskva : Izdatel'stvo Mir
Rok wydania:: 1969
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 8.

Tytuł pełny:: Logika matematyczna / Marian Panczakiewicz ; Uniwersytet Śląski w Katowicach
Wydawca:: Katowice : Uniwersytet Śląski
Rok wydania:: 1970
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 9.

Tytuł pełny:: Introduction to mathematical logic : set theory computable functions model theory / Jerome Malitz
Wydawca:: New York [etc.] : Springer-Verlag
Rok wydania:: cop. 1979
Seria:: Undergraduate Texts in Mathematics
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 10.

Tytuł pełny:: Logika matematyczna : kurs uniwersytecki / Andrzej Mostowski
Wydawca:: Warszawa ; Wrocław : [s.n.], (Wrocław : Druk. Uniwersytetu i Politechniki we Wrocławiu)
Rok wydania:: 1948
Seria:: Monografie Matematyczne ; t. 18
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 11.

Tytuł pełny:: Logika matematyczna / Zofia Adamowicz, Paweł Zbierski
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Rok wydania:: 1991
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 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 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:: Logika matematyczna / Stanisław Gołąb, Zofia Krygowska, Jan Leśniak
Wydawca:: Łódź ; Kraków : Państwowe Wydawnictwo Naukowe
Rok wydania:: 1955
Seria:: Skrypty dla Szkół Wyższych / Wyższa Szkoła Pedagogiczna w Krakowie
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 15.

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

Tytuł pełny:: Logika matematyczna / Jerzy Słupecki, Katarzyna Hałkowska, Krystyna Piróg-Rzepecka
Wydawca:: Warszawa : Wydawnictwo Naukowe PWN
Wydanie:: Wyd. 2 popr. i uzup
Rok wydania:: 1999
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 17.

Tytuł pełny:: Logika ogólna : wybrane zagadnienia / Kazimiera Dyrda
Wydawca:: Kielce : Instytut Matematyki AŚ : Wydawnictwo Gens
Wydanie:: Wydanie drugie rozszerzone
Rok wydania:: 2001
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 18.

Tytuł pełny:: Elementarne wprowadzenie w logikę formalną / Małgorzata Porębska, Wojciech Suchoń
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Rok wydania:: 1991
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 19.

Tytuł pełny:: Logika dla inżynierów / A. W. Mostowski i Z. Pawlak
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Rok wydania:: 1970
Seria:: BNI Biblioteka Naukowa Inżyniera
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 20.

Tytuł pełny:: Logic, semantics, metamathematics : papers from 1923 to 1938 / by Alfred Tarski ; transl. by J. H. Woodger
Wydawca:: Oxford : Clarendon Press
Rok wydania:: cop. 1956
Temat:: Metamatematyka - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 21.

Tytuł pełny:: Podstawy logiki / Tadeusz Batóg ; Uniwersytet im. Adama Mickiewicza w Poznaniu
Wydawca:: Poznań : Wydaw. Naukowe UAM
Wydanie:: Wyd. 2, popr. i uzup
Rok wydania:: 1994
Temat:: Logika - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 22.

Tytuł pełny:: Elementy logiki matematycznej i teorii mnogości / Jerzy Słupecki, Ludwik Borkowski
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Wydanie:: Wydanie czwarte
Rok wydania:: 1984
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.
Teoria zbiorów - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 23.

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

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

Tytuł pełny:: Elementarny wykład logiki formalnej z ćwiczeniami komputerowymi / Małgorzata Porębska, Wojciech Suchoń
Wydawca:: Kraków : Towarzystwo Autorów i Wydawców Prac Naukowych "Universitas"
Wydanie:: Wyd. 2
Rok wydania:: 1999
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.
Logika - informatyka - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 26.

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

Tytuł pełny:: Geometria Laguerre'a / Henryk Guściora
Wydawca:: Gdańsk : Wydaw. Uniwersytetu Gdańskiego
Rok wydania:: 1975
Seria:: Uniwersytet Gdański / Skrypty Uczelniane
Temat:: Geometria analityczna - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 28.

Tytuł pełny:: Elementy logiki matematycznej i teorii mnogości : materiały do badań eksperymentalnych : dla studentów matematyki kierunku nauczycielskiego / Wanda Nowak
Wydawca:: Poznań : Zakład Matematyki Wyższego Studium Nauczycielskiego Uniwersytetu im. Adama Mickiewicza
Rok wydania:: 1973
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.
Teoria zbiorów - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 29.

Tytuł pełny:: Elementy logiki matematycznej i teorii mnogości / Jerzy Słupecki, Ludwik Borkowski
Wydawca:: Warszawa : Państwowe Wydaw. Naukowe
Wydanie:: Wyd. 2 popr. i uzup
Rok wydania:: 1966
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.
Teoria zbiorów - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 30.

Tytuł pełny:: Elementy logiki matematycznej i teorii mnogości / Jerzy Słupecki, Ludwik Borkowski
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Wydanie:: Wydanie I
Rok wydania:: 1963
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.
Teoria zbiorów - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 31.

Tytuł pełny:: Elementy logiki matematycznej i teorii mnogości / Jerzy Słupecki, Katarzyna Hałkowska, Krystyna Piróg-Rzepecka
Wydawca:: Opole : Wyższa Szkoła Pedagogiczna im. Powstańców Śląskich
Rok wydania:: 1974
Seria:: Wydawnictwa Skryptowe / Wyższa Szkoła Pedagogiczna im. Powstańców Śląskich w Opolu
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.
Teoria zbiorów - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 32.

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

Tytuł pełny:: Elementy logiki i teorii mnogości / Agnieszka Wojciechowska
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Wydanie:: Wydanie I
Rok wydania:: 1979
Temat:: Teoria zbiorów - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 34.

Tytuł pełny:: Logika i teoria mnogości : podręcznik dla kierunku matematyki wyższych szkół pedagogicznych i specjalności nauczycielskiej uniwersytetów / Jerzy Słupecki, Katarzyna Hałkowska, Krystyna Piróg-Rzepecka
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Rok wydania:: 1978
Temat:: 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:: Geodezja / Józef Kożuchowski
Wydawca:: Wrocław : Redakcja Wydawnictw Politechniki Wrocławskiej
Rok wydania:: 1973
Seria:: Skrypty / Politechnika Wrocławska
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.
Teoria zbiorów - podręczniki akademickie.
Geodezja - podręczniki.

Książka

na półce

Szczegóły

Skocz do pozycji 36.

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

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

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

Tytuł pełny:: Logika i teoria mnogości : podręcznik dla kierunku matematyki wyższych szkół pedagogicznych i specjalności nauczycielskiej uniwersytetów / Jerzy Słupecki, Katarzyna Hałkowska, Krystyna Piróg-Rzepecka
Wydawca:: Warszawa : Wydawnictwa Naukowe PWN
Wydanie:: Wyd. 2 popr
Rok wydania:: 1994
Temat:: Teoria zbiorów - podręczniki akademickie.
Logika - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 40.

Tytuł pełny:: Elementy teorii poznania, logiki formalnej i metodologii nauk / Tadeusz Kotarbiński
Wydawca:: Wrocław : Zakład Narodowy im. Ossolińskich - Wydawnictwo
Wydanie:: Wyd. 2, przejrz
Rok wydania:: 1961
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.
Teoria poznania - podręczniki akademickie.
Nauka - metodologia - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 41.

Tytuł pełny:: Elementy teorii poznania, logiki formalnej i metodologii nauk / Tadeusz Kotarbiński ; [red. odpowiedzialny t. Jan Woleński ; red. nauk. Danuta Miller] ; Polska Akademia Nauk. Komitet Nauk Filozoficznych
Wydawca:: Wrocław [etc.] : Zakład Narodowy im. Ossolińskich. Wydawnictwo Polskiej Akademii Nauk
Rok wydania:: 1990
Seria:: Dzieła wszystkie / Tadeusz Kotarbiński ; kom. red. Wojciech Gasparski (przewodn.) [et al.] ; 1
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.
Teoria poznania - podręczniki akademickie.
Nauka - metodologia - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 42.

Tytuł pełny:: Elementy teorii poznania, logiki formalnej i metodologii nauk / Tadeusz Kotarbiński
Wydawca:: Warszawa : Państwowe Wydaw. Naukowe
Wydanie:: Wyd. 3
Rok wydania:: 1986
Temat:: Teoria poznania - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki akademickie.
Nauka - metodologia - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 43.

Tytuł pełny:: Elementy logiki, teorii mnogości i algebry / Jan Krempa, Barbara Mażbic-Kulma
Wydawca:: Warszawa : Wydawnictwa Naukowo-Techniczne
Wydanie:: Wydanie I
Rok wydania:: 1977
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.
Teoria zbiorów - podręczniki akademickie.
Algebra Boole'a - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 44.

Tytuł pełny:: Elementarny wykład logiki formalnej z ćwiczeniami komputerowymi / Małgorzata Porębska, Wojciech Suchoń
Wydawca:: Kraków : Universitas
Rok wydania:: 1996
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.
Logika symboliczna i matematyczna - zadania i ćwiczenia.
Logika - informatyka - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 45.

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

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

Tytuł pełny:: Matematyka. T. 1 / Sławomir Dorosiewicz, Jacek Kłopotowski, Dariusz Kołatkowski ; pod red. naukową Sławomira Dorosiewicza
Wydawca:: Warszawa : Szkoła Główna Handlowa
Rok wydania:: 2002
Temat:: Algebra liniowa - podręczniki akademickie.
Teoria zbiorów - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki akademickie.
Funkcje (matematyka) - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 48.

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

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

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

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

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

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

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

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

Tytuł pełny:: Klasyczny rachunek zdań : zarys teorii / Witold A. Pogorzelski
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Wydanie:: Wydanie drugie, zmienione i rozszerzone
Rok wydania:: 1973
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.
Rachunek zdań.

Książka

na półce

Szczegóły

Skocz do pozycji 57.

Tytuł pełny:: Klasyczny rachunek zdań : zarys teorii / Witold A. Pogorzelski
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Rok wydania:: 1969
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.
Rachunek zdań.

Książka

na półce

Szczegóły

Skocz do pozycji 58.

Tytuł pełny:: Klasyczny rachunek zdań : zarys teorii / Witold A. Pogorzelski
Wydawca:: Warszawa : Państwowe Wydaw. Naukowe
Wydanie:: Wyd. 3
Rok wydania:: 1975
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.
Rachunek zdań.

Książka

na półce

Szczegóły

Skocz do pozycji 59.

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

Tytuł pełny:: Funkcje rekurencyjne i elementy metamatematyki : problemy zupełności, rozstrzygalności, twierdzenia Gödla / Roman Murawski
Wydawca:: Poznań : Wydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza
Wydanie:: Wyd. 2 nie zm
Rok wydania:: 1991
Seria:: Seria Matematyka / Uniwersytet im. Adama Mickiewicza w Poznaniu, 0551-6625 ; nr 11
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.
Metamatematyka - podręczniki akademickie.
Logika symboliczna i matematyczna.
Metamatematyka.

Książka

na półce

Szczegóły

Skocz do pozycji 61.

Tytuł pełny:: Funkcje rekurencyjne i elementy metamatematyki : problemy zupełności, rozstrzygalności, twierdzenia Gödla / Roman Murawski
Wydawca:: Poznań : Wydawnictwo Naukowe UAM
Rok wydania:: 1990
Seria:: Matematyka / Uniwersytet im. Adama Mickiewicza w Poznaniu, 0551-6625 ; nr 11
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.
Metamatematyka - podręczniki akademickie.
Logika symboliczna i matematyczna.
Metamatematyka.

Książka

na półce

Szczegóły

Skocz do pozycji 62.

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

Tytuł pełny:: Logika matematyczna / Jerzy Słupecki, Katarzyna Hałkowska, Krystyna Piróg-Rzepecka ; Opolskie Towarzystwo Przyjaciół Nauk
Wydawca:: Warszawa ; Wrocław : Państwowe Wydaw. Naukowe
Rok wydania:: 1976
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.
Logika matematyczna
Matematyka
Gatunek / Forma:: Książki
Publikacje dydaktyczne
Podręcznik
Praca zbiorowa

Książka

na półce

Szczegóły

Skocz do pozycji 64.

Tytuł pełny:: Conceptual models in mathematics : sets, logic and probability / by K. E. Hirst, F. Rhodes
Wydawca:: London : George Allen and Unwin Ltd
Rok wydania:: cop. 1971
Seria:: Mathematical Studies : a Series for Teachers and Students ; No. 5
Temat:: Teoria zbiorów.
Logika symboliczna i matematyczna.
Rachunek prawdopodobieństwa.
Teoria zbiorów - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki akademickie.
Rachunek prawdopodobieństwa - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 65.

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

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

Tytuł pełny:: Elementy logiki matematycznej i teorii mnogości / Jerzy Słupecki, Ludwik Borkowski
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Wydanie:: Wyd. 3. popr
Rok wydania:: 1969
Temat:: Teoria zbiorów - podręczniki akademickie.
Logika symboliczna i matematyczna.
Teoria zbiorów.

Książka

na półce

Szczegóły

Informacja

Wyszukujesz frazę "Logika symboliczna i matematyczna - podręczniki akademickie." wg kryterium: Temat

Źródło danych

Położenie

Lokalizacja

Autor

Temat

Rok publikacji

Język

Kraj

Typ dokumentu