Najdłuższe strony
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Poniżej wyświetlono co najwyżej 50 wyników w zakresie od 1 do 50.
- (hist.) CWGI Moduł 12 [111 985 bajtów]
- (hist.) SK Moduł 4 [98 467 bajtów]
- (hist.) TTS Moduł 3 [95 341 bajtów]
- (hist.) SK Moduł 13 [88 719 bajtów]
- (hist.) Logika i teoria mnogości/Wykład 6: Funkcje, tw. o faktoryzacji, produkt uogólniony, obrazy i przeciwobrazy, tw. Knastera-Tarskiego i lemat Banacha [81 814 bajtów]
- (hist.) Logika i teoria mnogości/Wykład 2: Rachunek zdań [80 662 bajty]
- (hist.) 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ą [80 659 bajtów]
- (hist.) CWGI Moduł 11 [79 671 bajtów]
- (hist.) TTS Moduł 5 [77 159 bajtów]
- (hist.) ZZL Moduł 11 [72 189 bajtów]
- (hist.) SK Moduł 12 [71 517 bajtów]
- (hist.) Logika i teoria mnogości/Wykład 9: Teoria mocy twierdzenie Cantora-Bernsteina, twierdzenie Cantora. Zbiory przeliczalne, zbiory mocy kontinuum [67 913 bajtów]
- (hist.) PEE Moduł 12 [67 230 bajtów]
- (hist.) TTS Moduł 6 [66 968 bajtów]
- (hist.) Analiza matematyczna 2/Ćwiczenia 9: Twierdzenie o funkcjach uwikłanych. Ekstrema warunkowe [66 962 bajty]
- (hist.) ZZL Moduł 7 [66 955 bajtów]
- (hist.) Logika i teoria mnogości/Wykład 8: Konstrukcje liczbowe, liczby całkowite, wymierne, konstrukcja Cantora liczb rzeczywistych: działania i porządek [66 773 bajty]
- (hist.) Złożoność obliczeniowa/Wykład 8: Schematy aproksymacji i klasa MAXSNP [63 761 bajtów]
- (hist.) ZZL Moduł 4 [63 714 bajtów]
- (hist.) Logika i teoria mnogości/Wykład 3: Rachunek predykatów, przykład teorii w rachunku predykatów [63 360 bajtów]
- (hist.) Sztuczna inteligencja/SI Moduł 2 - Od logiki do wnioskowania [62 830 bajtów]
- (hist.) Złożoność obliczeniowa/Wykład 15: Kryptografia a złożoność [62 145 bajtów]
- (hist.) GKIW Moduł 10 - Dążenie do realizmu [60 365 bajtów]
- (hist.) ZZL Moduł 12 [60 301 bajtów]
- (hist.) Środowisko programisty/Zarządzanie wersjami - Subversion [59 346 bajtów]
- (hist.) ZZL Moduł 5 [59 251 bajtów]
- (hist.) ZZL Moduł 9 [59 211 bajtów]
- (hist.) Złożoność obliczeniowa/Wykład 9: Twierdzenie PCP i nieaproksymowalność [58 957 bajtów]
- (hist.) PF Moduł 8 [58 927 bajtów]
- (hist.) ZZL Moduł 6 [58 458 bajtów]
- (hist.) 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 [58 400 bajtów]
- (hist.) Złożoność obliczeniowa/Wykład 1: Obliczenia w modelu maszyny Turinga [58 366 bajtów]
- (hist.) Logika i teoria mnogości/Wykład 7: Konstrukcja von Neumanna liczb naturalnych, twierdzenie o indukcji, zasady minimum, maksimum, definiowanie przez indukcje [58 170 bajtów]
- (hist.) Matematyka dyskretna 1/Wykład 3: Zliczanie zbiorów i funkcji [58 012 bajtów]
- (hist.) Logika i teoria mnogości/Wykład 4: Teoria mnogości ZFC. Operacje na zbiorach [57 402 bajty]
- (hist.) SK Moduł 9 [57 153 bajty]
- (hist.) Matematyka dyskretna 2/Wykład 6: Ciała skończone [56 861 bajtów]
- (hist.) Inne ZO Arka [55 656 bajtów]
- (hist.) ZZL Moduł 8 [54 944 bajty]
- (hist.) Analiza matematyczna 1/Wykład 9: Pochodna funkcji jednej zmiennej [54 766 bajtów]
- (hist.) Złożoność obliczeniowa/Wykład 4: Redukcje i zupełność [54 203 bajty]
- (hist.) Złożoność obliczeniowa/Wykład 7: Algorytmy aproksymacyjne [53 508 bajtów]
- (hist.) Algorytmy i struktury danych/Sortowanie: MergeSort, HeapSort i QuickSort [53 426 bajtów]
- (hist.) PF Moduł 16 [52 688 bajtów]
- (hist.) Matematyka dyskretna 1/Wykład 6: Permutacje i podziały [52 660 bajtów]
- (hist.) CWGI Moduł 9 [52 184 bajty]
- (hist.) 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 [51 286 bajtów]
- (hist.) Analiza matematyczna 2/Wykład 9: Twierdzenie o funkcjach uwikłanych. Ekstrema warunkowe [51 158 bajtów]
- (hist.) TTS Moduł 2 [50 604 bajty]
- (hist.) Test HB3 [50 232 bajty]