Wkład użytkownika Rogoda
Z Studia Informatyczne
Wyniki dla użytkownika Rogoda dyskusja blokady przesłane pliki rejestry
Użytkownik(-czka) wykonał(a) 1875 edycji. Konto utworzone 29 lip 2006.
5 sie 2006
- 17:0317:03, 5 sie 2006 różn. hist. +20 608 N Języki, automaty i obliczenia/Ćwiczenia 2: Gramatyka jako model obliczen. Hierarchia Chomsky'ego Nie podano opisu zmian
- 16:5216:52, 5 sie 2006 różn. hist. +15 425 N Języki, automaty i obliczenia/Wykład 2: Gramatyka jako model obliczen. Hierarchia Chomsky'ego Nie podano opisu zmian
- 16:4416:44, 5 sie 2006 różn. hist. +17 559 Języki, automaty i obliczenia/Wykład 1: Słowa, katenacja - elementy teorii półgrup, półgrupy i monoidy wolne Nie podano opisu zmian
- 15:0715:07, 5 sie 2006 różn. hist. +275 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Logika intuicjonistyczna
- 15:0315:03, 5 sie 2006 różn. hist. +277 Test GR2 Nie podano opisu zmian
- 14:5314:53, 5 sie 2006 różn. hist. +308 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Systemy funkcjonalnie pełne
- 14:5014:50, 5 sie 2006 różn. hist. +603 Test GR2 Nie podano opisu zmian
- 14:4314:43, 5 sie 2006 różn. hist. +828 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Inne spójniki
- 14:3814:38, 5 sie 2006 różn. hist. +13 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Język logiki zdaniowej
- 14:3014:30, 5 sie 2006 różn. hist. +540 Test GR2 Nie podano opisu zmian
- 10:3810:38, 5 sie 2006 różn. hist. +1 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Spełnialność
- 10:3610:36, 5 sie 2006 różn. hist. +26 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Spełnialność
- 10:3110:31, 5 sie 2006 różn. hist. 0 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Postacie normalne
- 09:5009:50, 5 sie 2006 różn. hist. +10 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Matryca boolowska
- 09:1209:12, 5 sie 2006 różn. hist. +6 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Reguła dowodzenia
- 09:0209:02, 5 sie 2006 różn. hist. +1 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Aksjomaty
4 sie 2006
- 17:3117:31, 4 sie 2006 różn. hist. +336 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Inne spójniki
- 17:2817:28, 4 sie 2006 różn. hist. +1145 Test GR2 Nie podano opisu zmian
- 17:2717:27, 4 sie 2006 różn. hist. +1146 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Inne spójniki
- 16:5816:58, 4 sie 2006 różn. hist. +632 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Inne spójniki
- 16:5616:56, 4 sie 2006 różn. hist. +730 Test GR2 Nie podano opisu zmian
- 16:3016:30, 4 sie 2006 różn. hist. +458 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Inne spójniki
- 16:1816:18, 4 sie 2006 różn. hist. −19 946 Test GR2 Nie podano opisu zmian
- 15:4215:42, 4 sie 2006 różn. hist. +337 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Inne spójniki
- 15:3815:38, 4 sie 2006 różn. hist. −12 513 Test GR2 →"Naiwna" teoria mnogości
- 15:3415:34, 4 sie 2006 różn. hist. +333 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Matryca boolowska
- 10:2610:26, 4 sie 2006 różn. hist. +30 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
- 10:2010:20, 4 sie 2006 różn. hist. −119 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
- 10:1210:12, 4 sie 2006 różn. hist. +39 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
- 10:0310:03, 4 sie 2006 różn. hist. −13 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
- 09:5709:57, 4 sie 2006 różn. hist. 0 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
- 09:4709:47, 4 sie 2006 różn. hist. +6 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
- 09:1609:16, 4 sie 2006 różn. hist. −30 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
- 08:5908:59, 4 sie 2006 różn. hist. 0 Logika i teoria mnogości/Wykład 3: Rachunek predykatów, przykład teorii w rachunku predykatów →Modele
- 08:5708:57, 4 sie 2006 różn. hist. −1 Logika i teoria mnogości/Wykład 3: Rachunek predykatów, przykład teorii w rachunku predykatów →Modele
- 08:5008:50, 4 sie 2006 różn. hist. +24 Logika i teoria mnogości/Wykład 3: Rachunek predykatów, przykład teorii w rachunku predykatów →Zmienne wolne i związane
- 08:4708:47, 4 sie 2006 różn. hist. −3 Logika i teoria mnogości/Wykład 3: Rachunek predykatów, przykład teorii w rachunku predykatów →Kwantyfikatory ograniczone
- 08:4508:45, 4 sie 2006 różn. hist. −1 Logika i teoria mnogości/Wykład 3: Rachunek predykatów, przykład teorii w rachunku predykatów →Kwantyfikator egzystencjaly
- 08:4208:42, 4 sie 2006 różn. hist. −2 Logika i teoria mnogości/Wykład 3: Rachunek predykatów, przykład teorii w rachunku predykatów →Wprowadzenie
- 01:2901:29, 4 sie 2006 różn. hist. +47 159 N Logika i teoria mnogości/Wykład 3: Rachunek predykatów, przykład teorii w rachunku predykatów Nie podano opisu zmian
- 01:2801:28, 4 sie 2006 różn. hist. +567 Test GR3 →Modele
- 00:5900:59, 4 sie 2006 różn. hist. +1022 Test GR3 →Modele
- 00:3200:32, 4 sie 2006 różn. hist. +290 Test GR3 →Modele
- 00:2100:21, 4 sie 2006 różn. hist. −4 Test GR3 →Modele
3 sie 2006
- 23:5323:53, 3 sie 2006 różn. hist. +119 Test GR3 →Modele
- 23:3723:37, 3 sie 2006 różn. hist. +293 Test GR3 →Modele
- 23:1923:19, 3 sie 2006 różn. hist. +127 Test GR3 →Aksjomatyka Rachunku Predykatów
- 23:0523:05, 3 sie 2006 różn. hist. +23 Test GR3 →Zmienne wolne i związane
- 22:5722:57, 3 sie 2006 różn. hist. +1 Test GR3 →Kwantyfikator egzystencjaly
- 22:5422:54, 3 sie 2006 różn. hist. +327 Test GR3 →Zmienne wolne i związane