Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
Tytuł książki
Tytuł rozdziału

CZĘŚĆ II

Autorzy
Treść / Zawartość
Ścieżka wydawnicza (wydawca, książka, część, rozdział...)
Abstrakty
PL
ROZDZIAŁ IV. ALGEBRA ZBIORÓW I RELACJI
§ 1. Zbiory i relacje
§ 2. Funkcje zdaniowe a zbiory i relacje. Symbol abstrakcji
§ 3. Inkluzja, równość zakresowa. Działania na zbiorach i relacjach
§ 4. Związek miedzy rachunkiem zbiorów i relacji a rachunkiem zdań
§ 5. Algebra Boole'a

ROZDZIAŁ V. RÓWNOŚĆ
§ 1. Definicja równości
§ 2. Równość zbiorów i relacji. Pewnik ekstensjonalności
§ 3. Eliminacja symbolów abstrakcji

ROZDZIAŁ VI. TEORIA RELACJI
§ 1. Relacja odwrotna
§ 2. Iloczyn względny
§ 3. Sylogistyka Arystotelesa
§ 4. Dziedzina i przeciwdziedzina. Relacje ograniczone. Obrazy
§ 5. Relacje zwrotne, symetryczne, przechodnie oraz pokrewne typy relacji
§ 6. Równoważności
§ 7. Relacje spójne, porządkujace i porządki częściowe
§ 8. Relacje jednoznaczne, odwrotnie jednoznaczne i doskonałe
§ 9. Relacje wieloczłonowe. Działania
§ 10. Dodatek. Dowód worów (46-1), (46-2), (46-3)

ROZDZIAŁ VII. LICZBY NATURALNE. IZOMORFIZM
§ 1. Równoliczność zbiorów
§ 2. Liczby kardynalne
§ 3. Czym są liczby naturalne?
§ 4. Zero i następnik
§ 5. Liczby naturalne. Pewnik nieskończoności
§ 6. Definicje indykcyjne
§ 7. Izomorfizm relacji. Liczby relatywne. Homomorfizm
§ 8.Zasadnicze twierdzenie o izomorfizmie

ROZDZIAŁ VIII. TEORIA TYPÓW LOGICZNYCH
§ 1. Systematyka typów logicznych
§ 2. Antynomie
§ 3. Prosta teoria typów
Słowa kluczowe
Twórcy
Strony
Bibliografia
Kolekcja
DML-PL
Identyfikator YADDA
bwmeta1.element.zamlynska-00456985-82e0-4024-b65a-cbfa14426f8e
Identyfikatory
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.