Wkład użytkownika Rogoda

1 wrz 2006

• 13:4313:43, 1 wrz 2006 różn. hist. +12 Języki, automaty i obliczenia/Wykład 4: Wyrażenia regularne. Automat minimalny Nie podano opisu zmian
• 13:4213:42, 1 wrz 2006 różn. hist. +12 Języki, automaty i obliczenia/Wykład 3: Automat skończenie stanowy Nie podano opisu zmian
• 13:4213:42, 1 wrz 2006 różn. hist. +13 Języki, automaty i obliczenia/Wykład 2: Gramatyka jako model obliczen. Hierarchia Chomsky'ego Nie podano opisu zmian
• 13:3513:35, 1 wrz 2006 różn. hist. +13 Języki, automaty i obliczenia/Wykład 1: Słowa, katenacja - elementy teorii półgrup, półgrupy i monoidy wolne Nie podano opisu zmian
• 13:3413:34, 1 wrz 2006 różn. hist. +12 Języki, automaty i obliczenia/Wykład 7: Twierdzenie Kleene'ego. Własności języków i gramatyk regularnych Nie podano opisu zmian

31 sie 2006

• 21:1921:19, 31 sie 2006 różn. hist. +3 Języki, automaty i obliczenia/Wykład 11: Automat ze stosem →2. Gramatyki bezkontekstowe i automaty ze stosem
• 21:1721:17, 31 sie 2006 różn. hist. −72 Języki, automaty i obliczenia/Wykład 11: Automat ze stosem →2. Gramatyki bezkontekstowe i automaty ze stosem
• 20:5120:51, 31 sie 2006 różn. hist. 0 Języki, automaty i obliczenia/Wykład 3: Automat skończenie stanowy Nie podano opisu zmian
• 19:4019:40, 31 sie 2006 różn. hist. +75 Języki, automaty i obliczenia/Ćwiczenia 3: Automat skończenie stanowy →ĆWICZENIA 3
• 19:3519:35, 31 sie 2006 różn. hist. −46 Języki, automaty i obliczenia/Wykład 8: Dalsze algorytmy dla języków regularnych. Problemy rozstrzygalne →1. Dalsze algorytmy języków regularnych
• 19:3019:30, 31 sie 2006 różn. hist. 0 Języki, automaty i obliczenia/Wykład 9: Języki bezkontekstowe i ich gramatyki →2. Gramatyki w postaci Chomsky'ego i Greibach
• 19:1919:19, 31 sie 2006 różn. hist. +720 Test GR2 Nie podano opisu zmian
• 19:1819:18, 31 sie 2006 różn. hist. +805 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Twierdzenie o pełności
• 19:1219:12, 31 sie 2006 różn. hist. +455 Test GR2 Nie podano opisu zmian

30 sie 2006

• 18:5718:57, 30 sie 2006 różn. hist. +124 Logika i teoria mnogości/Wykład 11: Zbiory dobrze uporządkowane. Lemat Kuratowskiego Zorna i twierdzenie Zermelo, przykłady Nie podano opisu zmian
• 18:5518:55, 30 sie 2006 różn. hist. +103 Logika i teoria mnogości/Wykład 3: Rachunek predykatów, przykład teorii w rachunku predykatów →Modele
• 18:5118:51, 30 sie 2006 różn. hist. +118 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
• 18:4918:49, 30 sie 2006 różn. hist. +252 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
• 18:4318:43, 30 sie 2006 różn. hist. +107 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
• 18:4218:42, 30 sie 2006 różn. hist. +115 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
• 18:2818:28, 30 sie 2006 różn. hist. +100 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Twierdzenie o pełności
• 18:1018:10, 30 sie 2006 różn. hist. −24 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Twierdzenie o pełności
• 17:4917:49, 30 sie 2006 różn. hist. +1 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:4817:48, 30 sie 2006 różn. hist. +148 Logika i teoria mnogości/Wykład 11: Zbiory dobrze uporządkowane. Lemat Kuratowskiego Zorna i twierdzenie Zermelo, przykłady →Podsumowanie
• 17:4217:42, 30 sie 2006 różn. hist. +212 Logika i teoria mnogości/Wykład 11: Zbiory dobrze uporządkowane. Lemat Kuratowskiego Zorna i twierdzenie Zermelo, przykłady →Twierdzenia dotyczące porządków
• 17:3617:36, 30 sie 2006 różn. hist. +125 Logika i teoria mnogości/Wykład 11: Zbiory dobrze uporządkowane. Lemat Kuratowskiego Zorna i twierdzenie Zermelo, przykłady →Twierdzenie Ernst Zermelo
• 17:3117:31, 30 sie 2006 różn. hist. −66 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 (patrz Bronisław Knaster i Alfred Tarski
• 17:1317:13, 30 sie 2006 różn. hist. +2 Logika i teoria mnogości/Wykład 3: Rachunek predykatów, przykład teorii w rachunku predykatów →Modele
• 17:1317:13, 30 sie 2006 różn. hist. −16 Logika i teoria mnogości/Wykład 3: Rachunek predykatów, przykład teorii w rachunku predykatów →Modele
• 17:1217:12, 30 sie 2006 różn. hist. −12 Logika i teoria mnogości/Wykład 3: Rachunek predykatów, przykład teorii w rachunku predykatów →Aksjomatyka Rachunku Predykatów
• 10:3010:30, 30 sie 2006 różn. hist. +13 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, (dla zainteresowanych)
• 10:2710:27, 30 sie 2006 różn. hist. +47 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 →Domykanie relacji
• 10:1510:15, 30 sie 2006 różn. hist. +44 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 →Domykanie relacji
• 09:5709:57, 30 sie 2006 różn. hist. +23 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 →Rozkłady zbiorów
• 09:5309:53, 30 sie 2006 różn. hist. +36 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 →Operacje na relacjach:
• 09:4609:46, 30 sie 2006 różn. hist. +7 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
• 09:4309:43, 30 sie 2006 różn. hist. +34 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 Nie podano opisu zmian
• 09:4309:43, 30 sie 2006 różn. hist. +11 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
• 09:4009:40, 30 sie 2006 różn. hist. +3 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
• 09:0609:06, 30 sie 2006 różn. hist. +78 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 Nie podano opisu zmian
• 09:0409:04, 30 sie 2006 różn. hist. +244 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 Nie podano opisu zmian

29 sie 2006

• 23:0823:08, 29 sie 2006 różn. hist. +1 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
• 23:0523:05, 29 sie 2006 różn. hist. −167 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
• 22:5622:56, 29 sie 2006 różn. hist. +8 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 Nie podano opisu zmian
• 22:5122:51, 29 sie 2006 różn. hist. +483 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
• 21:5521:55, 29 sie 2006 różn. hist. +99 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
• 21:5321:53, 29 sie 2006 różn. hist. +194 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
• 21:4721:47, 29 sie 2006 różn. hist. +13 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
• 21:3921:39, 29 sie 2006 różn. hist. +45 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
• 21:3321:33, 29 sie 2006 różn. hist. +197 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