Strony linkujące do „Logika i teoria mnogości/Wykład 4: Teoria mnogości ZFC. Operacje na zbiorach”
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Następujące strony odwołują się do Logika i teoria mnogości/Wykład 4: Teoria mnogości ZFC. Operacje na zbiorach:
Wyświetlono 9 elementów.
- Logika i teoria mnogości (← linkujące)
- Logika i teoria mnogości/Wykład 1: Po co nam teoria mnogości? Naiwna teoria mnogości, naiwna indukcja, naiwne dowody niewprost (← linkujące)
- Logika i teoria mnogości/Wykład 3: Rachunek predykatów, przykład teorii w rachunku predykatów (← linkujące)
- Logika i teoria mnogości/Wykład 6: Funkcje, tw. o faktoryzacji, produkt uogólniony, obrazy i przeciwobrazy, tw. Knastera-Tarskiego i lemat Banacha (← linkujące)
- Logika i teoria mnogości/Wykład 11: Zbiory dobrze uporządkowane. Lemat Kuratowskiego Zorna i twierdzenie Zermelo, przykłady (← linkujące)
- Logika i teoria mnogości/Wykład 7: Konstrukcja von Neumanna liczb naturalnych, twierdzenie o indukcji, zasady minimum, maksimum, definiowanie przez indukcje (← linkujące)
- Logika i teoria mnogości/Wykład 12: Twierdzenie o indukcji. Liczby porządkowe. Zbiory liczb porządkowych. Twierdzenie o definiowaniu przez indukcje pozaskończoną (← linkujące)
- Logika i teoria mnogości/Wykład 9: Teoria mocy twierdzenie Cantora-Bernsteina, twierdzenie Cantora. Zbiory przeliczalne, zbiory mocy kontinuum (← linkujące)
- Logika i teoria mnogości/Wykład 5.2 (← linkujące)