Logika matematyczna
Ukryj filtry
Sortowanie
Źródło opisu
Książki, czasopisma i zbiory specjalne
(119)
Forma i typ
Książki
(118)
Publikacje dydaktyczne
(2)
Publikacje naukowe
(2)
Czasopisma
(1)
Dostępność
dostępne
(103)
tylko na miejscu
(14)
nieokreślona
(4)
wypożyczone
(2)
Placówka
Wypożyczalnia
(109)
Biblioteka Międzywydziałowa
(12)
Biblioteka WEiZ
(1)
Magazyn
(1)
Autor
Grzegorczyk Andrzej (1922-2014)
(7)
Hałkowska Katarzyna
(5)
Pogorzelski Witold A
(5)
Słupecki Jerzy (1904-1987)
(5)
Grzymkowski Radosław
(4)
Pokaż więcej ...
Marek Wiktor
(4)
Piróg-Rzepecka Krystyna
(4)
Rasiowa Helena (1917-1994)
(4)
Stanosz Barbara
(4)
Słupecki Jerzy
(4)
Onyszkiewicz Janusz (1937- )
(3)
Piróg-Rzepecka Krystyna (1929- )
(3)
Smirnov V. A
(3)
Biela Andrzej
(2)
Borkowski Ludwik
(2)
Kruszyński Henryk
(2)
Lewandowski Marceli
(2)
Piekarczyk Stanisław
(2)
Przybyłowicz Marcin
(2)
Przymusińska-Rowicka Jadwiga
(2)
Sikorski Roman (1920-1983)
(2)
Stankiewicz Włodzimierz
(2)
Adamski Marian
(1)
Akimov A. P
(1)
Asser G. von
(1)
Augustynek Zdzisław
(1)
Aumiaux Michel
(1)
Barwise Jon
(1)
Basch Michal
(1)
Batóg Tadeusz
(1)
Bektaev Kaldybaj R
(1)
Ben-Ari Mordechai (1948- )
(1)
Bereśniewicz-Rajca Olga (1929- )
(1)
Berkeley Edmund C
(1)
Beth Evert Willem (1908-1964)
(1)
Bezhanishvili Guram
(1)
Bird Otto A. (1914-2009)
(1)
Bizám György
(1)
Bocheński Józef Maria. (1902-1995)
(1)
Bolc Leonard (1934- )
(1)
Borkowski Ludwik (1914-1993)
(1)
Brodskij I. N
(1)
Bromirski Jerzy (1915-1989)
(1)
Bryll Grzegorz (1935- )
(1)
Buszkowski Wojciech
(1)
Church Alonzo (1903-1995)
(1)
Danilov Ju. A
(1)
Font Josep Maria
(1)
Fudali Stanisław (1929-2015)
(1)
Gallin Daniel
(1)
Gerasimova I. A
(1)
Gerster Hans-Dieter
(1)
Ginsberg Matthew L. (1955- )
(1)
Gluskin L. M
(1)
Gołąb Stanisław (1902-1980)
(1)
Gradštejn Izrail' Solomonovič (1899-1958)
(1)
Grochulski Jerzy
(1)
Hajnicz Elżbieta
(1)
Harrison Michael A
(1)
Hensz Ewa
(1)
Herczeg János
(1)
Idel'son Aleksandr Vladimirovič (1925- )
(1)
Idziak Paweł M
(1)
Jaczewski Jerzy (1918-2000)
(1)
Kasperska Elżbieta
(1)
Kasperski Andrzej
(1)
Katětov Miroslav (1918-1995)
(1)
Kaźmierkowski Marian Piotr (1943- )
(1)
Kisielewicz Andrzej
(1)
Koj Leon (1929-2006)
(1)
Kordel Zdzisław (1950- )
(1)
Krygowska Zofia (1904-1988)
(1)
Krysicki Włodzimierz (1905-2001)
(1)
Kubiński Tadeusz (1923-1991)
(1)
Kuriata Andrzej
(1)
Kursaev Anatolij G
(1)
Kutatelabze S. S
(1)
Lewis Clarence Irving (1883-1964)
(1)
Leśniak Jan (1901-1980)
(1)
Lyndon Roger C. (1917- )
(1)
Maduch Marian
(1)
Marciszewski Witold
(1)
Matałycki Michał
(1)
Matłoka Marian
(1)
Mieczyński Mieczysław
(1)
Mihajlov Aleksandr Ivanovič
(1)
Minc G. E. (1939- )
(1)
Minc Grigorij Efrojmovič. (1939-2014)
(1)
Miłkowska Mirosława
(1)
Moisil Gr. C
(1)
Moisil Gr. C. (1906-1973)
(1)
Mostowski Andrzej (1913-1975)
(1)
Mostowski Andrzej Włodzimierz
(1)
Nowakowska Maria (?-1989)
(1)
Opial Zdzisław (1930-1974)
(1)
Panczakiewicz Marian (1903-1997)
(1)
Partyka Marian Antoni
(1)
Pawlak Zdzisław
(1)
Pawlak Zdzisław (1926-2006)
(1)
Perzanowski Jerzy
(1)
Pokaż mniej ...
Rok wydania
2020 - 2024
(2)
2010 - 2019
(6)
2000 - 2009
(12)
1990 - 1999
(12)
1980 - 1989
(15)
Pokaż więcej ...
1970 - 1979
(47)
1960 - 1969
(20)
1950 - 1959
(4)
1940 - 1949
(1)
Pokaż mniej ...
Okres powstania dzieła
2001-
(3)
Kraj wydania
Polska
(105)
Rosja
(4)
Stany Zjednoczone
(4)
Holandia
(2)
Australia
(1)
Pokaż więcej ...
Salwador
(1)
Włochy
(1)
Nowa Kaledonia
(1)
Czechy
(1)
Pokaż mniej ...
Język
polski
(103)
angielski
(12)
rosyjski
(4)
Odbiorca
Szkoły wyższe
(2)
Temat
Budownictwo
(2411)
Zarządzanie
(2036)
Matematyka
(1929)
Elektrotechnika
(1896)
Przedsiębiorstwa
(1791)
Logika matematyczna
(-)
Pokaż więcej ...
Fizyka
(1535)
Informatyka
(1502)
Maszyny
(1228)
Fizjoterapia
(1175)
Wytrzymałość materiałów
(1157)
Ochrona środowiska
(1023)
Sport
(1012)
Turystyka
(952)
Elektronika
(946)
Ekonomia
(932)
Mechanika
(931)
Automatyka
(916)
Język angielski
(871)
Samochody
(867)
Rachunkowość
(821)
Chemia
(808)
Rehabilitacja
(800)
Polska
(791)
Gospodarka
(778)
Komunikacja marketingowa
(759)
Technika
(740)
Konstrukcje budowlane
(726)
Wychowanie fizyczne
(725)
Przemysł
(723)
Prawo pracy
(712)
Unia Europejska
(699)
Transport
(673)
Piłka nożna
(672)
Elektroenergetyka
(667)
Architektura
(637)
Marketing
(636)
Innowacje
(619)
Naprężenia i odkształcenia
(612)
OZE
(606)
Programowanie (informatyka)
(589)
Trening
(586)
Energetyka
(585)
Programy komputerowe
(584)
Technologia chemiczna
(566)
Rolnictwo
(556)
Biomasa
(543)
Analiza numeryczna
(532)
Prawo
(524)
Odnawialne źródła energii
(520)
Sterowanie
(520)
Komputery
(517)
Produkcja
(517)
Materiałoznawstwo
(516)
Symulacja
(515)
Inwestycje
(506)
Praca
(503)
Analiza matematyczna
(495)
Zarządzanie jakością
(495)
Zarządzanie zasobami ludzkimi (HRM)
(494)
Dzieci
(489)
Energia elektryczna
(489)
Urbanistyka
(488)
Materiały budowlane
(482)
Logistyka gospodarcza
(480)
Rynek pracy
(474)
Finanse
(468)
Maszyny elektryczne
(467)
Psychologia
(467)
Szkolnictwo wyższe
(466)
Przedsiębiorstwo
(465)
Internet
(464)
Modele matematyczne
(464)
Metale
(462)
Nauka
(455)
Marketing internetowy
(453)
Systemy informatyczne
(448)
Statystyka matematyczna
(447)
Języki programowania
(433)
Skrawanie
(432)
Reklama
(431)
Rehabilitacja medyczna
(428)
Mechanika budowli
(424)
Działalność gospodarcza
(422)
Organizacja
(417)
Telekomunikacja
(413)
Metrologia
(412)
Pedagogika
(410)
Drgania
(409)
Trener
(406)
Ubezpieczenia społeczne
(394)
Controlling
(392)
Optymalizacja
(392)
Historia
(388)
Filozofia
(385)
Podatki
(385)
Statystyka
(384)
Socjologia
(382)
Banki
(378)
BHP
(375)
Rachunkowość zarządcza
(374)
Pokaż mniej ...
Temat: czas
1901-2000
(5)
Temat: miejsce
Polska
(1)
Gatunek
Podręczniki akademickie
(11)
Podręcznik
(7)
Ćwiczenia i zadania dla szkół wyższych
(6)
Materiały konferencyjne
(3)
Opracowanie
(1)
Pokaż więcej ...
Podręczniki
(1)
Układy elektroniczne
(1)
Pokaż mniej ...
Dziedzina i ujęcie
Matematyka
(2)
Gospodarka, ekonomia, finanse
(1)
Transport i logistyka
(1)
Zarządzanie i marketing
(1)
119 wyników Filtruj
Brak okładki
Książka
W koszyku
Projektowanie układów cyfrowych systematyczną metodą strukturalną / Marian Adamski. - Zielona Góra : Wydawnictwo Uczelniane Wyższej Szkoły Inżynierskiej, 1990. - 181, [3] s. : il. ; 24 cm.
(Monografie / Wyższa Szkoła Inżynierska w Zielonej Górze, ISSN 0239-7390 ; nr 49)
Bibliogr. s. 156-181.
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Wypożyczalnia
Są egzemplarze dostępne do wypożyczenia: sygn. 79508 (1 egz.)
Brak okładki
Książka
W koszyku
Einführung in die Mathematische Logik. Teil 1. Aussagenkalkül / G. von Asser. - 4. uvver. Aufl. - Leipzig : BSB B.G. Teubner Verlagsgesellschaft, 1972. - IV, [2], 184 s. : tab. ; 21 cm.
(Mathematisch-Naturwissenschaftliche Bibliothek ; 18)
Bibliogr.s. [VI]
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Wypożyczalnia
Są egzemplarze dostępne do wypożyczenia: sygn. Z 640 (1 egz.)
Brak okładki
Książka
W koszyku
Przeszłość, teraźniejszość, przyszłość : studium filozoficzne / Zdzisław Augustynek. - Warszawa : Państ. Wydaw. Naukowe, 1979. - 207, [1] s. ; 20 cm.
Bibliogr.s. 187. - Rez. - Sum.
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Wypożyczalnia
Są egzemplarze dostępne do wypożyczenia: sygn. 58532, 58552 (2 egz.)
Brak okładki
Książka
W koszyku
Logique binaire et ordinateurs. T.2. Hardware et conception des ensembles logiques / Michel Aumiaux. - Paris : Masson et Cie, 1973. - X, 259 s., [2] k. tabl. : il., rys., schem. ; 24 cm.
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Wypożyczalnia
Są egzemplarze dostępne do wypożyczenia: sygn. Z 556 (1 egz.)
Brak okładki
Książka
W koszyku
Handbook of Mathematical Logic / ed. Jon Barwise. - Amsterdam : North-Holland Publ. Comp., 1977. - XI, 1165 s. : rys. ; 23 cm.
(Studies in Logic and the Foundations of Mathematics ; Vol.90)
Autor
Barwise Jon.
Bibliogr. przy rozdz.
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Wypożyczalnia
Są egzemplarze dostępne do wypożyczenia: sygn. Z 3175 (1 egz.)
Brak okładki
Książka
W koszyku
Zasady logiki / Tadeusz Batóg ; Uniwersytet Adama Mickiewicza w Poznaniu. - Poznań : Uniwersytet Adama Mickiewicza - Wydaw. Naukowe, 1977. - IV, 134, [1] s. ; 24 cm.
Bibliogr.s. [128]
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Wypożyczalnia
Są egzemplarze dostępne do wypożyczenia: sygn. 36202 L (1 egz.)
Brak okładki
Książka
W koszyku
Logika matematyczna w informatyce / Mordechai Ben-Ari ; z ang. przeł. Mirosława Miłkowska. - Warszawa : Wydawnictwa Naukowo-Techniczne, 2005. - XIII, [1], 343, [1] s. : il. ; 25 cm.
(Klasyka Informatyki)
Bibliogr. s. [333]-335. Indeks.
Dla studentów pierwszego roku informatyki.
Sygnatura czytelni BMW: IV F 61 (nowy)
dostępna w czytelni
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Biblioteka Międzywydziałowa
Egzemplarze są dostępne wyłącznie na miejscu w bibliotece: sygn. 111101 N (1 egz.)
Brak okładki
Książka
W koszyku
Elementy logiki matematycznej i algebry wyższej w przykładach i ćwiczeniach dla wyższych studiów technicznych : praca zbiorowa / zespół aut.: Olga Bereśniewicz-Rajca, Krystyna Szczerbińska, Jan Walichiewicz. - Gliwice : Dział Wydawnictw Politechniki Śląskiej, 1970. - 337 s. : il. ; 24 cm.
(Skrypty Uczelniane / Politechnika Śląska im. W. Pstrowskiego ; nr 265)
Skrypt przede wszystkim dla studentów Wydziału Automatyki.
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Wypożyczalnia
Są egzemplarze dostępne do wypożyczenia: sygn. 33230, 33228, S 6523, 33229, 33227 L (5 egz.)
Brak okładki
Książka
W koszyku
Simvoličeskaja logika i razumnye mašiny = Symbolic Logic and Intelligent Machines / Edmund C. Berkeley ; tł. I. V. Solov'ev ; red. tł. G. N. Povarov. - Moskva : Izd. Inostrannoj Literatury, 1961. - 260 s., [1] k. tabl. : il. ; 21 cm.
Bibliogr.s. [241] - 252
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Wypożyczalnia
Są egzemplarze dostępne do wypożyczenia: sygn. 19356, 36226 L (2 egz.)
Brak okładki
Książka
W koszyku
Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic / Evert W. Beth. - Dordrecht : D. Reidel Publishing Company, 1962. - XIV, 170 s. : il. ; 23 cm.
(Synthese Library ; 4)
Bibliogr. s. 164-167.
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Wypożyczalnia
Są egzemplarze dostępne do wypożyczenia: sygn. 36301 L (1 egz.)
Brak okładki
Książka
W koszyku
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. - Katowice : Uniwersytet Śląski, 1983. - 190 s. : il., err. ; 24 cm.
(Skrypty Uniwersytetu Śląskiego, ISSN 0239-6432 ; nr 331)
Bibliogr. s. [182]-184.
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Wypożyczalnia
Są egzemplarze dostępne do wypożyczenia: sygn. S 56674, S 58753 L (2 egz.)
Brak okładki
Książka
W koszyku
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. - Katowice : Uniwersytet Śląski, 1983. - 127 s. : il., err. ; 24 cm.
(Skrypty Uniwersytetu Śląskiego, ISSN 0239-6432 ; nr 331)
Bibliogr. s. 122-124.
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Wypożyczalnia
Są egzemplarze dostępne do wypożyczenia: sygn. S 58754 L, S 56675 (2 egz.)
Brak okładki
Książka
W koszyku
Mnogocvetnaja logika : 175 logičeskich zadač = Sokszinü logika : (175 logikai feladat) / György Bizám, János Herczeg ; tł. Ju. A. Danilov. - Moskva : Mir - Izd., 1978. - 433, [3] s. : rys. ; 21 cm.
(Zanimatel'naja Matematika)
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Wypożyczalnia
Są egzemplarze dostępne do wypożyczenia: sygn. Z 2319 (1 egz.)
Brak okładki
Książka
W koszyku
A Precis of mathematical logic / J. M. Bocheński ; transl. from the French and German ed. by Otto Bird. - Dordrecht : D. Reidel Publishing Company, cop. 1959. - [10], 100 s. : il. ; 23 cm.
(Synthese Library)
Gatunek
Podręcznik.
Bibliogr. s. 94-100.
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Wypożyczalnia
Są egzemplarze dostępne do wypożyczenia: sygn. 36278 L (1 egz.)
Brak okładki
Książka
W koszyku
Wnioskowanie w logikach nieklasycznych : podstawy teoretyczne / aut. Leonard Bolc [et al.]. - Warszawa : Akademicka Oficyna Wydawnicza PLJ, 1995. - [4], 247 s. : il. ; 24 cm.
(Problemy Współczesnej Nauki. Teoria i Zastosowania. Informatyka)
Bibliogr. s. [227]-241.
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Wypożyczalnia
Są egzemplarze dostępne do wypożyczenia: sygn. 90277 L (1 egz.)
Brak okładki
Książka
W koszyku
Logika formalna : systemy logiczne : wstęp do metalogiki / Ludwik Borkowski. - Wyd.2 popr. - Warszawa : Państ. Wydaw. Naukowe, 1977. - 393, [1] s. ; 24 cm.
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Wypożyczalnia
Są egzemplarze dostępne do wypożyczenia: sygn. 53849, 53848 (2 egz.)
Brak okładki
Książka
W koszyku
Teoria automatów / Jerzy Bromirski. - Warszawa : Wydawnictwa Naukowo-Techniczne, 1969. - 251, [5] s. : il. ; 23 cm.
(Wykłady Akademickie. Elektronika)
Forma i typ
Książki
Bibliogr. Indeks.
Podręcznik jest przeznaczony dla studentów specjalności automatyka i maszyny matematyczne wydziałów elektroniki wyższych szkół technicznych.
brak informacji o dostępności
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Wypożyczalnia
w opracowaniu: sygn. 26453, 26454 (2 egz.)
Brak okładki
Książka
W koszyku
Metody odrzucania wyrażeń / Grzegorz Bryll. - Warszawa : Akademicka Oficyna Wydawnicza PLJ, 1996. - 101, [2] s. ; 24 cm.
(Problemy Współczesnej Nauki. Teoria i Zastosowania. Informatyka)
Bibliogr. s. [88]-96.
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Wypożyczalnia
Są egzemplarze dostępne do wypożyczenia: sygn. 93441 L, 95269 (2 egz.)
Brak okładki
Książka
W koszyku
Logiczne podstawy gramatyk kategorialnych Ajdukiewicza-Lambeka / Wojciech Buszkowski. - Warszawa : Państ. Wydaw. Naukowe, 1989. - 271, [1] s. : rys., err. ; 20 cm.
(Logika i Zastosowania Logiki)
Bibliogr.s. 263 - [268]
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Wypożyczalnia
Są egzemplarze dostępne do wypożyczenia: sygn. 78714, 78713 (2 egz.)
Brak okładki
Książka
W koszyku
Vvedenie v matematičeskuû logiku. 1 / A. Čërč ; per. s angl. V. S. Černâ'skogo ; pod red. V. A. Uspenskogo. - Moskva : Izdatel'stvo Inostrannoj Literatury, 1968. - 484, [1] s. : il. ; 23 cm.
Indeksy.
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Wypożyczalnia
Są egzemplarze dostępne do wypożyczenia: sygn. 34309 (1 egz.)
Wyprowadzać dodatkowo:
sygnatury
identyfikatory
hasła przedmiotowe
lokalizacja
streszczenia
numer ISBN
hasło sortowania
adres wersji elektronicznej
rozmieszczenie egzemplarzy
opis fizyczny
Sortowanie zestawienia:
Sortowanie pozycji zestawienia:
Sortowanie pozycji zestawienia:
Pozycja została dodana do koszyka. Jeśli nie wiesz, do czego służy koszyk, kliknij tutaj, aby poznać szczegóły.
Nie pokazuj tego więcej

Deklaracja dostępności