Wkład użytkownika Rogoda

22 sie 2006

• 09:2809:28, 22 sie 2006 różn. hist. +51 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
• 09:2609:26, 22 sie 2006 różn. hist. +488 Logika i teoria mnogości/Wykład 1: Po co nam teoria mnogości? Naiwna teoria mnogości, naiwna indukcja, naiwne dowody niewprost Nie podano opisu zmian

21 sie 2006

• 17:0117:01, 21 sie 2006 różn. hist. +1 Języki, automaty i obliczenia/Ćwiczenia 3: Automat skończenie stanowy Nie podano opisu zmian
• 16:5716:57, 21 sie 2006 różn. hist. −5 Języki, automaty i obliczenia/Wykład 2: Gramatyka jako model obliczen. Hierarchia Chomsky'ego Nie podano opisu zmian
• 16:3716:37, 21 sie 2006 różn. hist. +11 Języki, automaty i obliczenia/Wykład 2: Gramatyka jako model obliczen. Hierarchia Chomsky'ego →2. Gramatyki - modele obliczeń, hierarchia Chomsky' ego
• 16:1716:17, 21 sie 2006 różn. hist. +5 Języki, automaty i obliczenia/Ćwiczenia 2: Gramatyka jako model obliczen. Hierarchia Chomsky'ego Nie podano opisu zmian
• 16:0816:08, 21 sie 2006 różn. hist. −41 Języki, automaty i obliczenia/Wykład 1: Słowa, katenacja - elementy teorii półgrup, półgrupy i monoidy wolne Nie podano opisu zmian
• 16:0016:00, 21 sie 2006 różn. hist. 0 Języki, automaty i obliczenia/Ćwiczenia 1: Słowa, katenacja - elementy teorii półgrup, półgrupy i monoidy wolne Nie podano opisu zmian
• 15:5915:59, 21 sie 2006 różn. hist. +3 Języki, automaty i obliczenia/Ćwiczenia 1: Słowa, katenacja - elementy teorii półgrup, półgrupy i monoidy wolne Nie podano opisu zmian
• 15:1615:16, 21 sie 2006 różn. hist. +6085 Test GR4 Nie podano opisu zmian
• 15:0815:08, 21 sie 2006 różn. hist. +53 328 N Logika i teoria mnogości/Wykład 7: Konstrukcja von Neumanna liczb naturalnych, twierdzenie o indukcji, zasady minimum, maksimum, definiowanie przez indukcje Nie podano opisu zmian
• 15:0615:06, 21 sie 2006 różn. hist. −1 Test GR4 →Definiowanie przez indukcję
• 15:0115:01, 21 sie 2006 różn. hist. +2 Test GR4 →Mnożenie liczb naturalnych
• 14:5914:59, 21 sie 2006 różn. hist. −94 Test GR4 →Mnożenie liczb naturalnych
• 14:5114:51, 21 sie 2006 różn. hist. −1 Test GR4 →Mnożenie liczb naturalnych
• 14:4514:45, 21 sie 2006 różn. hist. +860 Test GR4 →Mnożenie liczb naturalnych
• 14:3514:35, 21 sie 2006 różn. hist. 0 Test GR4 →Dodawanie liczb naturalnych
• 14:3314:33, 21 sie 2006 różn. hist. −1 Test GR4 →Dodawanie liczb naturalnych
• 14:3114:31, 21 sie 2006 różn. hist. +673 Test GR4 →Dodawanie liczb naturalnych
• 09:0909:09, 21 sie 2006 różn. hist. −15 Test GR4 →Dodawanie liczb naturalnych

20 sie 2006

• 21:4321:43, 20 sie 2006 różn. hist. −231 Test GR4 →Definiowanie przez indukcję
• 21:1121:11, 20 sie 2006 różn. hist. +301 Test GR2 Nie podano opisu zmian
• 21:0621:06, 20 sie 2006 różn. hist. −1908 Logika i teoria mnogości Nie podano opisu zmian
• 20:1820:18, 20 sie 2006 różn. hist. −50 Test GR4 →Definiowanie przez indukcję
• 20:0520:05, 20 sie 2006 różn. hist. +7 Test GR4 →Definiowanie przez indukcję
• 20:0120:01, 20 sie 2006 różn. hist. 0 Test GR4 →Definiowanie przez indukcję
• 20:0020:00, 20 sie 2006 różn. hist. +12 Test GR4 →Definiowanie przez indukcję
• 19:3519:35, 20 sie 2006 różn. hist. +6 Biografie Nie podano opisu zmian
• 19:3219:32, 20 sie 2006 różn. hist. +4 Biografie Nie podano opisu zmian
• 19:3019:30, 20 sie 2006 różn. hist. 0 m Biografia Neumann, John von Biografia Neumann, John von moved to Biografia Neumann, John
• 17:3817:38, 20 sie 2006 różn. hist. +40 N Biografia Zorn Biografia Zorn moved to Biografia Zorn, Max August ostatnia
• 17:3817:38, 20 sie 2006 różn. hist. 0 m Biografia Zorn, Max August Biografia Zorn moved to Biografia Zorn, Max August
• 17:3817:38, 20 sie 2006 różn. hist. +58 N Biografia Zermelo Biografia Zermelo moved to Biografia Zermelo, Ernst Friedrich Ferdinand ostatnia
• 17:3817:38, 20 sie 2006 różn. hist. 0 m Biografia Zermelo, Ernst Friedrich Ferdinand Biografia Zermelo moved to Biografia Zermelo, Ernst Friedrich Ferdinand
• 17:3817:38, 20 sie 2006 różn. hist. +41 N Biografia Wirth Biografia Wirth moved to Biografia Wirth, Niklaus E. ostatnia
• 17:3817:38, 20 sie 2006 różn. hist. 0 m Biografia Wirth, Niklaus E. Biografia Wirth moved to Biografia Wirth, Niklaus E.
• 17:3717:37, 20 sie 2006 różn. hist. +41 N Biografia Weierstrass Biografia Weierstrass moved to Biografia Weierstrass, Karl ostatnia
• 17:3717:37, 20 sie 2006 różn. hist. 0 m Biografia Weierstrass, Karl Biografia Weierstrass moved to Biografia Weierstrass, Karl
• 17:3717:37, 20 sie 2006 różn. hist. +36 N Biografia Turinga Biografia Turinga moved to Biografia Turing, Alan ostatnia
• 17:3717:37, 20 sie 2006 różn. hist. 0 m Biografia Turing, Alan Biografia Turinga moved to Biografia Turing, Alan
• 17:3717:37, 20 sie 2006 różn. hist. +34 N Biografia Thue Biografia Thue moved to Biografia Thue, Axel ostatnia
• 17:3717:37, 20 sie 2006 różn. hist. 0 m Biografia Thue, Axel Biografia Thue moved to Biografia Thue, Axel
• 17:3617:36, 20 sie 2006 różn. hist. +38 N Biografia Tarski Biografia Tarski moved to Biografia Tarski, Alfred ostatnia
• 17:3617:36, 20 sie 2006 różn. hist. 0 m Biografia Tarski, Alfred Biografia Tarski moved to Biografia Tarski, Alfred
• 17:3617:36, 20 sie 2006 różn. hist. +46 N Biografia Stone Biografia Stone moved to Biografia Stone, Marshall Harvey ostatnia
• 17:3617:36, 20 sie 2006 różn. hist. 0 m Biografia Stone, Marshall Harvey Biografia Stone moved to Biografia Stone, Marshall Harvey
• 17:3517:35, 20 sie 2006 różn. hist. +43 N Biografia Scott Biografia Scott moved to Biografia Scott, Dana Stewart ostatnia
• 17:3517:35, 20 sie 2006 różn. hist. 0 m Biografia Scott, Dana Stewart Biografia Scott moved to Biografia Scott, Dana Stewart
• 17:3517:35, 20 sie 2006 różn. hist. +56 N Biografia Russell Biografia Russell moved to Biografia Russell, Bertrand Arthur William ostatnia
• 17:3517:35, 20 sie 2006 różn. hist. 0 m Biografia Russell, Bertrand Arthur William Biografia Russell moved to Biografia Russell, Bertrand Arthur William