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.
1 wrz 2006
- 16:4916:49, 1 wrz 2006 różn. hist. +19 Logika i teoria mnogości/Wykład 3: Rachunek predykatów, przykład teorii w rachunku predykatów →Modele
- 16:4416:44, 1 wrz 2006 różn. hist. +33 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Matryca boolowska
- 16:4316:43, 1 wrz 2006 różn. hist. +2 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Inne spójniki
- 16:4116:41, 1 wrz 2006 różn. hist. +13 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Inne spójniki
- 16:3916:39, 1 wrz 2006 różn. hist. +58 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Inne spójniki
- 16:3016:30, 1 wrz 2006 różn. hist. +38 Logika i teoria mnogości/Wykład 3: Rachunek predykatów, przykład teorii w rachunku predykatów →Wprowadzenie
- 16:1516:15, 1 wrz 2006 różn. hist. +2 Logika i teoria mnogości/Wykład 3: Rachunek predykatów, przykład teorii w rachunku predykatów →Aksjomatyka Rachunku Predykatów
- 16:1416:14, 1 wrz 2006 różn. hist. +33 Logika i teoria mnogości/Wykład 2: Rachunek zdań Nie podano opisu zmian
- 16:0816:08, 1 wrz 2006 różn. hist. +3 Logika i teoria mnogości/Wykład 3: Rachunek predykatów, przykład teorii w rachunku predykatów →Modele
- 16:0516:05, 1 wrz 2006 różn. hist. +51 Logika i teoria mnogości/Wykład 3: Rachunek predykatów, przykład teorii w rachunku predykatów →Modele
- 15:5815:58, 1 wrz 2006 różn. hist. +2 Logika i teoria mnogości/Wykład 2: Rachunek zdań Nie podano opisu zmian
- 15:5615:56, 1 wrz 2006 różn. hist. −20 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Logika intuicjonistyczna
- 15:5415:54, 1 wrz 2006 różn. hist. +5 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Systemy funkcjonalnie pełne
- 15:5215:52, 1 wrz 2006 różn. hist. −51 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Systemy funkcjonalnie pełne
- 15:4315:43, 1 wrz 2006 różn. hist. 0 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Podsumowanie
- 15:3515:35, 1 wrz 2006 różn. hist. −53 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Matryca boolowska
31 sie 2006
- 13:2213:22, 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ą →Zasada indukcji
- 13:0213:02, 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 →Lemat Banacha patrz (Stefan Banach)
- 13:0013:00, 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 →Twierdzenie Knastra-Tarskiego (patrz Bronisław Knaster i Alfred Tarski
- 12:5412:54, 31 sie 2006 różn. hist. +15 Logika i teoria mnogości/Wykład 4: Teoria mnogości ZFC. Operacje na zbiorach →Aksjomat Nieskończoności
- 12:3112:31, 31 sie 2006 różn. hist. 0 Logika i teoria mnogości/Wykład 2: Rachunek zdań Nie podano opisu zmian
- 12:2912:29, 31 sie 2006 różn. hist. +2 Logika i teoria mnogości/Wykład 2: Rachunek zdań Nie podano opisu zmian
- 12:1012:10, 31 sie 2006 różn. hist. −6 Logika i teoria mnogości/Wykład 9: Teoria mocy twierdzenie Cantora-Bernsteina, twierdzenie Cantora. Zbiory przeliczalne, zbiory mocy kontinuum →Zbiory przeliczalne
- 12:0812:08, 31 sie 2006 różn. hist. −12 Logika i teoria mnogości/Wykład 9: Teoria mocy twierdzenie Cantora-Bernsteina, twierdzenie Cantora. Zbiory przeliczalne, zbiory mocy kontinuum →Zbiory przeliczalne
- 12:0712:07, 31 sie 2006 różn. hist. +9 Logika i teoria mnogości/Wykład 9: Teoria mocy twierdzenie Cantora-Bernsteina, twierdzenie Cantora. Zbiory przeliczalne, zbiory mocy kontinuum →Zbiory przeliczalne
- 12:0412:04, 31 sie 2006 różn. hist. +40 Logika i teoria mnogości/Wykład 9: Teoria mocy twierdzenie Cantora-Bernsteina, twierdzenie Cantora. Zbiory przeliczalne, zbiory mocy kontinuum →Zbiory przeliczalne
- 12:0012:00, 31 sie 2006 różn. hist. +21 Logika i teoria mnogości/Wykład 9: Teoria mocy twierdzenie Cantora-Bernsteina, twierdzenie Cantora. Zbiory przeliczalne, zbiory mocy kontinuum →Zbiory przeliczalne
- 11:5611:56, 31 sie 2006 różn. hist. +21 Logika i teoria mnogości/Wykład 9: Teoria mocy twierdzenie Cantora-Bernsteina, twierdzenie Cantora. Zbiory przeliczalne, zbiory mocy kontinuum →Teoria mocy
- 11:5411:54, 31 sie 2006 różn. hist. −1 Logika i teoria mnogości/Wykład 9: Teoria mocy twierdzenie Cantora-Bernsteina, twierdzenie Cantora. Zbiory przeliczalne, zbiory mocy kontinuum →Teoria mocy
- 11:5311:53, 31 sie 2006 różn. hist. −4 Logika i teoria mnogości/Wykład 9: Teoria mocy twierdzenie Cantora-Bernsteina, twierdzenie Cantora. Zbiory przeliczalne, zbiory mocy kontinuum →Teoria mocy
- 11:5111:51, 31 sie 2006 różn. hist. +5 Logika i teoria mnogości/Wykład 9: Teoria mocy twierdzenie Cantora-Bernsteina, twierdzenie Cantora. Zbiory przeliczalne, zbiory mocy kontinuum →Teoria mocy
- 11:4611:46, 31 sie 2006 różn. hist. −1 Logika i teoria mnogości/Wykład 9: Teoria mocy twierdzenie Cantora-Bernsteina, twierdzenie Cantora. Zbiory przeliczalne, zbiory mocy kontinuum →Teoria mocy
- 11:4211:42, 31 sie 2006 różn. hist. +2 Logika i teoria mnogości/Wykład 9: Teoria mocy twierdzenie Cantora-Bernsteina, twierdzenie Cantora. Zbiory przeliczalne, zbiory mocy kontinuum →Teoria mocy
- 11:4011:40, 31 sie 2006 różn. hist. +4 Logika i teoria mnogości/Wykład 9: Teoria mocy twierdzenie Cantora-Bernsteina, twierdzenie Cantora. Zbiory przeliczalne, zbiory mocy kontinuum →Zbiory przeliczalne
- 11:3911:39, 31 sie 2006 różn. hist. +4 Logika i teoria mnogości/Wykład 9: Teoria mocy twierdzenie Cantora-Bernsteina, twierdzenie Cantora. Zbiory przeliczalne, zbiory mocy kontinuum →Zbiory przeliczalne
- 11:3611:36, 31 sie 2006 różn. hist. −21 Logika i teoria mnogości/Wykład 9: Teoria mocy twierdzenie Cantora-Bernsteina, twierdzenie Cantora. Zbiory przeliczalne, zbiory mocy kontinuum →Zbiory mocy kontinuum
- 11:3311:33, 31 sie 2006 różn. hist. −24 Logika i teoria mnogości/Wykład 9: Teoria mocy twierdzenie Cantora-Bernsteina, twierdzenie Cantora. Zbiory przeliczalne, zbiory mocy kontinuum →Zbiory mocy kontinuum
- 11:3111:31, 31 sie 2006 różn. hist. +3 Logika i teoria mnogości/Wykład 9: Teoria mocy twierdzenie Cantora-Bernsteina, twierdzenie Cantora. Zbiory przeliczalne, zbiory mocy kontinuum →Zbiory mocy kontinuum
- 11:2711:27, 31 sie 2006 różn. hist. −2 Logika i teoria mnogości/Wykład 9: Teoria mocy twierdzenie Cantora-Bernsteina, twierdzenie Cantora. Zbiory przeliczalne, zbiory mocy kontinuum →Zbiory mocy kontinuum
- 11:2511:25, 31 sie 2006 różn. hist. −1 Logika i teoria mnogości/Wykład 9: Teoria mocy twierdzenie Cantora-Bernsteina, twierdzenie Cantora. Zbiory przeliczalne, zbiory mocy kontinuum →Zbiory mocy kontinuum
- 11:1511:15, 31 sie 2006 różn. hist. −6 Logika i teoria mnogości/Wykład 9: Teoria mocy twierdzenie Cantora-Bernsteina, twierdzenie Cantora. Zbiory przeliczalne, zbiory mocy kontinuum →Zbiory mocy kontinuum
- 11:1311:13, 31 sie 2006 różn. hist. −4 Logika i teoria mnogości/Wykład 9: Teoria mocy twierdzenie Cantora-Bernsteina, twierdzenie Cantora. Zbiory przeliczalne, zbiory mocy kontinuum Nie podano opisu zmian
- 11:1011:10, 31 sie 2006 różn. hist. +19 Logika i teoria mnogości/Wykład 9: Teoria mocy twierdzenie Cantora-Bernsteina, twierdzenie Cantora. Zbiory przeliczalne, zbiory mocy kontinuum Nie podano opisu zmian
- 11:0511:05, 31 sie 2006 różn. hist. −11 Logika i teoria mnogości/Wykład 9: Teoria mocy twierdzenie Cantora-Bernsteina, twierdzenie Cantora. Zbiory przeliczalne, zbiory mocy kontinuum Nie podano opisu zmian
- 11:0011:00, 31 sie 2006 różn. hist. 0 Logika i teoria mnogości/Wykład 9: Teoria mocy twierdzenie Cantora-Bernsteina, twierdzenie Cantora. Zbiory przeliczalne, zbiory mocy kontinuum Nie podano opisu zmian
- 10:5610:56, 31 sie 2006 różn. hist. +12 Logika i teoria mnogości/Wykład 9: Teoria mocy twierdzenie Cantora-Bernsteina, twierdzenie Cantora. Zbiory przeliczalne, zbiory mocy kontinuum Nie podano opisu zmian
- 10:5010:50, 31 sie 2006 różn. hist. +46 Logika i teoria mnogości/Wykład 9: Teoria mocy twierdzenie Cantora-Bernsteina, twierdzenie Cantora. Zbiory przeliczalne, zbiory mocy kontinuum Nie podano opisu zmian
- 10:3710:37, 31 sie 2006 różn. hist. +207 Logika i teoria mnogości/Wykład 9: Teoria mocy twierdzenie Cantora-Bernsteina, twierdzenie Cantora. Zbiory przeliczalne, zbiory mocy kontinuum Nie podano opisu zmian
- 10:1610:16, 31 sie 2006 różn. hist. +53 Logika i teoria mnogości/Wykład 9: Teoria mocy twierdzenie Cantora-Bernsteina, twierdzenie Cantora. Zbiory przeliczalne, zbiory mocy kontinuum →Teoria mocy
- 02:4402:44, 31 sie 2006 różn. hist. 0 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 →Zbiory uporządkowane
