Ukryj filtry
Sortowanie
Źródło opisu
Katalog centralny
(56)
Forma i typ
Książki
(56)
Publikacje naukowe
(1)
Publikacje popularnonaukowe
(1)
Dostępność
dostępne
(56)
wypożyczone
(3)
Placówka
Wypożyczalnia Główna dla dor. i mł. od 15 r. ż. (Dąbrowskiego 33a)
(4)
Czytelnia Główna - wypożyczalnia (Sokoła 13)
(49)
Filia 3 (Krzyżanowskiego 6)
(1)
Filia 4 (Ofiar Katynia 15)
(1)
Filia 6 (Podwisłocze 6)
(4)
Autor
Borkowski Ludwik (1914-1993)
(2)
Dudziak Urszula (matematyka)
(2)
Hałkowska Katarzyna
(2)
Hodges Andrew (1949- )
(2)
Marek Wiktor
(2)
Pokaż więcej ...
Nowotniak Justyna
(2)
Piróg-Rzepecka Krystyna
(2)
Pogorzelski Witold A
(2)
Rasiowa Helena (1917-1994)
(2)
Stępień Antoni B
(2)
Słupecki Jerzy
(2)
Słupecki Jerzy (1904-1987)
(2)
Wiktorowicz Krzysztof (logika)
(2)
Woleński Jan (1940- )
(2)
Łukasiewicz Jan Leopold (1878-1956)
(2)
Augustynek Zdzisław (1925-2001)
(1)
Banasiński Antoni (1908-1993)
(1)
Baszniak Tadeusz
(1)
Bizám György
(1)
Bocheński Józef Maria (1902-1995)
(1)
Brentano Franz (1765-1844)
(1)
Buszkowski Wojciech (1950- )
(1)
Chmielewski Adam (1959- )
(1)
Drewniak Józef
(1)
Flowers Charles (1942- )
(1)
Frege Gottlob (1848-1925)
(1)
Grata Paweł (1971- )
(1)
Grzegorczyk Andrzej (1922-2014)
(1)
Herczeg János (1934- )
(1)
Hołówka Jacek
(1)
Jasińska Jolanta Ewa
(1)
Johnson Christopher (1958- )
(1)
Juhasz-Dąbrowska Emma
(1)
Kacprzyk Janusz (1947- )
(1)
Kaźmierkowski Marian Piotr (1943- )
(1)
Kisielewicz Andrzej (informatyka)
(1)
Koj Leon (1929- )
(1)
Korolec Jerzy Bartłomiej (1933-2000)
(1)
Krajczyk Aleksandra
(1)
Kraszewski Zdzisław
(1)
Krempa Jan
(1)
Król Anna (matematyk)
(1)
Lyndon Roger C. (1917- )
(1)
Marciszewski Witold (1930- )
(1)
Mażbic-Kulma Barbara
(1)
Nekrašas Evaldas (1945- )
(1)
Newsom Carroll Vincent (1904- )
(1)
Nowakowska Maria
(1)
Olszewski Adam (1958- )
(1)
Omyła Mieczysław
(1)
Onyszkiewicz Janusz (1937- )
(1)
Parys Jan (1950- )
(1)
Pasenkiewicz Kazimierz (1897-1995)
(1)
Piszczała Janusz
(1)
Piszczała Maria
(1)
Pogorzelski Witold Adam|d(1927- )
(1)
Porębska Małgorzata
(1)
Przełęcki Marian
(1)
Quine Willard Van Orman
(1)
Rotter Krzysztof
(1)
Rudak Leszek
(1)
Rutkowski Aleksander
(1)
Semeniuk-Polkowska Maria
(1)
Seweryńska Urszula
(1)
Seweryński Mariusz
(1)
Siegfried H[ans] J[oachim]
(1)
Simbierowicz Zygmunt (1935- )
(1)
Skolimowski Janusz
(1)
Srejder J.A
(1)
Stanosz Barbara (1935-2014)
(1)
Stewart Ian (1945- )
(1)
Suchoń Wojciech
(1)
Tall David (1941- )
(1)
Thiel Christian
(1)
Wojciechowska Agnieszka
(1)
Wojcieszyn Barbara
(1)
Wolniewicz Bogusław (1927-2017)
(1)
Wójciak A
(1)
Âblonskij Sergej Vsevolodovič
(1)
Ładosz Jarosław (1924-1998)
(1)
Pokaż mniej ...
Rok wydania
2020 - 2024
(1)
2010 - 2019
(8)
2000 - 2009
(2)
1990 - 1999
(11)
1980 - 1989
(8)
Pokaż więcej ...
1970 - 1979
(21)
1960 - 1969
(4)
1950 - 1959
(1)
Pokaż mniej ...
Okres powstania dzieła
2001-
(2)
Kraj wydania
Polska
(56)
Język
polski
(54)
Temat
Logika matematyczna
(56)
Teoria mnogości
(13)
Matematyka
(10)
Filozofia
(7)
Logika
(7)
Pokaż więcej ...
Językoznawstwo matematyczne
(6)
Algebra
(3)
Metamatematyka
(3)
Turing, Alan Mathison (1912-1954)
(3)
Algebry Boole'a
(2)
Aristoteles (384-322 a.C.)
(2)
Funkcje
(2)
Grafy
(2)
Gödel, Kurt (1906-1978)
(2)
Indukcja
(2)
Kombinatoryka
(2)
Liczby
(2)
Matematycy
(2)
Nauka
(2)
Ontologia
(2)
Rachunek prawdopodobieństwa
(2)
Semantyka
(2)
Semantyka logiczna
(2)
Sztuczna inteligencja
(2)
Teoria poznania
(2)
Turing, Allan (1912-1954)
(2)
Adaptacja kulturowa
(1)
Ajdukiewicz, Kazimierz (1890-1963)
(1)
Algebra liniowa
(1)
Analiza matematyczna
(1)
Analiza systemowa
(1)
Analogia
(1)
Aprioryzm
(1)
Artyleria
(1)
Arystoteles (384-322 a.C.)
(1)
Astronomia
(1)
Automaty
(1)
Autorytet
(1)
Badania porównawcze
(1)
Bocheński, Innocenty Maria (1902-1995)
(1)
Bohr, Niels Henrik David (1885-1962)
(1)
Church, Alonzo (1903-1995)
(1)
Crick, Francis (1916-2004)
(1)
Cybernetyka matematyczna
(1)
Czas
(1)
DNA (chemia)
(1)
Dedekind, Richard (1831-1916)
(1)
Definicja
(1)
Dembiński, Henryk (1791-1864)
(1)
Derrida, Jacques (1930- )
(1)
Dominikanie
(1)
Dowód
(1)
Drogi
(1)
Działacze polonijni
(1)
Einstein, Albert (1879-1955)
(1)
Ekonomiści
(1)
Emigranci
(1)
Ewolucja
(1)
Fermat, Pierre de (1601-1665)
(1)
Filozofia analityczna
(1)
Fizyka
(1)
Frege, Gottlob (1848-1925)
(1)
Freud, Sigmund (1856-1939)
(1)
Genetyka
(1)
Genom
(1)
Gospodarka
(1)
Gramatyka
(1)
Grassmann, Hermann (1809-1877)
(1)
Gry i zabawy umysłowe
(1)
Hilbert, David (1862-1943)
(1)
Hipoteza Churcha-Turinga
(1)
Hubble, Edwin P. (1889-1953)
(1)
II wojna światowa (1939-1945)
(1)
Informatycy
(1)
Integracja europejska
(1)
Inżynierowie
(1)
Inżynierowie budownictwa
(1)
Język
(1)
Kac, Mark (1914-1984)
(1)
Kant, Immanuel (1724-1804)
(1)
Kariera
(1)
Kawaleria
(1)
Kleene, Stephen Cole (1909-1994)
(1)
Kobieta
(1)
Kolej Transsyberyjska (trasa)
(1)
Komputery
(1)
Kosmologia
(1)
Kreisel, Georg (1923- )
(1)
Lambek, Joachim
(1)
Liczby zespolone
(1)
Logika wielowartościowa
(1)
Lotnictwo wojskowe
(1)
Lwowska szkoła matematyczna
(1)
Mechanika kwantowa
(1)
Mendel, Johann Gregor (1822-1884)
(1)
Metodologia
(1)
Modernizacja
(1)
Mosty
(1)
Nauczyciele akademiccy
(1)
Nauki empiryczne
(1)
Pokaż mniej ...
Temat: czas
2001-
(2)
1801-1900
(1)
1901-
(1)
1901-2000
(1)
Temat: miejsce
Egipt
(1)
Europa
(1)
Francja
(1)
Izrael
(1)
Kanada
(1)
Pokaż więcej ...
Królestwo Polskie (1815-1915)
(1)
Nancy (Francja)
(1)
Niemcy
(1)
Polska
(1)
Prusy
(1)
Rosja
(1)
Stany Zjednoczone (USA)
(1)
Syberia (Rosja)
(1)
Wielka Brytania
(1)
Świat
(1)
Pokaż mniej ...
Gatunek
Podręczniki akademickie
(6)
Materiały pomocnicze dla szkół wyższych
(2)
Biografia
(1)
Podręcznik akademicki
(1)
Praca zbiorowa
(1)
Pokaż więcej ...
Wydawnictwa popularne
(1)
Pokaż mniej ...
Dziedzina i ujęcie
Matematyka
(2)
Gospodarka, ekonomia, finanse
(1)
Historia
(1)
Inżynieria i technika
(1)
Polityka, politologia, administracja publiczna
(1)
Pokaż więcej ...
Socjologia i społeczeństwo
(1)
Pokaż mniej ...
56 wyników Filtruj
Brak okładki
Książka
W koszyku
Logika matematyczna / Willard Van Orman Quine ; przeł. [z ang.] Leon Koj. - Warszawa : Państwowe Wydaw. Naukowe, 1974. - 330, [2] s. ; 21 cm.
Bibliogr. Indeks
- Zdania - Kwantyfikacja - Termy - Rozszerzona teoria klas - Relacje - Liczba - Syntaktyka
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Czytelnia Główna - wypożyczalnia (Sokoła 13)
Są egzemplarze dostępne do wypożyczenia: sygn. A-36015 (1 egz.)
Książka
W koszyku
Sztuczna inteligencja i logika : podsumowanie przedsięwzięcia naukowego / Andrzej Kisielewicz. - Wyd. 2 zm. - Warszawa : Wydawnictwa Naukowo-Techniczne, 2015. - 379, [1] s. : rys., wykr. ; 24 cm.
Bibliogr. s. [365]-371. Indeks.
WPROWADZENIE: Komputer ; Wizja Turinga ; Pół wieku sztucznej inteligencji ; Techniki rozwiązywania problemów ; Mechaniczny szachista ; Dwa tysiące lat logiki ; Idee współczesnej matematyki ; LOGIKA: Klasyczny rachunek zdań ; Pełna formalizacja ; Metamatematyka ; Twierdzenie Gödla ; Teoria obliczeń ; Maszyny Turinga ; Praktyka obliczeń ; Logiki nieklasyczne i metodologia nauk ; SZTUCZNA INTELIGENCJA: Inżynieria wiedzy ; Rozumowania zdroworozsądkowe ; Inteligencja obliczeniowa ; Maszyny uczące się ; Przetwarzanie języka naturalnego ; Sztuczna inteligencja i otoczenie ; Perspektywy.
aktualnie wypożyczona
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Czytelnia Główna - wypożyczalnia (Sokoła 13)
Wszystkie egzemplarze są obecnie wypożyczone: sygn. A-102805 (1 egz.)
Książka
W koszyku
Wstęp do matematyki współczesnej / Helena Rasiowa. - Wyd. 14, 6 dodruk. - Warszawa: Wydaw. Naukowe PWN, 2012. - 302 s. : rys., tab. ; 24 cm.
Indeksy.
Algebra zbiorowa ; Liczby naturalne. Dowody indukcyjne ; Funkcje ; Sumy i iloczyny uogólnione zbiorów ; Produkty kartezjańskie zbiorów. Relacje. Funkcje jako relacje ; Produkty uogólnione. Relacje wieloczłonowe. Funkcje wielu zmiennych. Obrazy i przeciwobrazy wyznaczone przez funkcję ; Relacje równoważności ; Moce zbiorów ; Zbiory uporządkowane ; Zbiory liniowo uporządkowane ; Zbiory dobrze uporządkowane ; Rachunek zadań i jego zastosowanie do dowodów matematycznych ; Elementy rachunku funkcyjnego i jego zastosowanie do dowodów matematycznych ; Elementarne pojęcia algebry abstrakcyjnej.
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Filia 6 (Podwisłocze 6)
Są egzemplarze dostępne do wypożyczenia: sygn. F.6-51 (1 egz.)
Książka
W koszyku
Podstawy matematyki / Ian Stewart, David Tall ; przełożyli Urszula i Mariusz Seweryńscy. - Warszawa : Prószyński Media, 2017. - 559 stron : ilustracje ; 23 cm.
Dziedzina i ujęcie
Matematyka
Tytuł oryginału: "The foundations of mathematics" 2015.
Bibliografia na stronach [548]-551. Indeks.
Książka "Podstawy matematyki" pozwoli zajrzeć w świat myślenia matematycznego, w którym definicje formalne i dowody prowadzą ku zdumiewającym, nowym sposobom definiowania, dowodzenia, obrazowania i zapisu symbolicznego matematyki, dalece wykraczającym poza nasze oczekiwania. Innymi słowy, "Podstawy matematyki" to podręcznik inny niż wszystkie, napisany przez mistrza - Iana Stewarta. Niniejsza książka przeznaczona jest dla czytelników, którzy pragną przejść od matematyki szkolnej do w pełni rozwiniętego stylu rozumowania matematyków zawodowych. Jest przeznaczona zarówno dla uczniów szkół średnich, rozważających pogłębianie wiedzy matematycznej, studentów pierwszych lat uniwersytetów i uczelni technicznych, jak i dla wszystkich osób poszukujących wglądu w fundamentalne idee i procesy myślowe matematyków. Prezentowane w niej formalne podejście do matematyki budowane jest jako naturalna konsekwencja leżących u jej podstaw pojęć oraz idei. Poruszane w niej tematy obejmują: naturę myślenia matematycznego, przegląd intuicyjnego rozwoju takich pojęć, jak zbiory, relacje, funkcje, wprowadzenie do logiki w postaci praktykowanej przez matematyków, metody dowodzenia (łącznie z analizą sposobu zapisywania dowodu matematycznego), rozwój aksjomatycznych systemów liczbowych, poczynając od liczb naturalnych po konstrukcje liczb rzeczywistych i zespolonych, liczby kardynalne. [www.empik.com, 2017]
dostępna do wypożyczenia
Ta pozycja znajduje się w zbiorach 3 placówek. Rozwiń listę, by zobaczyć szczegóły.
Wypożyczalnia Główna dla dor. i mł. od 15 r. ż. (Dąbrowskiego 33a)
Są egzemplarze dostępne do wypożyczenia: sygn. WG-51 (1 egz.)
Czytelnia Główna - wypożyczalnia (Sokoła 13)
Są egzemplarze dostępne do wypożyczenia: sygn. A-105277 (1 egz.)
Filia 6 (Podwisłocze 6)
Są egzemplarze dostępne do wypożyczenia: sygn. F.6-51 (1 egz.)
Brak okładki
Książka
W koszyku
Wstęp do filozofii / Antoni B. Stępień. - Wyd. 3 rozszerz. - Lublin : Towarzystwo Naukowe KUL, 1995. - 476, [6] s. ; 24 cm.
(Prace Wydziału Filozoficznego / Tow. Naukowe Katolickiego Uniwersytetu Lubelskiego ; 65)
Zawiera także "Elementy logiki formalnej" Stanisława Kamińskiego
Bibliogr. - Indeksy
dostępna do wypożyczenia
Ta pozycja znajduje się w zbiorach 2 placówek. Rozwiń listę, by zobaczyć szczegóły.
Filia 4 (Ofiar Katynia 15)
Są egzemplarze dostępne do wypożyczenia: sygn. F.4-1 (1 egz.)
Filia 6 (Podwisłocze 6)
Są egzemplarze dostępne do wypożyczenia: sygn. F.6.- 1 (1 egz.)
Brak okładki
Książka
W koszyku
Wstęp do filozofii / Antoni B. Stępień. - Wyd. 3 rozszerz. - Lublin : Tow. Naukowe Katolickiego Uniwersytetu Lubelskiego, 1995. - 270 s. ; 24 cm.
(Prace Wydziału Filozoficznego / Tow. Naukowe Katolickiego Uniwersytetu Lubelskiego ; 65)
Zawiera także "Elementy logiki formalnej" Stanisława Kamińskiego
Bibliogr. - Indeksy
aktualnie wypożyczona
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Filia 3 (Krzyżanowskiego 6)
Wszystkie egzemplarze są obecnie wypożyczone: sygn. F.3-1 (1 egz.)
Książka
W koszyku
Logiczne podstawy gramatyk kategorialnych Ajdukiewicza-Lambeka / Wojciech Buszkowski. - Warszawa : Państwowe Wydaw. Naukowe, 1989. - 271 s. ; 20 cm.
(Logika i Zastosowania Logiki)
Bibliogr. Indeks
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Czytelnia Główna - wypożyczalnia (Sokoła 13)
Są egzemplarze dostępne do wypożyczenia: sygn. A-68011 (1 egz.)
Książka
W koszyku
Gry i logika : 85 zadań / György Bizam, Janos Herczeg ; przeł. [z węg.] Emma Juhasz-Dąbrowska. - Warszawa : Wydawnictwa Naukowo-Techniczne, 1975. - 367, [1] s. : il. ; 20 cm.
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Czytelnia Główna - wypożyczalnia (Sokoła 13)
Są egzemplarze dostępne do wypożyczenia: sygn. A-43457 (1 egz.)
Brak okładki
Książka
W koszyku
Elementy logiki, teorii mnogości i algebry / Jan Krempa, Barbara Mażbic-Kulma. - Warszawa : Wydawnictwa Naukowo-Techniczne, 1977. - 170, [2] s. : rys., wykr. ; 21 cm.
Indeks
Bibliogr.
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Czytelnia Główna - wypożyczalnia (Sokoła 13)
Są egzemplarze dostępne do wypożyczenia: sygn. A-49242 (1 egz.)
Książka
W koszyku
Elementy logiki i teorii mnogości / Agnieszka Wojciechowska. - Warszawa : Państwowe Wydaw. Naukowe, 1979. - 200 s. : rys., wykr. ; 21 cm.
Indeksy
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Czytelnia Główna - wypożyczalnia (Sokoła 13)
Są egzemplarze dostępne do wypożyczenia: sygn. A-54299 (1 egz.)
Brak okładki
Książka
W koszyku
Zbiory rozmyte w analizie systemowej / Janusz Kacprzyk. - Warszawa : Państwowe Wydaw. Naukowe, 1986. - 522, [1] s. : rys., wykr. ; 21 cm.
(Analiza Systemowa i Jej Zastosowania)
Indeks
Bibliogr. przy rozdz.
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Czytelnia Główna - wypożyczalnia (Sokoła 13)
Są egzemplarze dostępne do wypożyczenia: sygn. A-63628 (1 egz.)
Brak okładki
Książka
W koszyku
Od teorii mnogości do algebry logiki : zastosowanie algebry logiki w technice cyfrowej / H[ans] J[oachim] Siegfried ; przeł. z niem. M.P. Kaźmierkowski, A. Wójciak. - Warszawa : Wydaw. Komunikacji i Łączności, 1977. - 131, [1] s. : rys., tab. ; 21 cm.
Indeks
Bibliogr.
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Czytelnia Główna - wypożyczalnia (Sokoła 13)
Są egzemplarze dostępne do wypożyczenia: sygn. A-48385 (1 egz.)
Książka
W koszyku
Logika i teoria mnogości / Krzysztof Wiktorowicz. - Wyd. 2. - Rzeszów : Oficyna Wydawnicza Politechniki Rzeszowskiej, 2015. - 71, [2] s. : il. ; 24 cm.
(Materiały Pomocnicze / [Politechnika Rzeszowska])
Bibliogr. s. [73].
LOGIKA MATEMATYCZNA: Funktory i formuły ; Tautologie. Wynikanie logiczne. Systemy dowodzenia ; Metoda rezolucji. Elementy logiki pierwszego rzędu. TEORIA MNOGOŚCI: Rachunek zbiorów ; Iloczyn kartezjański. Relacje ; Funkcje jako relacje ; Elementy teorii mocy.
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Wypożyczalnia Główna dla dor. i mł. od 15 r. ż. (Dąbrowskiego 33a)
Są egzemplarze dostępne do wypożyczenia: sygn. WG-51 (1 egz.)
Książka
W koszyku
Logika i teoria mnogości / Krzysztof Wiktorowicz. - Rzeszów : Oficyna Wydawnicza Politechniki Rzeszowskiej, 2013. - 71, [2] s. : rys., wykr. ; 24 cm.
(Materiały Pomocnicze / [Politechnika Rzeszowska])
Bibliogr. s. [73].
I. LOGIKA MATEMATYCZNA: 1. Funktory i formuły ; 2. Tautologie. Wynikanie logiczne. Systemy dowodzenia ; 3. Metoda rezolucji. Elementy logiki pierwszego rzędu. II. TEORIA MNOGOŚCI: 4. Rachunek zbiorów ; 5. Iloczyn kartezjański. Relacje ; 6. Funkcje jako relacje ; 7. Elementy teorii mocy.
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Czytelnia Główna - wypożyczalnia (Sokoła 13)
Są egzemplarze dostępne do wypożyczenia: sygn. A-99658 (1 egz.)
Książka
W koszyku
Logika : nauka rozumowania / Zdzisław Kraszewski. - Warszawa : Państwowe Wydaw. Naukowe, 1975. - 270, [2] s. ; 24 cm.
Indeks
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Czytelnia Główna - wypożyczalnia (Sokoła 13)
Są egzemplarze dostępne do wypożyczenia: sygn. A-42909 (1 egz.)
Brak okładki
Książka
W koszyku
Wstęp do matematyki dyskretnej / S.W. Jabłoński ; [z jęz. ros. tł.] Leszek Rudak. - Warszawa : Wydaw. Naukowe PWN, 1991. - 288 s. : rys., wykr. ; 24 cm.
Indeks
Bibliogr.
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Czytelnia Główna - wypożyczalnia (Sokoła 13)
Są egzemplarze dostępne do wypożyczenia: sygn. A-70667 (1 egz.)
Książka
W koszyku
Teorie badań : ujęcia modelowe / Maria Nowakowska. - Warszawa : Państwowe Wydaw. Naukowe, 1977. - 328 s. : rys. ; 24 cm.
Indeksy
Spis treści także ang.
Bibliogr.
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Czytelnia Główna - wypożyczalnia (Sokoła 13)
Są egzemplarze dostępne do wypożyczenia: sygn. A-47584 (1 egz.)
Brak okładki
Książka
W koszyku
Sylogistyka Arystotelesa z punktu widzenia współczesnej logiki formalnej / Jan Łukasiewicz ; tł. Adam Chmielewski, Aleksandra Krajczyk ; red. Jan Woleński. - Warszawa : Państwowe Wydaw. Naukowe, 1988. - 340, [1] s. ; 20 cm.
Indeksy
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Czytelnia Główna - wypożyczalnia (Sokoła 13)
Są egzemplarze dostępne do wypożyczenia: sygn. A-66926 (1 egz.)
Brak okładki
Książka
W koszyku
Wiedza prawdopodobna : powstanie i rozwój w empiryzmie logicznym programu probabilistycznej oceny wiedzy naukowej / Evaldas Nekrasas ; przeł. z ros. Zygmunt Simbierowicz. - Warszawa : Wydaw. Naukowe PWN, 1992. - 261 s. ; 20 cm.
Bibliogr.
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Czytelnia Główna - wypożyczalnia (Sokoła 13)
Są egzemplarze dostępne do wypożyczenia: sygn. A-70977 (1 egz.)
Książka
W koszyku
Wstęp do matematyki współczesnej / Helena Rasiowa. - Wyd. 6. - Warszawa : Państwowe Wydawnictwo Naukowe, 1977. - 302, [1] s. : rys., tab. ; 24 cm.
(Biblioteka Matematyczna ; t. 30)
Indeksy.
Algebra zbiorów ; Liczby naturalne. Dowody indukcyjne ; Funkcje ; Sumy i iloczyny uogólnione zbiorów ; Produkty kartezjańskie zbiorów. Relacje. Funkcje jako relacje ; Produkty uogólnione. Relacje wieloczłonowe. Funkcje wielu zmiennych. Obrazy i przeciwobrazy wyznaczone przez funkcję ; Relacje równoważności ; Moce zbiorów ; Zbiory uporządkowane ; Zbiory liniowo uporządkowane ; Zbiory dobrze uporządkowane ; Rachunek zdań i jego zastosowanie do dowodów matematycznych ; Elementy rachunku funkcyjnego i jego zastosowanie do dowodów matematycznych ; Elementarne pojęcia algebry abstrakcyjnej.
dostępna do wypożyczenia
1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.
Czytelnia Główna - wypożyczalnia (Sokoła 13)
Są egzemplarze dostępne do wypożyczenia: sygn. A-48527 (1 egz.)
Wyprowadzać dodatkowo:
sygnatury
identyfikatory
hasła przedmiotowe
regionalia
kartografia
literatura obcojęzyczna
nowości
słowa kluczowe
klucz literacki
normy
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