Strony bez odnośników do projektów w innych językach
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Poniższe strony nie odwołują się do innych wersji językowych.
Poniżej wyświetlono co najwyżej 50 wyników w zakresie od 3751 do 3800.
- Logika i teoria mnogości
- 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
- MD Ćwiczenia 1
- MN01
- MN01LAB
- MN02
- MN02LAB
- MN03
- MN03LAB
- MN04
- MN04LAB
- MN05
- MN05LAB
- MN06
- MN06LAB
- MN07
- MN07LAB
- MN08
- MN08LAB
- MN09
- MN09LAB
- MN10
- MN10LAB
- MN11
- MN11LAB
- MN12