Wkład użytkownika Luki

27 wrz 2020

• 20:4720:47, 27 wrz 2020 różn. hist. +2 m Teoria informacji/TI Ćwiczenia 2 →Ćwiczenia
• 20:0820:08, 27 wrz 2020 różn. hist. +2 m PO Wyjątki c.d. - ćwiczenia →Zadanie 6 ostatnia
• 20:0720:07, 27 wrz 2020 różn. hist. +4 m PO Wyjątki c.d. - ćwiczenia →Zadanie 5
• 20:0720:07, 27 wrz 2020 różn. hist. +2 m PO Wyjątki c.d. - ćwiczenia →Zadanie 4
• 20:0720:07, 27 wrz 2020 różn. hist. +2 m PO Wyjątki c.d. - ćwiczenia →Zadanie 3
• 20:0620:06, 27 wrz 2020 różn. hist. +2 m PO Wyjątki c.d. - ćwiczenia →Zadanie 2
• 20:0620:06, 27 wrz 2020 różn. hist. +611 m PO Wyjątki c.d. - ćwiczenia →Zadanie 1
• 19:4019:40, 27 wrz 2020 różn. hist. −9 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
• 19:3219:32, 27 wrz 2020 różn. hist. −13 m Logika i teoria mnogości/Wykład 9: Teoria mocy twierdzenie Cantora-Bernsteina, twierdzenie Cantora. Zbiory przeliczalne, zbiory mocy kontinuum →Zbiory przeliczalne
• 19:1919:19, 27 wrz 2020 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.
• 14:2314:23, 27 wrz 2020 różn. hist. −11 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.
• 14:1814:18, 27 wrz 2020 różn. hist. 0 m Logika i teoria mnogości/Wykład 7: Konstrukcja von Neumanna liczb naturalnych, twierdzenie o indukcji, zasady minimum, maksimum, definiowanie przez indukcje →Porządek na liczbach naturalnych
• 14:1614:16, 27 wrz 2020 różn. hist. +64 Logika i teoria mnogości/Wykład 7: Konstrukcja von Neumanna liczb naturalnych, twierdzenie o indukcji, zasady minimum, maksimum, definiowanie przez indukcje →Definiowanie przez indukcję
• 14:0314:03, 27 wrz 2020 różn. hist. +9 m Logika i teoria mnogości/Wykład 7: Konstrukcja von Neumanna liczb naturalnych, twierdzenie o indukcji, zasady minimum, maksimum, definiowanie przez indukcje →Wstęp

26 wrz 2020

• 22:3022:30, 26 wrz 2020 różn. hist. −9 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
• 22:2922:29, 26 wrz 2020 różn. hist. +10 m 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
• 22:2822:28, 26 wrz 2020 różn. hist. +2 m 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
• 22:2422:24, 26 wrz 2020 różn. hist. −8 Języki, automaty i obliczenia/Wykład 9: Języki bezkontekstowe i ich gramatyki →Gramatyki w postaci Chomsky'ego i Greibach
• 22:1222:12, 26 wrz 2020 różn. hist. +2 m Języki, automaty i obliczenia/Wykład 9: Języki bezkontekstowe i ich gramatyki →Gramatyki języków bezkontekstowych
• 22:0722:07, 26 wrz 2020 różn. hist. −17 m Języki, automaty i obliczenia/Wykład 3: Automat skończenie stanowy →Automaty
• 22:0122:01, 26 wrz 2020 różn. hist. 0 Języki, automaty i obliczenia/Wykład 3: Automat skończenie stanowy →Automaty
• 22:0022:00, 26 wrz 2020 różn. hist. +4 Języki, automaty i obliczenia/Wykład 3: Automat skończenie stanowy →Automaty
• 20:4420:44, 26 wrz 2020 różn. hist. +1 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
• 20:4220:42, 26 wrz 2020 różn. hist. −75 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 Zastępowanie tekstu - "\hspace*{0.1mm}" na ""
• 20:4220:42, 26 wrz 2020 różn. hist. −150 m 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 Zastępowanie tekstu - "\hspace*{0.1mm}" na ""
• 20:4120:41, 26 wrz 2020 różn. hist. −90 m Logika i teoria mnogości/Wykład 8: Konstrukcje liczbowe, liczby całkowite, wymierne, konstrukcja Cantora liczb rzeczywistych: działania i porządek Zastępowanie tekstu - "\hspace*{0.1mm}" na ""
• 20:3520:35, 26 wrz 2020 różn. hist. +1 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Logika intuicjonistyczna
• 20:3320:33, 26 wrz 2020 różn. hist. 0 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Postacie normalne
• 20:3120:31, 26 wrz 2020 różn. hist. +11 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Systemy funkcjonalnie pełne
• 20:2620:26, 26 wrz 2020 różn. hist. 0 m Logika i teoria mnogości/Wykład 2: Rachunek zdań →Matryca boolowska
• 20:2120:21, 26 wrz 2020 różn. hist. +1 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Reguła dowodzenia
• 20:1920:19, 26 wrz 2020 różn. hist. 0 Logika i teoria mnogości/Wykład 2: Rachunek zdań →Język logiki zdaniowej
• 20:1520:15, 26 wrz 2020 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
• 19:0919:09, 26 wrz 2020 różn. hist. −13 Matematyka dyskretna 2/Wykład 5: Zastosowania teorii grup w zliczaniu Nie podano opisu zmian
• 18:3718:37, 26 wrz 2020 różn. hist. +3 m Programowanie funkcyjne/Wstęp →Wartość bezwzględna
• 18:3418:34, 26 wrz 2020 różn. hist. −79 Rachunek prawdopodobieństwa i statystyka/Wykład 10: Łańcuchy Markowa →Powracanie i okresowość
• 18:1918:19, 26 wrz 2020 różn. hist. −119 Rachunek prawdopodobieństwa i statystyka/Wykład 12: Metoda największej wiarygodności →Estymacja metodą największej wiarygodności
• 18:0718:07, 26 wrz 2020 różn. hist. −39 Rachunek prawdopodobieństwa i statystyka/Wykład 5: Prawdopodobieństwo warunkowe i niezależność →Schemat Bernoulliego
• 18:0618:06, 26 wrz 2020 różn. hist. −39 Rachunek prawdopodobieństwa i statystyka/Wykład 6: Rozkłady prawdopodobieństwa i zmienne losowe →Rozkład dyskretny
• 14:0814:08, 26 wrz 2020 różn. hist. −41 Rachunek prawdopodobieństwa i statystyka/Wykład 8: Przegląd ważniejszych rozkładów →Rozkład Pascala
• 14:0514:05, 26 wrz 2020 różn. hist. −154 m Rachunek prawdopodobieństwa i statystyka/Wykład 8: Przegląd ważniejszych rozkładów →Rozkład hipergeometryczny
• 13:5913:59, 26 wrz 2020 różn. hist. −79 m Rachunek prawdopodobieństwa i statystyka/Wykład 8: Przegląd ważniejszych rozkładów →Rozkład Poissona
• 12:3312:33, 26 wrz 2020 różn. hist. −114 Rachunek prawdopodobieństwa i statystyka/Wykład 8: Przegląd ważniejszych rozkładów →Rozkład dwumianowy
• 12:2212:22, 26 wrz 2020 różn. hist. −14 m Teoria informacji/TI Wykład 12 Nie podano opisu zmian
• 12:1412:14, 26 wrz 2020 różn. hist. −4 m Teoria kategorii dla informatyków/Wykład 14: Teoria dziedzin III →Lokalna ciągłość funktorów
• 12:1112:11, 26 wrz 2020 różn. hist. −10 Teoria kategorii dla informatyków/Wykład 13: Teoria dziedzin II →Dziedziny bc-zupełne
• 12:0612:06, 26 wrz 2020 różn. hist. −8 m Teoria kategorii dla informatyków/Ćwiczenia 13: Teoria dziedzin II Zastępowanie tekstu - "\uup" na ""
• 12:0612:06, 26 wrz 2020 różn. hist. −20 m Teoria kategorii dla informatyków/Wykład 13: Teoria dziedzin II Zastępowanie tekstu - "\ddn" na ""
• 12:0612:06, 26 wrz 2020 różn. hist. −8 m Teoria kategorii dla informatyków/Wykład 13: Teoria dziedzin II Zastępowanie tekstu - "\uup" na ""
• 12:0512:05, 26 wrz 2020 różn. hist. −32 m Teoria kategorii dla informatyków/Ćwiczenia 13: Teoria dziedzin II Zastępowanie tekstu - "\ddn" na ""