Roman Murawski – Wstęp do teorii mnogości

Przedmowa
Rozdział 1. Elementy klasycznego rachunku zdań
1.1. Wprowadzenie
1.2. Język rachunku zdań; tautologie
1.3. Schematy wnioskowań. Wnioskowania niezawodne
1.4. Tautologie rachunku zdań
1.5. Warunek dostateczny i konieczny
1.6. Symbolika beznawiasowa
Zadania

Rozdział 2. Elementy rachunku predykatów
2.1. Wprowadzenie
2.2. Język rachunku predykatów
2.3. Formułowanie wypowiedzi w języku rachunku predykatów
2.4. Przykłady tautologii rachunku predykatów
2.5. Kwantyfikatory o ograniczonym zakresie
2.6. Kwantyfikatory ilościowe
Zadania

Rozdział 3. Podstawy teorii zbiorów
3.1. Uwagi wstępne
3.2. Zasada ekstensjonalności
3.3. Relacja inkluzji. Zbiór pusty i zbiór potęgowy
3.4. Działania na zbiorach
3.5. Algebry Boole’a
Zadania

Rozdział 4. Relacje
4.1. Wprowadzenie. Definicja relacji
4.2. Relacje binarne i ich własności. Działania na relacjach binarnych
4.3. Relacje równoważności
4.4. Zastosowania zasady abstrakcji
Zadania

Rozdział 5. Funkcje
5.1. Uwagi wstępne
5.2. Definicja funkcji. Rodzaje funkcji
5.3. Operacje na funkcjach
5.4. Obrazy i przeciwobrazy oraz ich własności
Zadania

Rozdział 6. Relacje porządkujące
6.1. Typy relacji porządkujących
6.2. Zbiory częściowo uporządkowane
6.3. Zbiory dobrze uporządkowane
Zadania

Rozdział 7. Teoria mocy
7.1. Wprowadzenie
7.2. Liczby kardynalne. Twierdzenie Cantora-Bernsteina
7.3. Zbiory przeliczalne
7.4. Zbiory nieprzeliczalne
7.5. Arytmetyka liczb kardynalnych
Zadania

Rozdział 8. Typy i liczby porządkowe
8.1. Typy porządkowe 8.2. Liczby porządkowe
Rozdział 9. Działania uogólnione
Zadania

Rozdział 10. System aksjomatyczny teorii mnogości
Dodatek: Uwagi historyczne
Literatura
Skorowidz symboli
Skorowidz terminów
Skorowidz nazwisk   źródło opisu: http://www.poczytaj.pl/index.php?akcja=spis_tresci&ksiazka=23480 źródło okładki: http://www.logika.amu.edu.pl/ksiazki/murawski/tmn.php