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.
5 paź 2009
- 07:0507:05, 5 paź 2009 różn. hist. +16 Logika i teoria mnogości/Wykład 3: Rachunek predykatów, przykład teorii w rachunku predykatów →Podstawienia
11 wrz 2009
- 10:1310:13, 11 wrz 2009 różn. hist. +4 Logika i teoria mnogości/Wykład 3: Rachunek predykatów, przykład teorii w rachunku predykatów →Przykład teorii w rachunku predykatów
- 10:1310:13, 11 wrz 2009 różn. hist. +1108 Logika i teoria mnogości/Wykład 3: Rachunek predykatów, przykład teorii w rachunku predykatów →Przykład teorii w rachunku predykatów
11 sie 2009
- 10:3510:35, 11 sie 2009 różn. hist. +409 Logika i teoria mnogości/Wykład 3: Rachunek predykatów, przykład teorii w rachunku predykatów dodanie generalizacji aksjomatów
22 paź 2006
- 18:2318:23, 22 paź 2006 różn. hist. +2 m Logika i teoria mnogości/Wykład 2: Rachunek zdań →Systemy funkcjonalnie pełne
9 paź 2006
- 21:0121:01, 9 paź 2006 różn. hist. +1 m Logika i teoria mnogości/Wykład 3: Rachunek predykatów, przykład teorii w rachunku predykatów →Aksjomatyka Rachunku Predykatów
- 20:5920:59, 9 paź 2006 różn. hist. +3 m Logika i teoria mnogości/Wykład 2: Rachunek zdań →Aksjomaty
6 paź 2006
- 22:1522:15, 6 paź 2006 różn. hist. +793 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Język logiki zdaniowej
30 wrz 2006
- 08:2808:28, 30 wrz 2006 różn. hist. +1433 Logika i teoria mnogości/Wykład 3: Rachunek predykatów, przykład teorii w rachunku predykatów →Aksjomatyka Rachunku Predykatów
29 wrz 2006
25 wrz 2006
- 20:0720:07, 25 wrz 2006 różn. hist. 0 m Logika i teoria mnogości/Wykład 3: Rachunek predykatów, przykład teorii w rachunku predykatów →Modele
- 20:0320:03, 25 wrz 2006 różn. hist. +10 263 m Logika i teoria mnogości/Wykład 3: Rachunek predykatów, przykład teorii w rachunku predykatów →Modele
- 19:2019:20, 25 wrz 2006 różn. hist. −594 m Logika i teoria mnogości/Wykład 3: Rachunek predykatów, przykład teorii w rachunku predykatów →Modele
- 19:0919:09, 25 wrz 2006 różn. hist. +664 m Logika i teoria mnogości/Wykład 3: Rachunek predykatów, przykład teorii w rachunku predykatów →Modele
- 18:4618:46, 25 wrz 2006 różn. hist. +3415 m Logika i teoria mnogości/Wykład 3: Rachunek predykatów, przykład teorii w rachunku predykatów →Aksjomatyka Rachunku Predykatów
- 18:4218:42, 25 wrz 2006 różn. hist. +27 m Logika i teoria mnogości/Wykład 2: Rachunek zdań →Twierdzenie o pełności
- 18:3418:34, 25 wrz 2006 różn. hist. −2 m Logika i teoria mnogości/Wykład 3: Rachunek predykatów, przykład teorii w rachunku predykatów →Podstawienia
- 18:3318:33, 25 wrz 2006 różn. hist. +874 m Logika i teoria mnogości/Wykład 3: Rachunek predykatów, przykład teorii w rachunku predykatów →Podstawienia
- 18:2418:24, 25 wrz 2006 różn. hist. +74 m Logika i teoria mnogości/Wykład 3: Rachunek predykatów, przykład teorii w rachunku predykatów →Zmienne wolne i związane
- 18:2318:23, 25 wrz 2006 różn. hist. −5 m Logika i teoria mnogości/Wykład 3: Rachunek predykatów, przykład teorii w rachunku predykatów →Kwantyfikatory ograniczone
- 18:2118:21, 25 wrz 2006 różn. hist. −37 m Logika i teoria mnogości/Wykład 3: Rachunek predykatów, przykład teorii w rachunku predykatów →Język rachunku predykatów
- 18:0518:05, 25 wrz 2006 różn. hist. +723 m 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ą →Liczby porządkowe
21 wrz 2006
- 09:5909:59, 21 wrz 2006 różn. hist. +667 m 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
- 09:4909:49, 21 wrz 2006 różn. hist. +35 m Logika i teoria mnogości/Wykład 11: Zbiory dobrze uporządkowane. Lemat Kuratowskiego Zorna i twierdzenie Zermelo, przykłady →Twierdzenie Ernsta Zermelo
- 09:3509:35, 21 wrz 2006 różn. hist. −6 m 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ą →Dobre uporządkowanie
- 09:3109:31, 21 wrz 2006 różn. hist. +260 m 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ą →Dobre uporządkowanie
- 09:1509:15, 21 wrz 2006 różn. hist. +2 m 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ą →Wprowadzenie
- 09:1409:14, 21 wrz 2006 różn. hist. +132 Logika i teoria mnogości/Wykład 11: Zbiory dobrze uporządkowane. Lemat Kuratowskiego Zorna i twierdzenie Zermelo, przykłady →Aksjomat wyboru i twierdzenia mu równoważne
18 wrz 2006
- 11:1311:13, 18 wrz 2006 różn. hist. +6 m Logika i teoria mnogości/Wykład 11: Zbiory dobrze uporządkowane. Lemat Kuratowskiego Zorna i twierdzenie Zermelo, przykłady →Podsumowanie
- 11:1011:10, 18 wrz 2006 różn. hist. +99 m Logika i teoria mnogości/Wykład 11: Zbiory dobrze uporządkowane. Lemat Kuratowskiego Zorna i twierdzenie Zermelo, przykłady →Twierdzenia wymagające aksjomatu wyboru
- 10:5810:58, 18 wrz 2006 różn. hist. +25 m Logika i teoria mnogości/Wykład 11: Zbiory dobrze uporządkowane. Lemat Kuratowskiego Zorna i twierdzenie Zermelo, przykłady →Aksjomat wyboru i twierdzenia mu równoważne
- 10:0410:04, 18 wrz 2006 różn. hist. −1 m Logika i teoria mnogości/Wykład 11: Zbiory dobrze uporządkowane. Lemat Kuratowskiego Zorna i twierdzenie Zermelo, przykłady →Zbiory dobrze uporządkowane
- 10:0310:03, 18 wrz 2006 różn. hist. +1 m Logika i teoria mnogości/Wykład 11: Zbiory dobrze uporządkowane. Lemat Kuratowskiego Zorna i twierdzenie Zermelo, przykłady →Wstęp
17 wrz 2006
- 19:5619:56, 17 wrz 2006 różn. hist. +28 m Logika i teoria mnogości/Wykład 10.2 →Twierdzenie Bourbaki- Witt
- 19:5019:50, 17 wrz 2006 różn. hist. +515 m 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 liniowo uporządkowane
- 19:2619:26, 17 wrz 2006 różn. hist. +113 m 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
- 19:0419:04, 17 wrz 2006 różn. hist. +39 m Logika i teoria mnogości/Wykład 9: Teoria mocy twierdzenie Cantora-Bernsteina, twierdzenie Cantora. Zbiory przeliczalne, zbiory mocy kontinuum →Ćwiczenia
- 18:5518:55, 17 wrz 2006 różn. hist. +856 m Logika i teoria mnogości/Wykład 9: Teoria mocy twierdzenie Cantora-Bernsteina, twierdzenie Cantora. Zbiory przeliczalne, zbiory mocy kontinuum →Zbiory mocy kontinuum
- 18:1318:13, 17 wrz 2006 różn. hist. +1436 m Logika i teoria mnogości/Wykład 9: Teoria mocy twierdzenie Cantora-Bernsteina, twierdzenie Cantora. Zbiory przeliczalne, zbiory mocy kontinuum →Zbiory przeliczalne
- 18:0618:06, 17 wrz 2006 różn. hist. +30 m Logika i teoria mnogości/Wykład 4: Teoria mnogości ZFC. Operacje na zbiorach →Aksjomat Regularności
- 17:4317:43, 17 wrz 2006 różn. hist. +33 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
- 17:3517:35, 17 wrz 2006 różn. hist. +918 m Logika i teoria mnogości/Wykład 9: Teoria mocy twierdzenie Cantora-Bernsteina, twierdzenie Cantora. Zbiory przeliczalne, zbiory mocy kontinuum →Teoria mocy
- 17:2717:27, 17 wrz 2006 różn. hist. +35 m Logika i teoria mnogości/Wykład 11: Zbiory dobrze uporządkowane. Lemat Kuratowskiego Zorna i twierdzenie Zermelo, przykłady →Twierdzenia wymagające aksjomatu wyboru
- 17:1617:16, 17 wrz 2006 różn. hist. +34 m Logika i teoria mnogości/Wykład 11: Zbiory dobrze uporządkowane. Lemat Kuratowskiego Zorna i twierdzenie Zermelo, przykłady →Twierdzenia dotyczące zbiorów
- 17:0917:09, 17 wrz 2006 różn. hist. 0 m Logika i teoria mnogości →Moduły
- 13:3013:30, 17 wrz 2006 różn. hist. +155 m 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
- 13:0213:02, 17 wrz 2006 różn. hist. +213 m 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
- 13:0113:01, 17 wrz 2006 różn. hist. 0 m Logika i teoria mnogości/Wykład 8: Konstrukcje liczbowe, liczby całkowite, wymierne, konstrukcja Cantora liczb rzeczywistych: działania i porządek →Porządek ułamków.
- 12:5912:59, 17 wrz 2006 różn. hist. +33 m Logika i teoria mnogości/Wykład 8: Konstrukcje liczbowe, liczby całkowite, wymierne, konstrukcja Cantora liczb rzeczywistych: działania i porządek →Porządek ułamków.
- 12:4012:40, 17 wrz 2006 różn. hist. +88 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 wymierne
