Plik:End of proof.gif
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwaniaEnd_of_proof.gif (14 × 14 pikseli, rozmiar pliku: 134 bajtów, typ MIME: image/gif)
Historia pliku
Kliknij na datę/czas, aby zobaczyć, jak plik wyglądał w tym czasie.
Data i czas | Miniatura | Wymiary | Użytkownik | Opis | |
---|---|---|---|---|---|
aktualny | 08:38, 20 lip 2006 | ![]() | 14 × 14 (134 bajtów) | Pi (dyskusja | edycje) |
Nie możesz nadpisać tego pliku.
Lokalne wykorzystanie pliku
Z tego pliku korzysta więcej niż 100 stron. Poniższa lista pokazuje jedynie 100 pierwszych z nich. Dostępna jest również pełna lista.
- 3 wyklad
- Algebra liniowa z geometrią analityczną/Wykład 10: Euklidesowe przestrzenie wektorowe
- Algebra liniowa z geometrią analityczną/Wykład 11: Formy kwadratowe
- Algebra liniowa z geometrią analityczną/Wykład 12: Miara układu wektorów
- Algebra liniowa z geometrią analityczną/Wykład 13: Przestrzenie afiniczne I
- Algebra liniowa z geometrią analityczną/Wykład 14: Przestrzenie afiniczne II
- Algebra liniowa z geometrią analityczną/Wykład 15: Euklidesowe przestrzenie afiniczne
- Algebra liniowa z geometrią analityczną/Wykład 1: Grupy i ciała
- Algebra liniowa z geometrią analityczną/Wykład 2: Przestrzenie wektorowe
- Algebra liniowa z geometrią analityczną/Wykład 3: Układy liniowo niezależne, generatory, bazy
- Algebra liniowa z geometrią analityczną/Wykład 4: Odwzorowania liniowe
- Algebra liniowa z geometrią analityczną/Wykład 5: Macierze
- Algebra liniowa z geometrią analityczną/Wykład 6: Macierze a odwzorowania liniowe
- Algebra liniowa z geometrią analityczną/Wykład 7: Wyznacznik
- Algebra liniowa z geometrią analityczną/Wykład 8: Zastosowania wyznacznika. Układy równań liniowych
- Algebra liniowa z geometrią analityczną/Wykład 9: Endomorfizmy. Twierdzenie Jordana
- Analiza matematyczna 1/Wykład 10: Wzór Taylora. Ekstrema
- Analiza matematyczna 1/Wykład 11: Reguła de l'Hospitala. Równość asymptotyczna
- Analiza matematyczna 1/Wykład 12: Wypukłość. Badanie funkcji jednej zmiennej
- Analiza matematyczna 1/Wykład 13: Całka nieoznaczona
- Analiza matematyczna 1/Wykład 14: Całka Riemanna funkcji jednej zmiennej
- Analiza matematyczna 1/Wykład 1: Zbiory liczbowe
- Analiza matematyczna 1/Wykład 2: Funkcje elementarne
- Analiza matematyczna 1/Wykład 3: Odległość i ciągi
- Analiza matematyczna 1/Wykład 4: Ciągi liczbowe
- Analiza matematyczna 1/Wykład 5: Obliczanie granic
- Analiza matematyczna 1/Wykład 6: Szeregi liczbowe
- Analiza matematyczna 1/Wykład 7: Szeregi liczbowe. Kryteria zbieżności
- Analiza matematyczna 1/Wykład 8: Granica i ciągłość funkcji
- Analiza matematyczna 1/Wykład 9: Pochodna funkcji jednej zmiennej
- Analiza matematyczna 2/Wykład 15: Zastosowania równań różniczkowych. Elementy rachunku wariacyjnego
- Analiza matematyczna 2/Wykład 9: Twierdzenie o funkcjach uwikłanych. Ekstrema warunkowe
- Języki, automaty i obliczenia/Wykład 4: Wyrażenia regularne. Automat minimalny
- Konwersja Arka
- Konwersja Arka 2
- Logika i teoria mnogości/Wykład 11: Zbiory dobrze uporządkowane. Lemat Kuratowskiego Zorna i twierdzenie Zermelo, przykłady
- Logika i teoria mnogości/Wykład 1: Po co nam teoria mnogości? Naiwna teoria mnogości, naiwna indukcja, naiwne dowody niewprost
- Logika i teoria mnogości/Wykład 2: Rachunek zdań
- Logika i teoria mnogości/Wykład 4: Teoria mnogości ZFC. Operacje na zbiorach
- 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
- Logika i teoria mnogości/Wykład 6: Funkcje, tw. o faktoryzacji, produkt uogólniony, obrazy i przeciwobrazy, tw. Knastera-Tarskiego i lemat Banacha
- Logika i teoria mnogości/Wykład 7: Konstrukcja von Neumanna liczb naturalnych, twierdzenie o indukcji, zasady minimum, maksimum, definiowanie przez indukcje
- MN14
- Matematyka dyskretna 1/Wykład 12: Grafy
- Matematyka dyskretna 1/Wykład 13: Grafy II
- Matematyka dyskretna 1/Wykład 14: Grafy III
- Matematyka dyskretna 1/Wykład 15: Metody algebraiczne w teorii grafów
- Matematyka dyskretna 1/Wykład 1: Indukcja
- Matematyka dyskretna 1/Wykład 2: Rekurencja
- Matematyka dyskretna 1/Wykład 4: Sumy skończone i rachunek różnicowy
- Matematyka dyskretna 1/Wykład 5: Współczynniki dwumianowe
- Matematyka dyskretna 1/Wykład 7: Funkcje tworzące
- Matematyka dyskretna 1/Wykład 8: Funkcje tworzące w zliczaniu obiektów kombinatorycznych
- Matematyka dyskretna 1/Wykład 9: Asymptotyka
- Rachunek prawdopodobieństwa i statystyka/Wykład 5: Prawdopodobieństwo warunkowe i niezależność
- Rachunek prawdopodobieństwa i statystyka/Wykład 6: Rozkłady prawdopodobieństwa i zmienne losowe
- Rachunek prawdopodobieństwa i statystyka/Wykład 7: Parametry rozkładów zmiennych losowych
- Rachunek prawdopodobieństwa i statystyka/Wykład 8: Przegląd ważniejszych rozkładów
- Teoria informacji/TI Wykład 1
- Teoria informacji/TI Wykład 10
- Teoria informacji/TI Wykład 13
- Teoria informacji/TI Wykład 2
- Teoria informacji/TI Wykład 3
- Teoria informacji/TI Wykład 4
- Teoria informacji/TI Wykład 5
- Teoria informacji/TI Wykład 6
- Teoria informacji/TI Wykład 7
- Teoria informacji/TI Wykład 8
- Teoria kategorii dla informatyków/Wykład 10: Sprzężenia II
- Teoria kategorii dla informatyków/Wykład 12: Teoria dziedzin I
- Teoria kategorii dla informatyków/Wykład 13: Teoria dziedzin II
- Teoria kategorii dla informatyków/Wykład 14: Teoria dziedzin III
- Teoria kategorii dla informatyków/Wykład 15: Algebry i koalgebry endofunktorów
- Teoria kategorii dla informatyków/Wykład 1: Teoria kategorii jako abstrakcyjna teoria funkcji
- Teoria kategorii dla informatyków/Wykład 2: Morfizmy specjalne
- Teoria kategorii dla informatyków/Wykład 3: Zasada dualności i proste konstrukcje uniwersalne
- Teoria kategorii dla informatyków/Wykład 6: Równoważność kategorii
- Teoria kategorii dla informatyków/Wykład 7: Lemat Yonedy i funktory reprezentowalne
- Teoria kategorii dla informatyków/Wykład 8: Diagramy, granice i kogranice
- Teoria kategorii dla informatyków/Wykład 9: Sprzężenia I
- Test HB
- Test HB3
- WIKIwyklad01
- Zaawansowane algorytmy i struktury danych/Wykład 10
- Zaawansowane algorytmy i struktury danych/Wykład 11
- Zaawansowane algorytmy i struktury danych/Wykład 12
- Zaawansowane algorytmy i struktury danych/Wykład 15
- Zaawansowane algorytmy i struktury danych/Wykład 4
- Zaawansowane algorytmy i struktury danych/Wykład 5
- Zaawansowane algorytmy i struktury danych/Wykład 6
- Zaawansowane algorytmy i struktury danych/Wykład 7
- Zaawansowane algorytmy i struktury danych/Wykład 8
- Zaawansowane algorytmy i struktury danych/Wykład 9
- Złożoność obliczeniowa/Klasy L, NL i coNL
- Złożoność obliczeniowa/Wykład 12: Problemy funkcyjne i złożoność zliczania
- Złożoność obliczeniowa/Wykład 13: Pamięć logarytmiczna i hierarchia wielomianowa
- Złożoność obliczeniowa/Wykład 14: Pamięć wielomianowa i złożoność wykładnicza
- Złożoność obliczeniowa/Wykład 3: Klasy złożoności obliczeniowej
- Złożoność obliczeniowa/Wykład 4: Redukcje i zupełność
- Złożoność obliczeniowa/Wykład 5: Problemy NP-zupełne
Pokaż więcej odnośników do tego pliku.