Wszystkie strony o prefiksie
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
- Logika i teoria mnogości/Test 11: Zbiory dobrze uporządkowane. Lemat Kuratowskiego Zorna i twierdzenie Zermelo, przykłady
- Logika i teoria mnogości/Test 12: Twierdzenie o indukcji. Liczby porządkowe. Zbiory liczb porządkowych. Twierdzenie o definiowaniu przez indukcje pozaskończoną
- Logika i teoria mnogości/Test 1: Po co nam teoria mnogości? Naiwna teoria mnogości, naiwna indukcja, naiwne dowody niewprost
- Logika i teoria mnogości/Test 2: Rachunek zdań
- Logika i teoria mnogości/Test 3: Rachunek predykatów, przykład teorii w rachunku predykatów
- Logika i teoria mnogości/Test 4: Teoria mnogości ZFC. Operacje na zbiorach
- Logika i teoria mnogości/Test 6: Funkcje, tw. o faktoryzacji, produkt uogólniony, obrazy i przeciwobrazy, tw. Knastera-Tarskiego i lemat Banacha
- Logika i teoria mnogości/Test 7: Konstrukcja von Neumanna liczb naturalnych, twierdzenie o indukcji, zasady minimum, maksimum, definiowanie przez indukcje
- Logika i teoria mnogości/Test 8: Konstrukcje liczbowe, liczby całkowite, wymierne, konstrukcja Cantora liczb rzeczywistych: działania i porządek
- Logika i teoria mnogości/Test 9: Teoria mocy twierdzenie Cantora-Bernsteina, twierdzenie Cantora. Zbiory przeliczalne, zbiory mocy kontinuum
- Logika i teoria mnogości/Wykład 10.2
- Logika i teoria mnogości/Wykład 10: Zbiory uporządkowane. Zbiory liniowo uporządkowane. Pojęcia gęstości i ciągłości
- Logika i teoria mnogości/Wykład 11: Zbiory dobrze uporządkowane. Lemat Kuratowskiego Zorna i twierdzenie Zermelo, przykłady
- 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ą
- Logika i teoria mnogości/Wykład 1: Po co nam teoria mnogości? Naiwna teoria mnogości, naiwna indukcja, naiwne dowody niewprost
- Logika i teoria mnogości/Wykład 2: Rachunek zdań
- Logika i teoria mnogości/Wykład 3: Rachunek predykatów, przykład teorii w rachunku predykatów
- Logika i teoria mnogości/Wykład 4: Teoria mnogości ZFC. Operacje na zbiorach
- Logika i teoria mnogości/Wykład 5.2
- Logika i teoria mnogości/Wykład 5.2: Iloczyn kartezjański(dla dociekliwych)
- Logika i teoria mnogości/Wykład 5: Para uporządkowana, iloczyn kartezjański, relacje, domykanie relacji, relacja równoważności, rozkłady zbiorów
- Logika i teoria mnogości/Wykład 6: Funkcje, tw. o faktoryzacji, produkt uogólniony, obrazy i przeciwobrazy, tw. Knastera-Tarskiego i lemat Banacha
- Logika i teoria mnogości/Wykład 7: Konstrukcja von Neumanna liczb naturalnych, twierdzenie o indukcji, zasady minimum, maksimum, definiowanie przez indukcje
- Logika i teoria mnogości/Wykład 8: Konstrukcje liczbowe, liczby całkowite, wymierne, konstrukcja Cantora liczb rzeczywistych: działania i porządek
- Logika i teoria mnogości/Wykład 9: Teoria mocy twierdzenie Cantora-Bernsteina, twierdzenie Cantora. Zbiory przeliczalne, zbiory mocy kontinuum
