Wkład użytkownika Kubakozik
Z Studia Informatyczne
Wyniki dla użytkownika Kubakozik dyskusja blokady przesłane pliki rejestry
Użytkownik(-czka) wykonał(a) 109 edycji. Konto utworzone 5 lip 2006.
16 wrz 2006
- 21:3921:39, 16 wrz 2006 różn. hist. −36 m 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
- 21:2421:24, 16 wrz 2006 różn. hist. 0 m 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
- 21:2321:23, 16 wrz 2006 różn. hist. +162 m 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
- 21:1821:18, 16 wrz 2006 różn. hist. +2 m 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 o faktoryzacji
- 21:1521:15, 16 wrz 2006 różn. hist. +39 m 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
- 21:0221:02, 16 wrz 2006 różn. hist. +140 m 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
- 20:5620:56, 16 wrz 2006 różn. hist. +27 m Logika i teoria mnogości/Wykład 6: Funkcje, tw. o faktoryzacji, produkt uogólniony, obrazy i przeciwobrazy, tw. Knastera-Tarskiego i lemat Banacha →Funkcja jako relacja
- 20:5120:51, 16 wrz 2006 różn. hist. −6 m Logika i teoria mnogości/Wykład 6: Funkcje, tw. o faktoryzacji, produkt uogólniony, obrazy i przeciwobrazy, tw. Knastera-Tarskiego i lemat Banacha →Wprowadzenie
- 18:1118:11, 16 wrz 2006 różn. hist. +254 Logika i teoria mnogości/Wykład 5.2 →Iloczyn kartezjański i podobne konstrukcje
- 17:5617:56, 16 wrz 2006 różn. hist. +3 Logika i teoria mnogości/Wykład 5.2 Nie podano opisu zmian
- 17:5017:50, 16 wrz 2006 różn. hist. +229 m 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 →Relacje równoważności
- 17:1417:14, 16 wrz 2006 różn. hist. −56 m 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 →Relacje
- 17:0917:09, 16 wrz 2006 różn. hist. +5 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 →Iloczyn kartezjański
- 17:0217:02, 16 wrz 2006 różn. hist. +53 m 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 →Para uporządkowana
- 16:4916:49, 16 wrz 2006 różn. hist. +6 Logika i teoria mnogości/Wykład 4: Teoria mnogości ZFC. Operacje na zbiorach →Podsumowanie
- 16:4816:48, 16 wrz 2006 różn. hist. +6 m Logika i teoria mnogości/Wykład 4: Teoria mnogości ZFC. Operacje na zbiorach →Aksjomat Wyboru
- 16:4416:44, 16 wrz 2006 różn. hist. −7 m Logika i teoria mnogości/Wykład 4: Teoria mnogości ZFC. Operacje na zbiorach →Aksjomat Regularności
- 16:4316:43, 16 wrz 2006 różn. hist. +235 m Logika i teoria mnogości/Wykład 4: Teoria mnogości ZFC. Operacje na zbiorach →Aksjomat Regularności
- 16:3616:36, 16 wrz 2006 różn. hist. +14 m Logika i teoria mnogości/Wykład 4: Teoria mnogości ZFC. Operacje na zbiorach →Schemat Aksjomatu Zastępowania
- 16:3116:31, 16 wrz 2006 różn. hist. +20 m Logika i teoria mnogości/Wykład 4: Teoria mnogości ZFC. Operacje na zbiorach →Aksjomat Zbioru Potęgowego
- 16:2616:26, 16 wrz 2006 różn. hist. +7 m Logika i teoria mnogości/Wykład 4: Teoria mnogości ZFC. Operacje na zbiorach →Aksjomat Nieskończoności
- 16:2316:23, 16 wrz 2006 różn. hist. +85 Logika i teoria mnogości/Wykład 4: Teoria mnogości ZFC. Operacje na zbiorach →Schemat aksjomatu wyróżniania
- 16:1316:13, 16 wrz 2006 różn. hist. +24 m Logika i teoria mnogości/Wykład 4: Teoria mnogości ZFC. Operacje na zbiorach →Aksjomat Sumy
- 16:0216:02, 16 wrz 2006 różn. hist. +64 Logika i teoria mnogości/Wykład 4: Teoria mnogości ZFC. Operacje na zbiorach →Aksjomat Pary
- 15:4715:47, 16 wrz 2006 różn. hist. +2 Logika i teoria mnogości/Wykład 4: Teoria mnogości ZFC. Operacje na zbiorach →Aksjomat zbioru pustego
- 15:4515:45, 16 wrz 2006 różn. hist. +10 Logika i teoria mnogości/Wykład 4: Teoria mnogości ZFC. Operacje na zbiorach →Podstawowe definicje
- 15:4215:42, 16 wrz 2006 różn. hist. −1 m Logika i teoria mnogości/Wykład 4: Teoria mnogości ZFC. Operacje na zbiorach →Wstęp
- 15:4215:42, 16 wrz 2006 różn. hist. +4 Logika i teoria mnogości/Wykład 4: Teoria mnogości ZFC. Operacje na zbiorach →Wstęp
- 15:3715:37, 16 wrz 2006 różn. hist. +45 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Logika intuicjonistyczna
- 15:2715:27, 16 wrz 2006 różn. hist. +139 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Postacie normalne
- 14:5114:51, 16 wrz 2006 różn. hist. −7246 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 →Twierdzenie Bourbaki- Witt
- 14:5014:50, 16 wrz 2006 różn. hist. +123 Logika i teoria mnogości →Moduły
- 14:5014:50, 16 wrz 2006 różn. hist. +7244 N Logika i teoria mnogości/Wykład 10.2 Nie podano opisu zmian
- 14:3714:37, 16 wrz 2006 różn. hist. −1 Logika i teoria mnogości/Wykład 5.2 →Iloczyn kartezjański i podobne konstrukcje
- 14:3114:31, 16 wrz 2006 różn. hist. +63 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 →Iloczyn kartezjański
- 14:2914:29, 16 wrz 2006 różn. hist. −5174 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 →Iloczyn kartezjański i podobne konstrukcje
- 14:2814:28, 16 wrz 2006 różn. hist. +147 Logika i teoria mnogości →Moduły
- 14:2714:27, 16 wrz 2006 różn. hist. −5172 Logika i teoria mnogości/Wykład 5.2: Iloczyn kartezjański(dla dociekliwych) →Iloczyn kartezjański i podobne konstrukcje ostatnia
- 14:2614:26, 16 wrz 2006 różn. hist. +5172 N Logika i teoria mnogości/Wykład 5.2 Nie podano opisu zmian
- 14:2514:25, 16 wrz 2006 różn. hist. +5172 N Logika i teoria mnogości/Wykład 5.2: Iloczyn kartezjański(dla dociekliwych) Nie podano opisu zmian
- 12:4212:42, 16 wrz 2006 różn. hist. +332 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Systemy funkcjonalnie pełne
- 12:3312:33, 16 wrz 2006 różn. hist. +968 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Matryca boolowska
- 11:4811:48, 16 wrz 2006 różn. hist. +54 m Logika i teoria mnogości/Wykład 2: Rachunek zdań →Aksjomatyka Klasycznego Rachunku Zdań
- 11:4111:41, 16 wrz 2006 różn. hist. +220 m Logika i teoria mnogości/Wykład 2: Rachunek zdań →Język logiki zdaniowej
- 11:3211:32, 16 wrz 2006 różn. hist. −33 m Logika i teoria mnogości/Wykład 2: Rachunek zdań →Wprowadzenie
- 11:0611:06, 16 wrz 2006 różn. hist. +3 m Logika i teoria mnogości/Wykład 1: Po co nam teoria mnogości? Naiwna teoria mnogości, naiwna indukcja, naiwne dowody niewprost →"Naiwne" dowody niewprost
- 11:0511:05, 16 wrz 2006 różn. hist. +3 m Logika i teoria mnogości/Wykład 1: Po co nam teoria mnogości? Naiwna teoria mnogości, naiwna indukcja, naiwne dowody niewprost →"Naiwne" dowody niewprost: korekty językowe
- 11:0411:04, 16 wrz 2006 różn. hist. +31 Logika i teoria mnogości/Wykład 1: Po co nam teoria mnogości? Naiwna teoria mnogości, naiwna indukcja, naiwne dowody niewprost →"Naiwna" indukcja: korekty językowe
- 10:3710:37, 16 wrz 2006 różn. hist. +35 Logika i teoria mnogości/Wykład 1: Po co nam teoria mnogości? Naiwna teoria mnogości, naiwna indukcja, naiwne dowody niewprost →"Naiwna" teoria mnogości: korekty językowe
- 10:2010:20, 16 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
