Wkład użytkownika
Z Studia Informatyczne
Dla użytkownika Kubakozik dyskusja blokady przesłane pliki rejestry
- 12:22, 17 wrz 2006 różn. hist. +34 m Logika i teoria mnogości/Wykład 8: Konstrukcje liczbowe, liczby całkowite, wymierne, konstrukcja Cantora liczb rzeczywistych: działania i porządek →Operacje na <math>\displaystyle \mathbb{Z}</math>
- 12:16, 17 wrz 2006 różn. hist. +54 m Logika i teoria mnogości/Wykład 8: Konstrukcje liczbowe, liczby całkowite, wymierne, konstrukcja Cantora liczb rzeczywistych: działania i porządek →Liczby całkowite
- 12:01, 17 wrz 2006 różn. hist. +96 m Logika i teoria mnogości/Wykład 7: Konstrukcja von Neumanna liczb naturalnych, twierdzenie o indukcji, zasady minimum, maksimum, definiowanie przez indukcje →Operacje na liczbach naturalnych
- 11:46, 17 wrz 2006 różn. hist. +44 m Logika i teoria mnogości/Wykład 7: Konstrukcja von Neumanna liczb naturalnych, twierdzenie o indukcji, zasady minimum, maksimum, definiowanie przez indukcje →Definiowanie przez indukcję
- 11:34, 17 wrz 2006 różn. hist. +38 m 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
- 11:27, 17 wrz 2006 różn. hist. +34 m Logika i teoria mnogości/Wykład 7: Konstrukcja von Neumanna liczb naturalnych, twierdzenie o indukcji, zasady minimum, maksimum, definiowanie przez indukcje →Własności liczb naturalnych
- 11:18, 17 wrz 2006 różn. hist. +5 m Logika i teoria mnogości/Wykład 7: Konstrukcja von Neumanna liczb naturalnych, twierdzenie o indukcji, zasady minimum, maksimum, definiowanie przez indukcje →Indukcja matematyczna
- 11:17, 17 wrz 2006 różn. hist. -1 m Logika i teoria mnogości/Wykład 7: Konstrukcja von Neumanna liczb naturalnych, twierdzenie o indukcji, zasady minimum, maksimum, definiowanie przez indukcje →Zbiory induktywne
- 11:12, 17 wrz 2006 różn. hist. +190 m Logika i teoria mnogości/Wykład 7: Konstrukcja von Neumanna liczb naturalnych, twierdzenie o indukcji, zasady minimum, maksimum, definiowanie przez indukcje →Wstęp
- 21: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: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: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: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: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: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: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: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:11, 16 wrz 2006 różn. hist. +254 Logika i teoria mnogości/Wykład 5.2 →Iloczyn kartezjański i podobne konstrukcje
- 17:56, 16 wrz 2006 różn. hist. +3 Logika i teoria mnogości/Wykład 5.2
- 17: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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: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:37, 16 wrz 2006 różn. hist. +45 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Logika intuicjonistyczna
- 15:27, 16 wrz 2006 różn. hist. +139 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Postacie normalne
- 14: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:50, 16 wrz 2006 różn. hist. +123 Logika i teoria mnogości →Moduły
- 14:50, 16 wrz 2006 różn. hist. +7244 N Logika i teoria mnogości/Wykład 10.2
- 14:37, 16 wrz 2006 różn. hist. -1 Logika i teoria mnogości/Wykład 5.2 →Iloczyn kartezjański i podobne konstrukcje
- 14: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: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:28, 16 wrz 2006 różn. hist. +147 Logika i teoria mnogości →Moduły
- 14: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:26, 16 wrz 2006 różn. hist. +5172 N Logika i teoria mnogości/Wykład 5.2
- 14:25, 16 wrz 2006 różn. hist. +5172 N Logika i teoria mnogości/Wykład 5.2: Iloczyn kartezjański(dla dociekliwych)
- 12:42, 16 wrz 2006 różn. hist. +332 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Systemy funkcjonalnie pełne
