SOWA OPAC : Katalog komputerowy książek, czasopism i zbiorów specjalnych

10 wyników

Brak okładki

Książka

W koszyku

An Algeraic Approach to Non-Classical Logics / Helena Rasiowa. - Amsterdam ; London : North-Holland Publ. Comp.; New York: American Elsevier Publ. Comp., 1974. - XV, [1], 403 s. ; 23 cm.

(Studies in Logic and the Foundations of Mathematics ; Vol.78)

Autor

Rasiowa Helena (1917-1994).

Temat

Matematyka Logika Algebra

Bibliogr.s. [380] - 390

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

Brak okładki

Książka

W koszyku

The mathematics of metamathematics / Helena Rasiowa, Roman Sikorski ; Instytut Matematyczny Polskiej Akademii Nauk. - 3rd ed. - Warszawa : PWN - Polish Scientific Publishers, 1970. - 519 s. ; 25 cm.

(Monografie Matematyczne ; t. 41)

Autor

Rasiowa Helena (1917-1994). Sikorski Roman (1920-1983).

Temat

Metamatematyka Logika matematyczna.

Bibliogr. s. 489-501. Indeksy.

aktualnie wypożyczona

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Wypożyczalnia

Wszystkie egzemplarze są obecnie wypożyczone: sygn. 41110 (1 egz.)

Brak okładki

Książka

W koszyku

The mathematics of metamathematics / Helena Rasiowa, Roman Sikorski ; Instytut Matematyczny Polskiej Akademii Nauk. - 3 ed. - Warszawa : Polish Scientific Publishers, 1970. - 519 s. ; 23 cm.

(Monografie Matematyczne ; t. 41.)

Autor

Rasiowa Helena (1917-1994). Sikorski Roman (1920-1983).

Temat

Metamatematyka. Logika matematyczna.

Bibliogr.

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

Brak okładki

Książka

W koszyku

Wstęp do logiki matematycznej i teorii mnogości / Helena Rasiowa ; Polska Akademia Nauk. - Wrocław ; Warszawa ; Kraków : Zakł. Narod. im. Ossolińskich - Wydaw., 1966. - 166, [1] s. : rys. ; 21 cm.

Autor

Rasiowa Helena (1917-1994).

Temat

Logika matematyczna. Teoria mnogości

Bibliogr.s. [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. 6401 L (1 egz.)

Brak okładki

Książka

W koszyku

Wstęp do matematyki współczesnej / Helena Rasiowa. - Wyd. 7. - Warszawa : Państwowe Wydawnictwo Naukowe, 1979. - 302, [2] s. : il. ; 25 cm.

(Biblioteka Matematyczna ; t. 30)

Autor

Rasiowa Helena (1917-1994).

Temat

Matematyka

Gatunek

Podręczniki akademickie

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

Brak okładki

Książka

W koszyku

Wstęp do matematyki współczesnej / Helena Rasiowa. - Wyd. 3. - Warszawa : Państwowe Wydawnictwo Naukowe, 1971. - 302, [2] s. : il. ; 25 cm.

(Biblioteka Matematyczna ; t. 30)

Autor

Rasiowa Helena (1917-1994).

Temat

Matematyka

Gatunek

Podręczniki akademickie

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 5217, S 5218, S 5220, S 5219, S 5216 (5 egz.)

Brak okładki

Książka

W koszyku

Wstęp do matematyki współczesnej / Helena Rasiowa. - Warszawa : Państwowe Wydawnictwo Naukowe, 1968. - 302, [2] s. : il., err. ; 25 cm.

(Biblioteka Matematyczna ; t. 30)

Autor

Rasiowa Helena (1917-1994).

Temat

Matematyka

Gatunek

Podręczniki akademickie

niedostępna

1 placówka posiada w zbiorach tę pozycję. Rozwiń informację, by zobaczyć szczegóły.

Wypożyczalnia

Egzemplarze są obecnie niedostępne: sygn. 11462, 27078

Brak okładki

Książka

W koszyku

Wstęp do matematyki współczesnej / Helena Rasiowa. - Wyd. 3. - Warszawa : Państwowe Wydawnictwo Naukowe, 1969. - 302, [2] s. : il. ; 25 cm.

(Biblioteka Matematyczna ; t. 30)

Autor

Rasiowa Helena (1917-1994).

Temat

Matematyka

Gatunek

Podręczniki akademickie

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. 25088, 25090, 25089 L (3 egz.)

Brak okładki

Książka

W koszyku

Wstęp do matematyki współczesnej / Helena Rasiowa. - Wyd. 5. - Warszawa : Państwowe Wydawnictwo Naukowe, 1975. - 302, [2] s. : il. ; 25 cm.

(Biblioteka Matematyczna ; t. 30)

Autor

Rasiowa Helena (1917-1994).

Temat

Matematyka

Gatunek

Podręczniki akademickie

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. 47144, 47143, 47145, 47142, 47141 (5 egz.)

Książka

W koszyku

Wstęp do matematyki współczesnej / Helena Rasiowa. - Wydanie XIV - 6 dodruk. - Warszawa: Wydawnictwo Naukowe PWN, 2012. - 302, [2] strony : ilustracje ; 24 cm.

Autor

Rasiowa Helena (1917-1994)

Forma i typ

Książki Publikacje dydaktyczne

Odbiorca

Szkoły wyższe

Temat

Logika matematyczna Matematyka

Gatunek

Podręcznik

Dziedzina i ujęcie

Matematyka

Indeksy.

Rozdział I. Algebra zbiorów Pojęcie zbioru Suma zbiorów Iloczyn zbiorów. Prawa absorbcji i rozdzielności Różnica zbiorów. Związki pomiędzy różnicą i działaniami dodawania i mnożenia zbiorów Przestrzeń. Dopełnienie zbioru Aksjomaty algebry zbiorów Ciała zbiorów Funkcje zdaniowe jednej zmiennej Wzmianka o aksjomatach teorii mnogości Uwagi o potrzebie aksjomatycznego ujęcia teorii mnogości i o teoriach aksjomatycznych Rozdział II. Liczby naturalne. Dowody indukcyjne Aksjomatyczne ujęcie liczb naturalnych. Zasada indukcji Przykłady dowodów indukcyjnych Rozdział III. Funkcje Pojęcie funkcji Funkcje różnowartościowe. Funkcja odwrotna Superpozycja funkcji Grupy przekształceń Rozdział IV. Sumy i iloczyny uogólnione zbiorów Pojęcie sum i iloczynów uogólnionych Własności sum i iloczynów uogólnionych zbiorów Rozdział V. Produkty kartezjańikie zbiorów Relacje. Funkcje jako relaeje Produkty kartezjanskie Relacje dwuczłonowe Funkcje zdaniowe dwóch zmiennych Relacje zwrotne, przeoiwzwrotne, symetryczne, przeciwsymetryozne, antyaymetryczne, przechodnie Funkcje jako relacje Rozdział VI. Produkty uogólnione. Relacje wieloczłonowe. Funkcje wielu zmiennych. Obrazy i przeciwobrazy wyznaczone przez funkcję Produkty uogólnione Relacje m- członowe Funkcje zdaniowe m zmiennych Funkcje wielu zmiennych Obrazy i przeciwobrazy wyznaczone przez funkcje Rozdział VII. Relacje równoważności Definicja relacji równoważności. Zasada abstrakcji Zastosowanie zasady abstrakcji do konstrukcji liczb całkowitych Zastosowanie zasady abstrakcji do konstrukcji liczb wymiernych Wzmianka o teorii Cantora liczb rzeczywisty oh Rozdział VIII. Moce zbiorów Zbiory równoliczne. Moc zbioru Zbiory przeliczalne Przykłady zbiorów nieprzeliczalnych Nierówności dla liczb kardynalnych. Twierdzenie Cantora-Bernsteina Zbiory mocy continuum Zbiór potęgowy. Twierdzenie Cantora. Wnioski z twierdzenia Cantora Rozdział IX. Zbiory uporządkowane Relacje porządkujące Elementy maksymalne i minimalne Podzbiory zbiorów uporządkowanych. Lemat Kuratowskiego-Zorna Informacja o kratach Relacje quasi-porządkujące Informacja o zbiorach skierowanych Rozdział X. Zbiory liniowo uporządkowane Relacje liniowo porządkujące Podobieństwo (izomorfizm) zbiorów liniowo uporządkowanych Uporządkowanie liniowe gęste Uporządkowanie liniowe ciągłe Rozdział XI. Zbiory dobrze uporządkowane Relacje dobrze porządkujące. Liczby porządkowe Porównywanie liczb porządkowycb Zbiory liczb porządkowych Moce liczb porządkowych. Liczba kardynalna X (m) Twierdzenie o indukcji pozaakończonej. Ciągi pozaskończone Twierdzenie o definiowania przez indukcję pozaskończoną Twierdzenie Zermelo o możliwości dobrego uporządkowania każdego zbioru. Uwagi o aksjomacie wyboru Dowód lematu Kuratowskiego-Zorna Hipoteza continuum Rozdział XII. Rachunek zdań i jego zastosowanie do dowodów matematycznych Punktory zdaniotwórcze Pojecie prawa rachunku zdań Pojęcie reguł dowodzenia. Reguła odrywania Równoważność zdań i równoważność funkcji zdaniowych Reguły odrywania dla równoważności Kwadrat logiczny Reguły sylogizmu warunkowego Reguły dowodzenia z koniunkcją i alternatywą Reguły symplifikacji, Fregego, Dunsa Scotusa i Claviusa Dowody apagogiczne Ważniejsze prawa rachunku zdań i ich zastosowania Ujęcie aksjomatyczne rachunku zdań Rozdział XIII. Elementy rachunku funkcyjnego i jego zastosowanie do dowodów matematycznych Kwantyfikatory i funkcje zdaniowe jednej zmiennej Kwantyfikatory o zakresie ograniczonym przez funkcję zdaniową Kwantyfikatory i funkcje zdaniowe m zmiennych Prawa rachunku funkcyjnego Prawa włączania i wyłączania dla kwantyfikatorów Prawa dotyczące rozdzielności kwantyfikatorów Prawa przemianowywania i prawa przestawiania kwantyfikatorów Reguły dowodzenia Kwantyfikatory a sumy i iloczyny uogólnione zbiorów Przykłady zastosowań rachunku funkcyjnego w dowodach matematycznych Wzmianka o sformalizowanych teoriach matematycznych Rozdział XIV. Elementarne pojęcia algebry abstrakcyjnej Algebry abstrakcyjne Podalgebry. Zbiory generatorów Algebry podobne. Homomorfizmy. Izomorfizmy Kongruencje. Algebry ilorazowe Prodaktowanie algebr Funkcje algebraiczne Klasy algebr definiowalne równościowo Algebry - wolne Konstrukcja algebr wolnych dla pewny oh klas algebr

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. 153108 N, 153106 N, 153107 N (3 egz.)