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.
4 wrz 2006
- 22:3322:33, 4 wrz 2006 różn. hist. 0 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Logika intuicjonistyczna
- 22:3322:33, 4 wrz 2006 różn. hist. −22 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Logika intuicjonistyczna
- 22:3022:30, 4 wrz 2006 różn. hist. +1 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Spełnialność
- 22:2922:29, 4 wrz 2006 różn. hist. +3 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Spełnialność
- 22:2822:28, 4 wrz 2006 różn. hist. +583 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Spełnialność
- 22:2522:25, 4 wrz 2006 różn. hist. +535 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Postacie normalne
- 22:1922:19, 4 wrz 2006 różn. hist. −53 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Systemy funkcjonalnie pełne
- 22:1822:18, 4 wrz 2006 różn. hist. −49 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Matryca boolowska
- 22:1622:16, 4 wrz 2006 różn. hist. +29 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Matryca boolowska
- 22:1422:14, 4 wrz 2006 różn. hist. −11 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Systemy funkcjonalnie pełne
- 22:1222:12, 4 wrz 2006 różn. hist. +4728 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Systemy funkcjonalnie pełne
- 22:0722:07, 4 wrz 2006 różn. hist. +103 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Systemy funkcjonalnie pełne
- 22:0422:04, 4 wrz 2006 różn. hist. +18 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Systemy funkcjonalnie pełne
- 22:0322:03, 4 wrz 2006 różn. hist. −46 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Systemy funkcjonalnie pełne
- 22:0122:01, 4 wrz 2006 różn. hist. +32 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Inne spójniki
- 21:5721:57, 4 wrz 2006 różn. hist. +10 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Systemy funkcjonalnie pełne
- 21:5521:55, 4 wrz 2006 różn. hist. +16 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Systemy funkcjonalnie pełne
- 21:5321:53, 4 wrz 2006 różn. hist. +1752 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Systemy funkcjonalnie pełne
- 21:4321:43, 4 wrz 2006 różn. hist. +50 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Systemy funkcjonalnie pełne
- 21:4121:41, 4 wrz 2006 różn. hist. +4 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Systemy funkcjonalnie pełne
- 21:4021:40, 4 wrz 2006 różn. hist. +32 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Matryca boolowska
- 21:3821:38, 4 wrz 2006 różn. hist. −32 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Systemy funkcjonalnie pełne
- 21:3521:35, 4 wrz 2006 różn. hist. −93 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Systemy funkcjonalnie pełne
- 21:3421:34, 4 wrz 2006 różn. hist. +10 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Systemy funkcjonalnie pełne
- 21:2821:28, 4 wrz 2006 różn. hist. +3 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Systemy funkcjonalnie pełne
- 21:2521:25, 4 wrz 2006 różn. hist. −1 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Systemy funkcjonalnie pełne
- 21:2421:24, 4 wrz 2006 różn. hist. +4 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Systemy funkcjonalnie pełne
- 21:2321:23, 4 wrz 2006 różn. hist. −6 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Systemy funkcjonalnie pełne
- 21:2121:21, 4 wrz 2006 różn. hist. −4 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Systemy funkcjonalnie pełne
- 21:2121:21, 4 wrz 2006 różn. hist. +6 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Systemy funkcjonalnie pełne
- 21:2021:20, 4 wrz 2006 różn. hist. +11 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Systemy funkcjonalnie pełne
- 21:2021:20, 4 wrz 2006 różn. hist. −2 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Systemy funkcjonalnie pełne
- 21:1921:19, 4 wrz 2006 różn. hist. −14 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Systemy funkcjonalnie pełne
- 21:1821:18, 4 wrz 2006 różn. hist. −1 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Systemy funkcjonalnie pełne
- 21:1721:17, 4 wrz 2006 różn. hist. −17 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Systemy funkcjonalnie pełne
- 21:1621:16, 4 wrz 2006 różn. hist. −34 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Systemy funkcjonalnie pełne
- 21:1521:15, 4 wrz 2006 różn. hist. −27 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Systemy funkcjonalnie pełne
- 21:1121:11, 4 wrz 2006 różn. hist. −9 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Systemy funkcjonalnie pełne
- 21:1021:10, 4 wrz 2006 różn. hist. +5042 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Systemy funkcjonalnie pełne
1 wrz 2006
- 23:1723:17, 1 wrz 2006 różn. hist. +4 Złożoność obliczeniowa/Wykład 4: Redukcje i zupełność →Klasa NP i NP-zupełność
- 23:1423:14, 1 wrz 2006 różn. hist. −12 Złożoność obliczeniowa/Wykład 3: Klasy złożoności obliczeniowej Nie podano opisu zmian
- 23:1223:12, 1 wrz 2006 różn. hist. +540 Złożoność obliczeniowa/Wykład 3: Klasy złożoności obliczeniowej Nie podano opisu zmian
- 23:0723:07, 1 wrz 2006 różn. hist. 0 Złożoność obliczeniowa/Wykład 3: Klasy złożoności obliczeniowej →Ćwiczenia dodatkowe
- 23:0723:07, 1 wrz 2006 różn. hist. 0 Złożoność obliczeniowa/Wykład 3: Klasy złożoności obliczeniowej →Ćwiczenia dodatkowe
- 23:0623:06, 1 wrz 2006 różn. hist. +6 Złożoność obliczeniowa/Wykład 3: Klasy złożoności obliczeniowej →Ćwiczenia dodatkowe
- 22:5722:57, 1 wrz 2006 różn. hist. +1 Złożoność obliczeniowa/Wykład 3: Klasy złożoności obliczeniowej →Twierdzenia o hierarchii czasowej i pamięciowej
- 22:2822:28, 1 wrz 2006 różn. hist. +37 Logika i teoria mnogości/Wykład 9: Teoria mocy twierdzenie Cantora-Bernsteina, twierdzenie Cantora. Zbiory przeliczalne, zbiory mocy kontinuum →Zbiory mocy kontinuum
- 22:2322:23, 1 wrz 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 →Zbiory mocy kontinuum
- 22:2222:22, 1 wrz 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
- 22:1922:19, 1 wrz 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 Nie podano opisu zmian
