Wkład użytkownika Matiunreal
Z Studia Informatyczne
Wyniki dla użytkownika Matiunreal dyskusja blokady przesłane pliki rejestry
Użytkownik(-czka) wykonał(a) 1525 edycji. Konto utworzone 30 lip 2006.
31 sie 2006
- 02:4002:40, 31 sie 2006 różn. hist. 0 Logika i teoria mnogości/Wykład 8: Konstrukcje liczbowe, liczby całkowite, wymierne, konstrukcja Cantora liczb rzeczywistych: działania i porządek →Rozwijanie liczb rzeczywistych przy podstawie <math>\displaystyle 2</math>
- 02:4002:40, 31 sie 2006 różn. hist. +9 Logika i teoria mnogości/Wykład 8: Konstrukcje liczbowe, liczby całkowite, wymierne, konstrukcja Cantora liczb rzeczywistych: działania i porządek →Konstrukcja Cantora liczb rzeczywistych
- 02:3802:38, 31 sie 2006 różn. hist. 0 Logika i teoria mnogości/Wykład 8: Konstrukcje liczbowe, liczby całkowite, wymierne, konstrukcja Cantora liczb rzeczywistych: działania i porządek Nie podano opisu zmian
- 02:3502:35, 31 sie 2006 różn. hist. +4 Logika i teoria mnogości/Wykład 7: Konstrukcja von Neumanna liczb naturalnych, twierdzenie o indukcji, zasady minimum, maksimum, definiowanie przez indukcje →Porządek na liczbach naturalnych
- 02:3302:33, 31 sie 2006 różn. hist. +2 Logika i teoria mnogości/Wykład 7: Konstrukcja von Neumanna liczb naturalnych, twierdzenie o indukcji, zasady minimum, maksimum, definiowanie przez indukcje →Zbiory induktywne
- 02:3202:32, 31 sie 2006 różn. hist. +6 Logika i teoria mnogości/Wykład 7: Konstrukcja von Neumanna liczb naturalnych, twierdzenie o indukcji, zasady minimum, maksimum, definiowanie przez indukcje →Wstęp
- 02:2802:28, 31 sie 2006 różn. hist. +1 Logika i teoria mnogości/Wykład 6: Funkcje, tw. o faktoryzacji, produkt uogólniony, obrazy i przeciwobrazy, tw. Knastera-Tarskiego i lemat Banacha →Twierdzenie Knastra-Tarskiego (patrz Bronisław Knaster i Alfred Tarski
- 02:2802:28, 31 sie 2006 różn. hist. +5 Logika i teoria mnogości/Wykład 6: Funkcje, tw. o faktoryzacji, produkt uogólniony, obrazy i przeciwobrazy, tw. Knastera-Tarskiego i lemat Banacha →Produkt uogólniony
- 02:2602:26, 31 sie 2006 różn. hist. +1 Logika i teoria mnogości/Wykład 6: Funkcje, tw. o faktoryzacji, produkt uogólniony, obrazy i przeciwobrazy, tw. Knastera-Tarskiego i lemat Banacha →Iniekcja i suriekcja
- 02:2602:26, 31 sie 2006 różn. hist. −10 Logika i teoria mnogości/Wykład 6: Funkcje, tw. o faktoryzacji, produkt uogólniony, obrazy i przeciwobrazy, tw. Knastera-Tarskiego i lemat Banacha →Iniekcja i suriekcja
- 02:2502:25, 31 sie 2006 różn. hist. −9 Logika i teoria mnogości/Wykład 6: Funkcje, tw. o faktoryzacji, produkt uogólniony, obrazy i przeciwobrazy, tw. Knastera-Tarskiego i lemat Banacha →Iniekcja i suriekcja
- 02:2402:24, 31 sie 2006 różn. hist. −12 Logika i teoria mnogości/Wykład 6: Funkcje, tw. o faktoryzacji, produkt uogólniony, obrazy i przeciwobrazy, tw. Knastera-Tarskiego i lemat Banacha →Iniekcja i suriekcja
- 02:2302:23, 31 sie 2006 różn. hist. −11 Logika i teoria mnogości/Wykład 6: Funkcje, tw. o faktoryzacji, produkt uogólniony, obrazy i przeciwobrazy, tw. Knastera-Tarskiego i lemat Banacha →Obrazy i przeciwobrazy
- 02:2102:21, 31 sie 2006 różn. hist. +1 Logika i teoria mnogości/Wykład 6: Funkcje, tw. o faktoryzacji, produkt uogólniony, obrazy i przeciwobrazy, tw. Knastera-Tarskiego i lemat Banacha →Obrazy i przeciwobrazy
- 02:1802:18, 31 sie 2006 różn. hist. −12 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ą Nie podano opisu zmian
- 02:1702:17, 31 sie 2006 różn. hist. −27 Logika i teoria mnogości/Wykład 11: Zbiory dobrze uporządkowane. Lemat Kuratowskiego Zorna i twierdzenie Zermelo, przykłady Nie podano opisu zmian
- 02:1502:15, 31 sie 2006 różn. hist. −26 Logika i teoria mnogości/Wykład 6: Funkcje, tw. o faktoryzacji, produkt uogólniony, obrazy i przeciwobrazy, tw. Knastera-Tarskiego i lemat Banacha Nie podano opisu zmian
- 02:1302:13, 31 sie 2006 różn. hist. −27 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 Nie podano opisu zmian
- 02:1202:12, 31 sie 2006 różn. hist. −39 Logika i teoria mnogości/Wykład 4: Teoria mnogości ZFC. Operacje na zbiorach Nie podano opisu zmian
- 02:1102:11, 31 sie 2006 różn. hist. −28 Logika i teoria mnogości/Wykład 3: Rachunek predykatów, przykład teorii w rachunku predykatów Nie podano opisu zmian
- 02:0902:09, 31 sie 2006 różn. hist. −49 Logika i teoria mnogości/Wykład 2: Rachunek zdań Nie podano opisu zmian
- 02:0702:07, 31 sie 2006 różn. hist. −9 Logika i teoria mnogości/Wykład 1: Po co nam teoria mnogości? Naiwna teoria mnogości, naiwna indukcja, naiwne dowody niewprost Nie podano opisu zmian
- 02:0502:05, 31 sie 2006 różn. hist. +26 Logika i teoria mnogości/Wykład 6: Funkcje, tw. o faktoryzacji, produkt uogólniony, obrazy i przeciwobrazy, tw. Knastera-Tarskiego i lemat Banacha Nie podano opisu zmian
- 01:4901:49, 31 sie 2006 różn. hist. +26 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 Nie podano opisu zmian
- 01:4601:46, 31 sie 2006 różn. hist. +7 Logika i teoria mnogości/Wykład 4: Teoria mnogości ZFC. Operacje na zbiorach →6. Schemat aksjomatu wyróżniania
- 01:4501:45, 31 sie 2006 różn. hist. +10 Logika i teoria mnogości/Wykład 4: Teoria mnogości ZFC. Operacje na zbiorach →6. Schemat aksjomatu wyróżniania
- 01:4201:42, 31 sie 2006 różn. hist. +3 Logika i teoria mnogości/Wykład 4: Teoria mnogości ZFC. Operacje na zbiorach →8. Aksjomat Zbioru Potęgowego
- 01:3401:34, 31 sie 2006 różn. hist. +39 Logika i teoria mnogości/Wykład 4: Teoria mnogości ZFC. Operacje na zbiorach Nie podano opisu zmian
- 01:3201:32, 31 sie 2006 różn. hist. +4 Logika i teoria mnogości/Wykład 4: Teoria mnogości ZFC. Operacje na zbiorach →Schemat Aksjomatu Zastępowania
- 01:3201:32, 31 sie 2006 różn. hist. +4 Logika i teoria mnogości/Wykład 4: Teoria mnogości ZFC. Operacje na zbiorach →Aksjomat Regularności
- 01:3201:32, 31 sie 2006 różn. hist. +2 Logika i teoria mnogości/Wykład 4: Teoria mnogości ZFC. Operacje na zbiorach →Aksjomat Wyboru
- 01:3101:31, 31 sie 2006 różn. hist. +4 Logika i teoria mnogości/Wykład 4: Teoria mnogości ZFC. Operacje na zbiorach →Wstęp
- 01:2701:27, 31 sie 2006 różn. hist. +6 Logika i teoria mnogości/Wykład 11: Zbiory dobrze uporządkowane. Lemat Kuratowskiego Zorna i twierdzenie Zermelo, przykłady →3.3 Twierdzenie Ernsta Zermelo
- 01:2601:26, 31 sie 2006 różn. hist. +11 Logika i teoria mnogości/Wykład 11: Zbiory dobrze uporządkowane. Lemat Kuratowskiego Zorna i twierdzenie Zermelo, przykłady →3.2 Twierdzenia dotyczące porządków
- 01:2501:25, 31 sie 2006 różn. hist. +34 Logika i teoria mnogości/Wykład 11: Zbiory dobrze uporządkowane. Lemat Kuratowskiego Zorna i twierdzenie Zermelo, przykłady →3.2 Twierdzenia dotyczące porządków
- 01:2101:21, 31 sie 2006 różn. hist. +1 Logika i teoria mnogości/Wykład 11: Zbiory dobrze uporządkowane. Lemat Kuratowskiego Zorna i twierdzenie Zermelo, przykłady →5. Podsumowanie
- 01:1601:16, 31 sie 2006 różn. hist. +3 Logika i teoria mnogości/Wykład 11: Zbiory dobrze uporządkowane. Lemat Kuratowskiego Zorna i twierdzenie Zermelo, przykłady Nie podano opisu zmian
- 01:1501:15, 31 sie 2006 różn. hist. −189 Logika i teoria mnogości/Wykład 11: Zbiory dobrze uporządkowane. Lemat Kuratowskiego Zorna i twierdzenie Zermelo, przykłady →4. Twierdzenia wymagające aksjomatu wyboru
- 01:1501:15, 31 sie 2006 różn. hist. +189 Logika i teoria mnogości/Wykład 11: Zbiory dobrze uporządkowane. Lemat Kuratowskiego Zorna i twierdzenie Zermelo, przykłady →4. Twierdzenia wymagające aksjomatu wyboru
- 01:0801:08, 31 sie 2006 różn. hist. +3 Logika i teoria mnogości/Wykład 11: Zbiory dobrze uporządkowane. Lemat Kuratowskiego Zorna i twierdzenie Zermelo, przykłady →3. Aksjomat wyboru i twierdzenia mu równoważne
- 01:0801:08, 31 sie 2006 różn. hist. +3 Logika i teoria mnogości/Wykład 11: Zbiory dobrze uporządkowane. Lemat Kuratowskiego Zorna i twierdzenie Zermelo, przykłady →2. Zbiory dobrze uporządkowane
- 01:0701:07, 31 sie 2006 różn. hist. +28 Logika i teoria mnogości/Wykład 11: Zbiory dobrze uporządkowane. Lemat Kuratowskiego Zorna i twierdzenie Zermelo, przykłady Nie podano opisu zmian
- 01:0401:04, 31 sie 2006 różn. hist. +2 Logika i teoria mnogości/Wykład 1: Po co nam teoria mnogości? Naiwna teoria mnogości, naiwna indukcja, naiwne dowody niewprost Nie podano opisu zmian
- 00:5900:59, 31 sie 2006 różn. hist. +2 Logika i teoria mnogości/Wykład 3: Rachunek predykatów, przykład teorii w rachunku predykatów →4. Modele
- 00:5900:59, 31 sie 2006 różn. hist. 0 Logika i teoria mnogości/Wykład 3: Rachunek predykatów, przykład teorii w rachunku predykatów →4. Modele
- 00:5900:59, 31 sie 2006 różn. hist. +4 Logika i teoria mnogości/Wykład 3: Rachunek predykatów, przykład teorii w rachunku predykatów →3. Aksjomatyka Rachunku Predykatów
- 00:5500:55, 31 sie 2006 różn. hist. +28 Logika i teoria mnogości/Wykład 3: Rachunek predykatów, przykład teorii w rachunku predykatów Nie podano opisu zmian
- 00:3900:39, 31 sie 2006 różn. hist. +209 Logika i teoria mnogości/Wykład 2: Rachunek zdań →4.2 Inne spójniki
- 00:3300:33, 31 sie 2006 różn. hist. −3 Logika i teoria mnogości/Wykład 2: Rachunek zdań →4.1 Twierdzenie o pełności
- 00:3300:33, 31 sie 2006 różn. hist. +749 Logika i teoria mnogości/Wykład 2: Rachunek zdań →4.1 Twierdzenie o pełności
