SOWA OPAC : Wojewódzka i Miejska Biblioteka Publiczna w RzeszowieKatalog centralny

56 wyników

Książka

W koszyku

oceń

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])

Autor

Wiktorowicz Krzysztof (logika).

Temat

Logika matematyczna. Teoria mnogości.

Gatunek

Materiały pomocnicze dla szkół wyższych.

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

oceń

Logika : nauka rozumowania / Zdzisław Kraszewski. - Warszawa : Państwowe Wydaw. Naukowe, 1975. - 270, [2] s. ; 24 cm.

Autor

Kraszewski Zdzisław.

Temat

Indukcja Logika Logika matematyczna Rozumowanie (log.)

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.

Autor

Âblonskij Sergej Vsevolodovič. Rudak Leszek.

Temat

Cybernetyka matematyczna Matematyka Automaty Grafy. Kombinatoryka Logika matematyczna Teoria systemów

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

oceń

Teorie badań : ujęcia modelowe / Maria Nowakowska. - Warszawa : Państwowe Wydaw. Naukowe, 1977. - 328 s. : rys. ; 24 cm.

Autor

Nowakowska Maria.

Temat

Logika matematyczna Metodologia Nauka Prakseologia Semantyka Naukoznawstwo

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

Książka

W koszyku

oceń

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)

Autor

Rasiowa Helena (1917-1994).

Temat

Algebra. Funkcje. Logika matematyczna. Matematyka Teoria mnogości.

Gatunek

Podręczniki akademickie.

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

Książka

W koszyku

oceń

Ontologia sytuacji : podstawy i zastosowania / Bogusław Wolniewicz. - Warszawa : Państwowe Wydaw. Naukowe, 1985. - 138, [2] s. : rys., wykr. ; 20 cm.

(Logika i Zastosowania Logiki)

Autor

Wolniewicz Bogusław (1927-2017).

Temat

Logika matematyczna Ontologia Wittgenstein, Ludwig (1889-1951). Traktat logiczno-filozoficzny.

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-61910 (1 egz.)

Brak okładki

Książka

W koszyku

Metamatematyka a epistemologia / Jan Woleński. - Warszawa : Wydaw. Naukowe PWN, 1993. - 325 s. ; 20 cm.

Autor

Woleński Jan (1940- ).

Temat

Metamatematyka Teoria poznania Językoznawstwo matematyczne Logika matematyczna Prawda Semantyka logiczna Aprioryzm

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-71870 (1 egz.)

Brak okładki

Książka

W koszyku

Matematyka z zadaniami / Janusz Piszczała, Maria Piszczała, Barbara Wojcieszyn. - Warszawa ; Poznań : Państwowe Wydaw. Naukowe, 1979. - 439 s. : rys., wykr. ; 24 cm.

Autor

Piszczała Janusz. Piszczała Maria. Wojcieszyn Barbara.

Temat

Matematyka Analiza matematyczna Funkcje Logika matematyczna Przestrzeń Teoria mnogości

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-52706 (1 egz.)

Książka

W koszyku

oceń

Turing / Andrew Hodges ; przekł. Justyna Nowotniak. - Warszawa : Amber, 1998. - 95 s. ; 19 cm.

(Wielcy Filozofowie : miniatury filozoficzne)

Autor

Hodges Andrew (1949- ). Nowotniak Justyna.

Temat

Turing, Alan Mathison (1912-1954). Logika matematyczna Matematycy

Gatunek

Biografia.

Bibliogr. s. 95-[96].

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-1A/Z-Turing A.M. (1 egz.)

Książka

W koszyku

oceń

Metody i zagadnienia współczesnej matematyki elementarnej / Antoni Banasiński. - Warszawa : Państwowe Wydaw. Szkolnictwa Zawodowego, 1973. - 240, [3] s. : rys., tab. ; 21 cm.

(BKZ Biblioteka Kształcenia Zawodowego / red. Tadeusz Nowacki ; Związek Nauczycielstwa Polskiego)

Autor

Banasiński Antoni (1908-1993).

Temat

Algebra liniowa Algebry Boole'a Kombinatoryka Logika matematyczna Programowanie dynamiczne Programowanie liniowe Rachunek prawdopodobieństwa

I. Nowoczesne metody matematyczne II. Elementy logiki matematycznej i algebry zbiorów III.Kombinatoryka IV. Elementy rachunku prawdopodobieństwa V. Elementy algebry liniowej i programowania

liniowego VI. Elementy programowania dynamicznego

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-37720 (1 egz.)

Książka

W koszyku

oceń

Turing / Andrew Hodges ; przekł. Justyna Nowotniak. - Warszawa : "Amber", 1998. - 95 s. ; 19 cm.

(Wielcy Filozofowie Miniatury Filozoficzne)

Autor

Hodges Andrew (1949- ). Nowotniak Justyna.

Temat

Filozofia Komputery Logika matematyczna Matematyka Turing, Allan (1912-1954)

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-77847 (1 egz.)

Brak okładki

Książka

W koszyku

oceń

Derrida / Christopher Johnson ; przeł. Jacek Hołówka. - Warszawa : "Amber", 1997. - 79 s. ; 19 cm.

(Wielcy Filozofowie Miniatury Filozoficzne)

Autor

Johnson Christopher (1958- ). Hołówka Jacek.

Temat

Derrida, Jacques (1930- ) Filozofia Logika matematyczna Postmodernizm Turing, Allan (1912-1954) Wittgenstein, Ludwig (1889-1951)

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-77493 (1 egz.)

Książka

W koszyku

oceń

Polacy za granicą : dokonania w sferze gospodarczej i społecznej / pod redakcją naukową Pawła Graty. - Wydanie I. - Rzeszów : Wydawnictwo Uniwersytetu Rzeszowskiego, 2023. - 399 stron : faksymilia, ilustracje ; 24 cm.

(Biblioteka Polskiej Modernizacji ; t. 6)

Autor

Grata Paweł (1971- )

Forma i typ

Książki Publikacje naukowe

Temat

Dembiński, Henryk (1791-1864) Kac, Mark (1914-1984) Neyman, Jerzy (1894-1981) Retinger, Józef Hieronim (1888-1960) Zweig, Ferdynand (1896-1988) Adaptacja kulturowa Artyleria Badania porównawcze Drogi II wojna światowa (1939-1945) Działacze polonijni Emigranci Ekonomiści Gospodarka Informatycy Integracja europejska Inżynierowie Inżynierowie budownictwa Kariera Kawaleria Kobieta Kolej Transsyberyjska (trasa) Logika Logika matematyczna Lotnictwo wojskowe Lwowska szkoła matematyczna Matematycy Modernizacja Mosty Nauczyciele akademiccy Nauki społeczne Piechota Polacy za granicą Polityka międzynarodowa Postęp naukowy Postęp techniczny Praca Pracownicy naukowi Przedsiębiorcy Rachunek prawdopodobieństwa Reforma Socjolodzy Społeczeństwo Statystyka matematyczna System społeczny Szkolnictwo polonijne Szkolnictwo wyższe Szkoła lwowsko-warszawska (filozofia) Wielka Emigracja Współpraca międzynarodowa Wynalazcy i odkrywcy Zatrudnienie Życie codzienne Egipt Europa Francja Izrael Kanada Królestwo Polskie (1815-1915) Nancy (Francja) Niemcy Polska Prusy Rosja Stany Zjednoczone (USA) Syberia (Rosja) Świat Wielka Brytania

Gatunek

Praca zbiorowa

Dziedzina i ujęcie

Inżynieria i technika Gospodarka, ekonomia, finanse Historia Matematyka Polityka, politologia, administracja publiczna Socjologia i społeczeństwo

Na grzbiecie wyłącznie tytuł i numeracja serii.

Bibliografie, netografie przy pracach.

Finansowanie: Minister Nauki i Szkolnictwa Wyższego

Streszczenia w języku angielskim przy pracach.

Emigracyjna zmienność ideowa Ferdynanda Zweiga, Robert Ciborowski, Marian Zalesko ; Jerzy Spława-Neyman jako współtwórca nowoczesnej statystyki matematycznej, Wiesław Wójcik ; Kwestia zatrudnienia i karier zawodowych uczestników Wielkiej Emigracji we Francji (1831-1863) : problematyka badawcza, Jerzy Kuzicki ; Mark Kac (1914-1984) : twórca prężnego ośrodka naukowego z zakresu rachunku prawdopodobieństwa i statystyki matematycznej w USA, Stanisław Domoradzki ; Modernizacja kształcenia narodowego na przykładzie "communitas" polskiej szkoły emigracyjnej w Nancy, Iwona H. Pugacewicz ; Od architektury mostu do architektury komputera : wkład migrantów z Polski w modernizację techniki na świecie, Sławomir Kamosiński ; Polacy w czasie Wielkiej Emigracji : inżynierowie żelaznych dróg i mostów : (wkład w rozwój infrastruktury na świecie), Adriana Merta-Staszczak ; Polacy w społeczeństwie francuskim XIX wieku : asymilacja czy wyobcowanie?, Janusz Pezda ; Polki-migrantki, które zmieniały oblicze świata, Edyta Czop ; Projekt Zjednoczona Europa : działalność Józefa Hieronima Retingera na rzecz integracji europejskiej, Andrzej Pieczewski ; Rola polskich inżynierów w budowie Kolei Transsyberyjskiej na przełomie XIX i XX wieku, Sergiusz Leończyk ; W drodze na emigrację... : pruski system gospodarczy i społeczeństwo w oczach Polaków (czyli o doświadczeniu opuszczania Polski), Norbert Kasparek ; W służbie postępu : polscy inżynierowie na emigracji po II wojnie światowej : studium losów, Andrzej Bonusiak ; Wielcy innowatorzy z Polski w dziedzinie technologii informacyjno-komunikacyjnych, Tomasz Goban-Klas ; Wkład Floriana Znanieckiego w międzynarodowe badania porównawcze w naukach społecznych, Teresa Sasińska-Klas ; Wkład Polaków w "modernizację" pola walki w czasie drugiej wojny światowej (aspekt lotniczy), Maciej Franz ; Wpływ polskich logików na rozwój logiki matematycznej w Niemczech : na podstawie korespondencji przedstawicieli szkoły lwowsko-warszawskiej z Heinrichem Scholzem w latach 1928-1956, Gabriela Besler ; Żeglarze bitów : Polacy, którzy zmieniają przestrzeń wirtualną, Jarosław Kinal.

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-113794 (1 egz.)

Brak okładki

Książka

W koszyku

oceń

Teza Churcha : kontekst historyczno-filozoficzny / Adam Olszewski. - Kraków : Towarzystwo Autorów i Wydawców Prac Naukowych Universitas, cop. 2009. - 519 s. ; 25 cm.

(Monografie Centrum Kopernika)

Autor

Olszewski Adam (1958- ).

Temat

Church, Alonzo (1903-1995). Dedekind, Richard (1831-1916). Frege, Gottlob (1848-1925). Gödel, Kurt (1906-1978). Grassmann, Hermann (1809-1877). Hilbert, David (1862-1943). Kant, Immanuel (1724-1804). Kleene, Stephen Cole (1909-1994). Kreisel, Georg (1923- ). Peano, Giuseppe (1858-1932). Pepis, Józef. Post, Emil Leon (1897-1954). Rosser, J. Barkley (1907-1989). Skolem, Thoralf (1887-1963). Turing, Alan Mathison (1912-1954). Hipoteza Churcha-Turinga. Logika matematyczna. Poznanie.

Bibliogr. s. [487]-512. Indeks.

Streszcz. ang.

I. KONTEKST HISTORYCZNY. 1. Tło historyczne: Dziedzictwo Kanta i trzy projekty ; Zasada indukcji: Hermann Grasmann (18091877) ; Logicyzm i liczby naturalne: Frege (1848-1925) ; Czym są liczby? Richard Dedekind (1831-1916) ; Zerwanie z ontologią podmiotu: Giuseppe Peano (1858-1923) ; Formalizm jako program badawczy: David Hilbert (1862-1943) ; W duchu Programu Hilberta: Thoralf Skolem (1887-1963) ; Granice formalizmu: Kurt Gödel (1906-1978). 2. Teza Churcha w poglądach Ojców Obliczalności: Alonzo Church (1903-1995) ; Alan M. Turing (1912-1954) ; Stephen C. Kleene (1909-1994) ; Kurt Gödel (1906-1978) ; Emil Post (1897-1954) ; Barkley J. Rosser (1907-1989) ; Józef Pepis. 3. Badania nad Tezą Churcha 1945-1990: Georg Kreisel (1923-) ; Krytyka Tezy Churcha ; Obrona Tezy Churcha. 4. Teza Churcha po 1990 r. II. ZAGADNIENIA SZCZEGÓŁOWE. 5. Status Tezy Churcha. 6. Pojęcia i podmiot. 7. Argumenty za Tezą Churcha.

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-92730 (1 egz.)

Książka

W koszyku

oceń

Dziesięć rewolucyjnych koncepcji współczesnej nauki : [kwanty, DNA, sztuczna inteligencja, podświadomość i inne najdonioślejsze odkrycia XX wieku / Charles Flowers ; przekł. Janusz Skolimowski. - Warszawa : Amber, 2003. - 190, [2] s. : portr. ; 22 cm.

(Tajemnice Nauki / Amber)

Autor

Flowers Charles (1942- ). Skolimowski Janusz.

Temat

Bohr, Niels Henrik David (1885-1962). Crick, Francis (1916-2004). Einstein, Albert (1879-1955). Fermat, Pierre de (1601-1665). Freud, Sigmund (1856-1939). Gödel, Kurt (1906-1978). Hubble, Edwin P. (1889-1953). Mendel, Johann Gregor (1822-1884) Turing, Alan Mathison (1912-1954). Watson, James Dewey (1928- ). Wegener, Alfred (1880-1930). Nauki przyrodnicze Astronomia DNA (chemia) Ewolucja Fizyka Genetyka Genom Sztuczna inteligencja Kosmologia Liczby Logika matematyczna Mechanika kwantowa Psychoanaliza Tektonika Teoria względności Twierdzenie Gödla

Indeks

Dod. do tyt. na okładce

1. Hubble i rozszerzający się wszechświat 2. Einstein i zagadka świata 3. Bohr i tajemnice świata kwantów 4. Wegener i ruch kontynentów 5. Wielki Wybuch, Wielka Zapaść i Wielka Nuda 6. Fermat, Gödel i nierozstrzygalna matematyka 7. Mendel, Watson, Crick i genom ludzki 8. Hominidy, ludzie i poszukiwanie początków 9. Turing i mózg jako komputer (oraz na odwrót) 10. Freud, podświadomość i inne podejścia

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-001 (1 egz.)