Propozycje wykładów wybieralnych
na rok akademicki 2006/2007Instytut Matematyki
|
1. Algebra liniowa 3(wykład fakultatywny [ALN 953])
Specjalność | I+N+F+T+Z | Poziom | 5 | Status | W |
L. godz. tyg. | 2 W+ 2 Ćw. | L. pkt. | 6 | Socr. Code | 11.1 |
Wymagania:Kursowe wykłady z algebry liniowej 1,2.
Przestrzenie wektorowe, K-algebry, algebry endomorfizmów, podprzestrzenie niezmiennicze, wartości własne. Triangularyzacja i diagonalizacja endomorfizmów. Postać kanoniczna Jordana. Postać kanoniczna wymierna.
2. Algebra liniowa 4(wykład fakultatywny [ALN 964])
Specjalność | I+N+F+T+Z | Poziom | 6 | Status | W |
L. godz. tyg. | 2 W+ 2 Ćw. | L. pkt. | 6 | Socr. Code | 11.1 |
Wymagania:Kursowe wykłady z algebry liniowej 1,2.
Przestrzenie euklidesowe i unitarne. Endomorfizmy samosprzężone. Twierdzenie spektralne. Endomorfizmy przestrzeni euklidesowych i unitarnych, endomorfizmy sprzężone, endomorfizmy normalne, przemienne zbiory endomorfizmów, rozkład biegunowy.
3. Analiza numeryczna 2(wykład fakultatywny [ANN-06])
Specjalność | I+Z | Poziom | 6 | Status | W |
L. godz. tyg. | 2 W+ 2 Ćw. | L. pkt. | 6 | Socr. Code | 11.1 |
Wymagania:Analiza numeryczna 1.
Aproksymacja funkcji ( wielomiany ortogonalne, aproksymacja w przestrzeniach unitarnych, aproksymacja jednostajna, alternans, algorytmy Remeza, wielomian optymalny ). Numeryczne różniczkowanie i całkowanie ( przybliżone różniczkowanie, błąd różniczkowania, kwadratury Newtona-Cotesa, kwadratury Romberga, kwadratury Czebyszewa, kwadratury Gaussa, obliczanie całek niewłaściwych ). Układy równań liniowych ( własności macierzy, metoda Gaussa, metody iteracyjne, macierz odwrotna, przenoszenie się błędów w obliczeniach macierzowych).
4. Automaty i gramatyki(wykład fakultatywny [AIG-06])
Specjalność | I+N+T+Z | Poziom | 5 | Status | W |
L. godz. tyg. | 2 W+ 2 Ćw. | L. pkt. | 6 | Socr. Code | 11.0 |
Wymagania wstępne:podstawy algebry i logiki
Automaty skończenie stanowe. Automaty minimalne. Minimalizacja automatów deterministycznych i niedeterministycznych (bisymulacje). Języki regularne i wyrażenia regularne. Charakteryzacje języków regularnych: Tw. Kleenego, Tw. Myhilla -Nerode'a. Własności domkniętości na operacje. Lemat o pompowaniu. Automaty ze stosem (deterministyczne i niedeterministyczne). Języki i gramatyki bezkontekstowe. Postacie Normalne Chomsky'ego. Drzewa wyprowadzenia. Parsing. Twierdzenie Chomsky'ego-Schutzenbergera . Własności domkniętości na operacje. O maszynach Turinga i językach kontekstowych. Algorytmy decyzyjne. Problemy złożoności. Zastosowania w informatyce. Związki z logiką modalną.
5. Automatyzacja obliczeń finansowych(wykład specjalistyczny [AOF-06])
Specjalność | I+F+Z | Poziom | 6 | Status | W |
L. godz. tyg. | 2 W+ 2 Ćw. | L. pkt. | 6 | Socr. Code | 11.3 |
Obliczenia związane analizą czasu pracy, wartością pracy, wartością sprzedaży, podatkami, kursem walut, kursami akcji oraz z wartością pieniądza w czasie w tym: kapitalizacją, dyskontowaniem, rachunkiem rentowym. Korzystanie z wbudowanych funkcji Excela. Rachunek macierzowy. Podstawy baz danych. Filtrowanie i grupowanie danych. Sumy pośrednie. Tabela przestawna. Ochrona komórek i arkusza. Formatowanie warunkowe. Poprawność danych. Makra. Programowanie w Excelu. Modyfikacja makr, definiowanie własnych funkcji w Visual Basicu.
Zaliczenie przedmiotu: egzamin.Literatura:
6. Budowa i lektura tekstu matematycznego(wykład specjalistyczny [BLT-05])
Specjalność | N | Poziom | 10 | Status | W |
L. godz. tyg. | 2 W + 0 Ćw | L. pkt. | 4 | Socr. Code | 11.1 |
Wymagania:dydaktyka matematyki 1 - 4.
1. Tekst matematyczny jako główne źródło wiedzy i metody matematycznej.
2. Różnice pomiędzy tekstem matematycznym, a innymi tekstami spotykanymi przez uczniów poza matematyką. Specyficzna budowa tekstów matematycznych.
3. Proces lektury tekstu matematycznego, organizacja pracy z tekstem matematycznym na lekcji.
4. Błędy i nieprawidłowości popełnione przez uczniów w procesie czytania tekstu matematycznego w szkole.
5. Sposoby kontroli rozumienia tekstu matematycznego przez uczniów.
7. Ciągłe rozwiązania równań i nierówności funkcyjnych o wielu zmiennych(wykład fakultatywny [CRR-06])
Specjalność | I+N+F+T+Z | Poziom | 8 | Status | W |
L. godz. tyg. | 2 W+ 2 Ćw. | L. pkt. | 6 | Socr. Code | 11.1 |
Twierdzenie Bernsteina-Doetscha o funkcjach wypukłych w sensie Jensena. Funkcje wypukłe a warunek Lipschitza. Nierówność Shannona. Równanie funkcji trygonometrycznych. Równanie Mikusińskiego. Twierdzenie van der Corputa o funkcjach addytywnych modulo
. Półgrupy z prawem skracania na przedziałach. Równanie Gołąba-Schinzla. Izometrie w przestrzeniach unormowanych.
8. Elementy kryptografii(wykład specjalistyczny [EKR-06])
Specjalność | I+Z | Poziom | 7 | Status | W |
L. godz. tyg. | 2 W + 2 Ćw | L. pkt. | 6 | Socr. Code | 11.1 |
Wymagania:algebra liniowa, algebra, rachunek prawdopodobieństwa.
Szyfry blokowe i strumieniowe. Poufność doskonała. Szyfrowanie z kluczem symetrycznym. Sieci Feistela. Projektowanie skrzynek podstawieniowych. Przykłady kryptosystemów symetrycznych (DES, AES, IDEA). Twierdzenie Eulera, test Rabina. Krzywe eliptyczne. Kryptosystemy asymetryczne. (RSA, ElGamal, systemy plecakowe). Protokoły uzgadniania klucza. Jednokierunkowe funkcje skrótu. Podpisy cyfrowe. Elementy kryptoanalizy. Schematy podziału sekretu. Uwierzytelnianie z wiedzą zerową
9. Elementarne pojęcia i rozumowania matematyki dyskretnej(wykład fakultatywny [EMD-05])
Specjalność | I+N+F+T+Z | Poziom | 7 | Status | W |
L. godz. tyg. | 2 W + 2 Ćw | L. pkt. | 6 | Socr. Code | 11.1 |
Wymagania:geometria, rachunek prawdopodobieństwa, liczb, algebra liniowa oraz analiza matematyczna w zakresie wykłafdów kursowych.
Teoria grafów skończonych, m. in. twierdzenie Turana, zastosowania kombinatoryki skończonej i rachunku prawdopodobieństwa.
Wybrane twierdzenia o zbiorach skończonych, m. in. Halla, Ramsey'a, van der Waerdena.
Kombinatoryczne własności figur geometrycznych, m. in. twierdzenia o sympleksach, twierdzenie Cauchy'ego o sztywności.
Kombinatoryczne własności wielomianów, m. in dowody niewymierności i przestępności niektórych liczb, zastosowania nierówności liczbowych.
Kombinatoryczne własności zbioru liczb naturalnych, twierdzenie Dirichleta, skończony pierścień z dzieleniem jest ciałem.
Twierdzenie Cayleya, zliczanie drzew.
Paradoksalne rozkłady podzbiorów przestrzeni euklidesowych.
10. Geometria(wykład fakultatywny [GEO-06])
Specjalność | I+N+F+T+Z | Poziom | 5 | Status | W |
L. godz. tyg. | 2 W+ 2 Ćw. | L. pkt. | 6 | Socr. Code | 11.1 |
Wymagania wstępne:Algebra liniowa z geometrią lub Geometria analityczna.
Geometria absolutna i jej aksjomatyka. Aksjomat Euklidesa o równoległych i jego równoważniki. Modele geometrii Łobaczewskiego: Poincarégo i Beltramiego-Kleina.
Klasyfikacja izometrii i podobieństw na płaszczyźnie i w przestrzeni euklidesowej. Przekształcenia afiniczne.
Płaszczyzna i przestrzeń rzutowa. Aksjomatyka. Współrzędne jednorodne punktów. Zasada dualności. Dwustosunek czwórki punktów. Przekształcenia rzutowe płaszczyzny rzutowej. Porównanie przeształceń afinicznych z rzutowymi. Twierdzenie Desarguesa i twierdzenie Pappusa. Utwory drugiego stopnia na płaszczyźnie rzutowej i ich klasyfikacja. Twierdzenia Pascala i Brianchona.
11. Hurtownie danych(wykład specjalistyczny [HUD-06])
Specjalność | I+Z | Poziom | 8 | Status | W |
L. godz. tyg. | 2 W + 2 L | L. pkt. | 6 | Socr. Code | 11.3 |
Typowe architektury hurtowni danych. Wielowymiarowy model analizy. Model danych OLAP (On Line Analitycal Processing) i jego rozszerzenia (ROLAP, MOLAP). Tworzenie i konserwacja hurtowni danych. Kostki danych, wymiary i atrybuty. Agregacja i podział danych. Systemy wspomagania decyzji. Elementy SQL. Przetwarzanie i optymalizacja zapytań wielowymiarowych. Metadane. Zastosowania hurtowni danych. Odkrywanie wiedzy, eksploracja danych. Analiza danych czasowych. Tablica decyzyjna. Systemy tworzenia hurtowni danych.
Zaliczenie przedmiotu: egzamin.Literatura:
12. Informatyka w szkole(wykład specjalistyczny [INS-05])
Specjalność | I+N | Poziom | 5 | Status | W |
L. godz. tyg. | 2 W + 2 L | L. pkt. | 6 | Socr. Code | 11.3 |
Podstawowe zadania systemu operacyjnego. Edytor tekstu. Zasady edycji. Formatowanie czcionek i akapitu. Wstawianie grafiki. Tabele. Praca ze stylami. Struktura dokumentu. Automatyczny spis treści. Korespondencja seryjna. Pod-stawowe usługi internetowe. Redagowanie dokumentu HTML. Skrypty na stronach WWW. Podstawy JavaScript. Algorytmy. Tworzenie prezentacji multimedialnej. Arkusz kalkulacyjny. Tworzenie i formatowanie tabel. Formuły. Adresowanie komórek. Podstawowe funkcje wbudowane. Formatowanie warunkowe. Podstawy baz danych. Filtrowanie i grupowanie danych. Tabela przestawna. Rachunek macierzowy. Makra. Modyfikacja makr, definiowanie własnych funkcji w Visual Basicu.
Zaliczenie przedmiotu: egzamin.Literatura:
13. Krzywe algebraiczne(wykład fakultatywny [KAL-06])
Specjalność | I+N+F+T+Z | Poziom | 7 | Status | W |
L. godz. tyg. | 2 W+ 2 Ćw. | L. pkt. | 6 | Socr. Code | 11.1 |
Wymagania wstępne:Algebra 2.
Afiniczne krzywe algebraiczne. Rugownik Sylvestera. Płaszczyzna rzutowa. Rzutowe krzywe algebraiczne. Punkty przecięć krzywych rzutowych, twierdzenie Bézout. Styczna do krzywej, punkty osobliwe. Hessian i punkty przegięcia. Rodzaj krzywej. Krzywe wymierne, parametryzacja i implicytyzacja. Miejsca, krzywe o parametryzacji wielomianowej. Dualizm rzutowy, współrzędne Plückera. Krzywa dualna, klasa krzywej.
14. Kształtowanie pojęć i uzasadnianie twierdzeń(wykład specjalistyczny [KPT-06])
Specjalność | N | Poziom | 7 | Status | W |
L. godz. tyg. | 2 W+ 2 Ćw. | L. pkt. | 6 | Socr. Code | 11.0 |
Wymagania wstępne:zaliczony wykład kursowy z dydaktyki matematyki.
Treść wykładu stanowią wybrane zagadnienia dotyczące kształtowania i definiowania pojęć matematycznych oraz nauki dowodzenia twierdzeń w szkolnym nauczaniu matematyki. Referowane problemy dydaktyczne zostaną zilustrowane na ćwiczeniach przykładami z aktualnych podręczników szkolnych, m.in. z zastosowaniem programu CABRI.
Zaliczenie przedmiotu:Studenci zaliczający przedmiot przygotowują projekt rozwiązania wybranego zadania dydaktycznego.
15. Matematyczna teoria portfela papierów wartościowych(wykład specjalistyczny [MPW-05])
Specjalność | F+Z | Poziom | 7 | Status | W |
L. godz. tyg. | 2 W + 2 Ćw | L. pkt. | 6 | Socr. Code | 11.1 |
Wymagania:wstęp do matematyki finansowej.
Stopa zwrotu i ryzyko papieru wartościowego. Współczynnik korelacji stóp zwrotu papierów wartościowych. Podstawowe modele portfeli. Portfele dwuskładnikowe i wieloskładnikowe. Portfele zawierające instrumenty wolne od ryzyka. Podstawowe pojęcia analizy portfelowej ( stopa zwrotu i ryzyko portfela, portfele dopuszczalne, zbiór możliwości, portfele efektywne, portfel rynkowy, linia rynku kapitałowego). Kryteria wyboru portfela ( portfel o minimalnym ryzyku, maksymalizacja dochodu, wskaźnik Sharpe'a, funkcja użyteczności ). Metoda stochastycznej dominacji. Modele rynku kapitałowego ( model jednowskaźnikowy, model równowagi CAPM, model arbitrażu cenowego APT ). Portfele obligacji ( czas trwania, strategia uodpornienia portfela, strategia dopasowania dochodów ). Modele stochastyczne.
16. Metody teorii iteracyjnych równań funkcyjnych(wykład monograficzny [MTR-06])
Specjalność | I+N+F+T+Z | Poziom | 7 | Status | W |
L. godz. tyg. | 2 W + 2 Ćw | L. pkt. | 6 | Socr. Code | 11.1 |
Ciągi Szekeresa oraz Koenigsa i równanie Schröodera. Ciąg Lévy'ego i równanie Abela. Ciągi Throna. Równania jednorodne pierwszego rzędu i struktura ich rozwiązań ciągłych. Transformata Fouriera i problem Schillinga. Funkcje o wartościach losowych i równania liniowe nieskończonego rzędu. Iterowane układy funkcyjne.
Zaliczenie przedmiotu: egzamin.Literatura:
17. Metodyka nauczania informatyki 1(wykład specjalistyczny [MNI1-06])
Specjalność | N | Poziom | 9 | Status | W |
L. godz. tyg. | 2 W+ 3 Ćw. | L. pkt. | 6 | Socr. Code | 11.3 |
Wymagania wstępne:Dydaktyka matematyki 1-4, Informatyka w szkole, Wstęp do baz danych.
Co uczyć:podstawowe pojęcia z zakresu technologii informacyjnej, podstawa programowa a program nauczania, dydaktyka informatyki a dydaktyka technologii informacyjnej, tendencje światowe w kształceniu informatycznym, informatyka i technologia informacyjna w podstawie programowej kształcenia ogólnego w polskiej szkole, analiza wybranych programów nauczania i kryteria oceny tych programów.
Jak uczyć:klasyfikacja metod nauczania, metoda projektów, nauczanie na odległość, metody nauczania stosowane na przedmiotach informatycznych, przykładowe rozkłady materiału.
Jak oceniać:cel oceniania, przykładowy system oceniania z technologii informacyjnej spełniający wymagania programowe, karta oceny ucznia.
Przegląd podręczników i oprogramowania oraz innych mediów dydaktycznych do zajęć wprowadzających podstawy informatyki i TI. Kryteria oceny mediów dydaktycznych.
18. Metodyka nauczania informatyki 2(wykład specjalistyczny [MNI2-06])
Specjalność | N | Poziom | 10 | Status | W |
L. godz. tyg. | 0 W+ 3 Ćw. | L. pkt. | 3 | Socr. Code | 11.3 |
Wymagania wstępne:Metodyka nauczania informatyki 1.
Zajęcia praktyczne w szkole ćwiczeń.
Zaliczenie przedmiotu:zaliczenie ćwiczeń.
19. Miary borelowskie w przestrzeniach metrycznych(wykład fakultatywny [MBP-06])
Specjalność | I+N+F+T+Z | Poziom | 7 | Status | W |
L. godz. tyg. | 2 W+ 2 Ćw. | L. pkt. | 6 | Socr. Code | 11.1 |
Regularność miar skończonych. Twierdzenie Ulama. Twierdzenie Riesza-Skorochoda. Norma Fortet-Mouriera. Zbieżność słaba i twierdzenie Aleksandrowa. Twierdzenie Prochorowa. Splot miar. Zbiory zerowe Christensena.
Zaliczenie przedmiotu: egzamin.Literatura:
20. Miary wektorowe i twierdzenie spektralne(wykład fakultatywny [MTS-06])
Specjalność | I+N+F+T+Z | Poziom | 8 | Status | W |
L. godz. tyg. | 2 W+ 2 Ćw. | L. pkt. | 6 | Socr. Code | 11.1 |
Twierdzenie Riesza-Skorochoda. Miara wektorowa, jej wahanie i półwahanie. Całka względem miary wektorowej. Widmo i promień spektralny. Widmo operatora samosprzężonego. Twierdzenie spektralne dla operatorów samosprzężonych. Pierwiastki iteracyjne operatora samosprzężonego
Zaliczenie przedmiotu: egzamin.Literatura:
21. Niezależność hipotezy kontinuum i pewnika wyboru(wykład fakultatywny [NHK-06])
Specjalność | I+N+F+T+Z | Poziom | 6 | Status | W |
L. godz. tyg. | 2 W+ 2 Ćw. | L. pkt. | 6 | Socr. Code | 11.1 |
Aksjomaty teorii mnogości; teoria klas i teoria ZF. Liczby porządkowe i kardynalne. Hipoteza kontinuum i jej konsekwencje. Modele teorii mnogości, relacja forsing. Konstrukcja modelów, w których hipoteza kontinuum i pewnik wyboru nie są prawdziwe.
Zaliczenie przedmiotu: egzamin.Literatura:
22. Obiekty regularne w kombinatoryce(wykład fakultatywny [ORK-06])
Specjalność | I+T+Z | Poziom | 6 | Status | W |
L. godz. tyg. | 2 W+ 2 Ćw. | L. pkt. | 6 | Socr. Code | 11.1 |
Wymagania wstępne:przedmioty kursowe z 1. i 2. roku studiów
Kody korygujące błędy:Pojęcie kodu, podstawowe własności. Kody doskonałe, kody Hamminga. Elementy teorii grafów.
Konfiguracje kombinatoryczne:pojęcia konfiguracje i jej własności. Konfiguracje kwadratowe. Wykorzystanie konfiguracji do konstrukcji kodów.
Schematy relacyjne:definicja schematu i jego podstawowe własności. Schematy Hamminga i Johnsona. Zastosowanie schematów relacyjnych w teorii kodowania.
23. Obliczeniowa teoria liczb(wykład fakultatywny [OTL-02])
Specjalność | I+N+F+T+Z | Poziom | 8 | Status | W |
L. godz. tyg. | 2 W + 2 Ćw | L. pkt. | 6 | Socr. Code | 11.0 |
Podstawowe algorytmy w teorii liczb:Zasadnicze twierdzenie arytmetyki, algorytmy Euklidesa, kongruencje, chińskie twierdzenie o resztach, algorytm szybkiego potęgowania, grupy
, pierwiastki pierwotne modulo
, symbol Lagrange'a i symbol Jacobiego, ułamki łańcuchowe, równanie Pella.
Algorytmy wielomianowe:Arytmetyka wielomianowa, algorytmy Euklidesa dla wielomianów, rozkłady wielomianów modulo
.
Liczby pierwsze:Nieskończoność zbioru liczb pierwszych, sito Eratosthenesa, nierówność Czebyszewa i postulat Bertranda, wyznaczanie
-tej liczby pierwszej.
Testy pierwszości:Liczby pseudopierwsze, liczby pseudopierwsze Eulera, test Solovaya-Strassena, liczby silnie pseudopierwsze, test Millera-Rabina, test Pepina, test Lucasa-Lehmera, test oparty na sumach Gaussa, test pierwszości o czasie wielomianowym.
Metody rozkładu na czynniki:metoda
-Pollarda, metoda faktoryzacji Fermata, bazy rozkładu i metoda ułamków łańcuchowych, metoda sita kwadratowego.
Wybrane zastosowania:Systemy kryptograficzne z kluczem publicznym, system RSA, liczby pierwsze na Wall Street, podpis cyfrowy, cyfry kontrolne.
24. Procesy stochastyczne 1(wykład fakultatywny [PST1-05])
Specjalność | I+N+F+T+Z | Poziom | 7 | Status | W |
L. godz. tyg. | 2 W + 2 Ćw | L. pkt. | 6 | Socr. Code | 11.1 |
Wymagania:rachunek prawdopodobieństwa 1Alub rachunek prawdopodobieństwa 1B.
1) Podstawowe wiadomości z rachunku prawdopodobieństwa: niezależność, rozkład Gaussa itd.,
2) Martyngały z czasem dyskretnym,
3) Procesy Browna - konstrukcja,
4) Całka stochastyczna,
5) Wzór Ito.
25. Procesy stochastyczne 2(wykład fakultatywny [PST2-05])
Specjalność | I+N+F+T+Z | Poziom | 8 | Status | W |
L. godz. tyg. | 2 W + 2 Ćw | L. pkt. | 6 | Socr. Code | 11.1 |
Wymagania:procesy stochastyczne 1.
1) Stochastyczne równania różniczkowe,
2) Mocna własność Markowa,
3) Zastosowania w matematyce finansowej.
26. Programowanie współbieżne(wykład specjalistyczny [PWS-06])
Specjalność | I | Poziom | 7 | Status | W |
L. godz. tyg. | 2 W+ 2 Ćw. | L. pkt. | 6 | Socr. Code | 11.3 |
Zaawansowane zagadnienie programowania współbieżnego: procesy i wątki współbieżne, blokada, zagłodzenie, bezpieczeństwo, klasyczne problemy programowania współbieżnego, semafor, monitor, sekcja krytyczna, komunikacja międzyprocesowa synchroniczna i asynchroniczna, kolejki, pamięć dzielona, narzędzia dla programistów: mechanizmy w systemach Windows i Unix, biblioteka pthreads.
Zaliczenie przedmiotu: egzamin.Literatura:
27. Przetwarzanie obrazów cyfrowych(wykład specjalistyczny [POC-04])
Specjalność | I+Z | Poziom | 9 | Status | W |
L. godz. tyg. | 2 W + 2 L | L. pkt. | 6 | Socr. Code | 11.3 |
Wymagania:znajomość języka C++, podejście obiektowe w programowaniu
Elementy systemu automatycznego widzenia. Akwizycja obrazów 2D i 3D, dyskretyzacja i kwantyzacja, model kamery. Procesor obrazu dyskretnego, odpowiedź impulsowa, konwolucja, korelacja. Dyskretna transformata Fouriera. Przetwarzanie wstępne obrazów cyfrowych, przekształcenia punktowe, filtracje przestrzenne i częstotliwościowe. Przetwarzanie obrazów kolorowych. Przekształcenia morfologiczne binarne i wieloodcieniowe i ich zastosowania. Segmentacja obrazu, progowanie, detekcja krawędzi i obszaru. Reprezentacja i opis obrazu, algorytmy szkieletyzacji, wektoryzacji, detekcji punktów krytycznych, deskryptory regionu i krawędzi, modele tekstur. Reprezentacja wielorozdzielcza obrazu, transformata falkowa. Kompresja obrazu, metody stratne i bezstratne. Zastosowania: automatyczne rozpoznawanie dokumentów, np. tekstów, obrazów medycznych i in., komercyjne standardy kompresji obrazu.
28. Rozpoznawanie obrazów(wykład specjalistyczny [ROB-04])
Specjalność | I+Z | Poziom | 10 | Status | W |
L. godz. tyg. | 2 W + 2 L | L. pkt. | 6 | Socr. Code | 11.3 |
Wymagania:znajomość języka C++, podejście obiektowe w programowaniu
Elementy składowe zadania rozpoznawania. Reguła decyzyjna Bayesa. Empiryczne klasyfikatory Bayesa, klasyfikatory parametryczne, nieparametryczne, klasyfikator z estymatorem jądrowym i typu najbliższy sąsiad. Klasyfikatory liniowe, reguły uczenia: perceptronowa, minimalizacji błędu kwadratowego, maksymalizacji marginesu. Uogólnione klasyfikatory liniowe, wielomianowy, nieliniowy SVM, wielowarstwowy perceptron. Klasyfikatory definiowane przez struktury symboliczne, algorytmy strukturalnego dopasowania ciągów, grafów i sieci semantycznej. Klasyfikatory definiowane przez gramatykę, algorytm analizy syntaktycznej Earley'a, analiza z korekcją błędów. Zastosowania: automatyczne rozpoznawanie dokumentów, np. tekstów, map, obrazów medycznych, zdjęć lotniczych terenu.
29. Rozwój pojęć matematycznych 1(wykład monograficzny [RPM1-04])
Specjalność | I+N+F+T+Z | Poziom | 7 | Status | W |
L. godz. tyg. | 2 W + 2 Ćw | L. pkt. | 6 | Socr. Code | 11.1 |
Podtytuł wykładu: Rozwój metod matematycznych fizyki
1. Fizyka a matematyka u Arystotelesa.
2. Teorie impetu u Scholastyków.
3. Dynamika Newtona.
30. Rozwój pojęć matematycznych 2(wykład monograficzny [RPM2-04])
Specjalność | I+N+F+T+Z | Poziom | 8 | Status | W |
L. godz. tyg. | 2 W + 2 Ćw | L. pkt. | 6 | Socr. Code | 11.1 |
Podtytuł wykładu: Rozwój metod matematycznych fizyki
1. Mechanika teoretyczna Eulera.
2. Omówienie monografii: Levi-Civitta, Hampel, Appel, Sysłow, Banach.
31. Statystyka dla informatyków(wykład specjalistyczny [SDI-06])
Specjalność | I | Poziom | 8 | Status | W |
L. godz. tyg. | 2 W+ 2 Ćw. | L. pkt. | 6 | Socr. Code | 11.2 |
Zadanie identyfikacji modelu statystycznego. Metody estymacji parametrycznej w różnych modelach statystycznych. Estymacja nieparametryczna parametrów rozkładu, funkcji gęstości. Estymacja funkcji regresji w modelu liniowym i nieliniowym, diagnostyka dopasowania, przedziały ufności dla predykcji. Weryfikacja hipotez statystycznych, standardowe parametryczne testy istotności w modelu normalnym, wybrane testy nieparametryczne, porównanie rozkładów w wielu populacjach, test Wilcoxona-Manna-Whitneya. Test dla zmiennych połączonych. Testy normalności. Metody wielokrotnych porównań. Metody bootstrapowe, testy permutacyjne, estymacja parametrów rozkładu. Analiza wariancji. Wstęp do teorii statystycznych funkcji decyzyjnych.
Zaliczenie przedmiotu: egzamin.Literatura:
32. Statystyka finansowa 1(wykład specjalistyczny [STF1-05])
Specjalność | F+Z | Poziom | 8 | Status | W |
L. godz. tyg. | 2 W + 2 Ćw | L. pkt. | 6 | Socr. Code | 11.2 |
Wymagania wstępne:Statystyka 1.
1.Dane finansowe-statystyczne metody analizy.
2.Modele rynków finansowych.
3.Statystyczne modelowanie wybranych procesów finansowych.
4.Finansowe szeregi czasowe -modele liniowe i nieliniowe.
5.Testy służące identyfikacji szeregów czasowych.
6.Prognozowanie na podstawie szeregów czasowych wybranych procesów finansowych.
7.Wykorzystanie pakietów statystycznych do analizy aktualnych procesów finansowych.
33. Statystyka finansowa 2(wykład specjalistyczny [STF2-06])
Specjalność | F+Z | Poziom | 9 | Status | W |
L. godz. tyg. | 2 W + 2 Ćw | L. pkt. | 6 | Socr. Code | 11.2 |
Wymagania wstępne:Statystyka finansowa 1.
1.Analiza portfelowa- stopa zwrotu, ryzyko inwestycji ,portfel papierów wartościowych.
2.Rynek finansowy -model Markowitza.
3.Statystyczna analiza ryzyka portfela.
4.Metody optymalizacji portfela.
5.Portfel Markowitza.
6.Miary ryzyka rynkowego.
7.Dynamiczne modelowanie wybranych wskażników finansowych rynku za pomocą różnych modeli autoregresyjnych.
8.Wykorzystanie pakietów statystycznych do analizy aktualnych procesów finansowych.
34. Statystyka matematyczna 2(wykład fakultatywny [STM2-05])
Specjalność | I+N+F+T+Z | Poziom | 8 | Status | W |
L. godz. tyg. | 2 W + 2 L | L. pkt. | 6 | Socr. Code | 11.2 |
Wymagania:statystyka matematyczna 1.
Teoria statystycznych funkcji decyzyjnych i jej zastosowanie. Kryteria i różne metody estymacji parametrów w różnych modelach statystycznych. Testowanie hipotez statystycznych - wybrane testy parametryczne i nieparametryczne.
Teoria i metody dużych prób. Modele liniowe - estymacja i testowanie hipotez. Analiza wariancji i kowariancji. Analiza wielowymiarowa - estymacja i wielowymiarowe testy statystyczne. Analiza dyskryminacji. Analiza kanoniczna i analiza czynnikowa. Przykłady zastosowania statystyki matematycznej w rozwiązywaniu nowych problemów badawczych.
35. Teoria fraktali(wykład monograficzny [TFR-02])
Specjalność | I+N+F+T+Z | Poziom | 7 | Status | W |
L. godz. tyg. | 2 W+ 2 Ćw. | L. pkt. | 6 | Socr. Code | 11.1 |
Fraktale można zdefiniować jako punkty stale pewnych odwzorowań zbiorów, które nazywamy iterowanymi układami funkcyjnymi. Dają one wygodny punkt wyjścia do konstrukcji opisu fraktali. W szczególności pozwalaja na znalezienie efektywnych wzorów dla wyznaczania wymiaru fraktali. Z reguły nie jest to liczba całkowita i stąd pochodzi nazwa fraktal.
Na wykładzie będą omawiane następujące zagadnienia:
1. Własności przestrzeni
, której elementami są wypukłe i ograniczone podzbiory pewnej przestrzeni metrycznej.
2. Metryka Hausdorfa w przestrzeni
.
3. Definicja iterowanych układów funkcyjnych i konstrukcja fractali.
4. Wymiary hausdorfa i Minkowskiego zbiorów.
5. Wzór Morana dla wymiaru Minkowskiego fraktali.
6. Konstrukcja miar fraktalnych.
7. wymiary miar fraktalnych.
8. Zastosowania w teorii chaosu.
36. Teoria Galois(wykład fakultatywny [TGL-02])
Specjalność | I+N+F+T+Z | Poziom | 6 | Status | W |
L. godz. tyg. | 2 W+ 2 Ćw. | L. pkt. | 6 | Socr. Code | 11.1 |
Rozszerzenia algebraiczne (przypomnienie). Ciała rozkładu wielomianu. Algebraiczne domknięcie ciała. Rozszerzenia rozdzielcze, twierdzenie Abela o elemencie pierwotnym. Rozszerzenia normalne. Ciała skończone. Automorfizmy ciał, grupa Galois. Rozszerzenia typu Galois, podstawowe twierdzenie teorii Galois. Rozszerzenia cykliczne, abelowe, rozwiązalne oraz pierwiastnikowe. Zastosowania teorii Galois: Zasadnicze Twierdzenie Algebry, konstrukcje geometryczne, rozwiązalność równań wielomianowych.
Zaliczenie przedmiotu: egzamin.Literatura:
37. Teoria informacji(wykład specjalistyczny [TIN-06])
Specjalność | I+Z | Poziom | 7 | Status | W |
L. godz. tyg. | 2 W + 2 L | L. pkt. | 6 | Socr. Code | 11.3 |
Źródło informacji. Entropia źródła informacji.
Kanał komunikacyjny. Informacja wzajemna.
Pojemność kanału komunikacyjnego.
Kodowanie źródłowe i kanałowe.
Kody zagęszczania danych.
Kody transmisji danych. Kody korygujące błędy.
Kody kompresji danych.
Zastosowania teorii informacji
38. Teoria i praktyka podejmowania decyzji(wykład specjalistyczny [TPD-06])
Specjalność | I+F+Z | Poziom | 5 | Status | W |
L. godz. tyg. | 2 W + 2 Ćw | L. pkt. | 6 | Socr. Code | 11.1 |
Cel wykładu:Celem wykładu jest zapoznanie z problematyką, modelowaniem i sposobami rozwiązywania problemów decyzyjnych.
Program wykładu:
Procesy decyzyjne, klasyfikacja podejść, aspekty psychologiczne.
Modelowanie matematyczne problemów ekonomicznych.
Podejmowanie decyzji w warunkach niepewności i ryzyka.
Decyzje przy wielu kryteriach oceny.
Decyzje grupowe.
Informatyczne systemy wspomagania decyzji.
39. Teoria i zastosowania modeli ekonometrycznych(wykład specjalistyczny [TZM-06])
Specjalność | F+Z | Poziom | 10 | Status | W |
L. godz. tyg. | 2 W+ 2 Ćw. | L. pkt. | 6 | Socr. Code | 11.1 |
Wymagania wstępne:Statystyka 1.
1. Kryteria selekcji modeli ekonometrycznych.
2. Modele liniowe, estymacja parametrów modeli. Wnioskowanie statystyczne w modelach liniowych.
3. Jednorównaniowe i wielorównaniowe liniowe modele ekonometryczne.
4. Nieliniowe modele ekonometryczne.
5. Modele o parametrach zmieniających się w czasie.
6. Modele budowane przy założeniu racjonalnych oczekiwań co do przyszłości.
7. Modele układów ekonomicznych działających racjonalnie.
8. Wnioskowanie i prognozowanie na podstawie różnych modeli ekonometrycznych.
9. Wskażnik giełdy jako jednorównaniowy model ekonometryczny.
10. Modele wyceny nieruchomości.
11. Wykorzystanie pakietów statystycznych do analizy aktualnych problemów ekonometrycznych.
40. Teoria liczb(wykład fakultatywny [TLB-03])
Specjalność | I+N+F+T+Z | Poziom | 5 | Status | W |
L. godz. tyg. | 2 W+ 2 Ćw. | L. pkt. | 6 | Socr. Code | 11.1 |
Liczby pierwsze i ich rozmieszczenie:funkcja
i jej własności, nierówność Czebyszewa, postulat Bertranda, funkcja zeta Riemanna i jej związek z rozmieszczeniem liczb pierwszych, liczby Fermata i Mersenne'a, test Lucasa-Lehmera, rekordowe liczby pierwsze.
Podstawowe funkcje arytmetyczne:funkcje arytmetyczne, funkcje multyplikatywne, splot Dirichleta, wzór Möbiusa, wartości podstawowych funkcji arytmetycznych.
Struktura grupy
:struktura grupy
, (gdzie
jest liczbą pierwszą), pierwiastki pierwotne modulo
, indeksy i ich zastosowania, reszty stopnia
modulo
.
Reszty kwadratowe i prawo wzajemności:reszty kwadratowe, symbol Legendre'a, kryterium Eulera, lemat Gaussa, prawo wzajemności reszt kwadratowych i jego uzupełnienia, symbol Jacobiego.
Kwadratowe sumy Gaussa:kwadratowe sumy Gaussa i ich własności, zastosowanie do dowodu prawa wzajemności reszt kwadratowych.
Aproksymacje diofantyczne:ułamki łańcuchowe i ich redukty, rozwijanie liczb rzeczywistych na ułamki łańcuchowe arytmetyczne, prawo najlepszego przybliżenia, twierdzenie Hurwitza, liczby algebraiczne i przestępne, twierdzenie Liouville'a.
Analiza diofantyczna:równania diofantyczne stopnia pierwszego, równanie Pitagorasa, równanie Pella, wybrane równania eliptyczne, rozkłady liczb naturalnych na sumy jednakowych potęg, dowód Wielkiego Twierdzenia Fermata dla
.
41. Teoria mnogości(wykład fakultatywny [TMN-02])
Specjalność | I+N+F+T+Z | Poziom | 5 | Status | W |
L. godz. tyg. | 2 W+ 2 Ćw. | L. pkt. | 6 | Socr. Code | 11.1 |
Aksjomaty teorii mnogości, pewnik wyboru. Liczby porządkowe, liczby naturalne, liczba
Indukcja pozaskończona. Arytmetyka liczb porządkowych. Liczby kardynalne, hierarchia alefów. Arytmetyka liczb kardynalnych.
42. Topologia a ekonomia(wykład specjalistyczny [TEK-04])
Specjalność | F+Z | Poziom | 5 | Status | W |
L. godz. tyg. | 2 W + 2 Ćw | L. pkt. | 6 | Socr. Code | 11.1 |
Wykład zawiera zastosowania topologii w ekonomii. Pierwsza część wykładu bazuje na Walrasowskim podejściu do matematycznej ekonomii. Na modelu Arrowa-Debreu gospodarki konkurencyjnej rozwiązana będzie hipoteza o istnieniu równowagi konkurencyjnej. Omawiane będą miedzy innymi następujące pojęcia: przestrzeń towarów, relacje preferencji i porządek liniowy, twierdzenie Debreu o istnieniu funkcji użyteczności, multifunkcje zbioru budżetowego, popytu i podaży, Prawo Walrasa. W drugiej części wykładu zostanie udowodnione twierdzenie o sygnaturach. Jako wnioski z tego twierdzenia otrzymamy twierdzenie Nasha o równowadze, minimaksowe twierdzenie von Neumanna i twierdzenie Gale'a-Nikaido, za pomocą którego zostanie udowodnione istnienie równowagi w modelu Arrowa-Debreu.
Zaliczenie przedmiotu: egzamin.Literatura:
43. Topologia i geometria różniczkowa(wykład fakultatywny [TGR-06])
Specjalność | I+N+F+T+Z | Poziom | 6 | Status | W |
L. godz. tyg. | 2 W+ 2 Ćw. | L. pkt. | 6 | Socr. Code | 11.1 |
Wymagania wstępne:Algebra liniowa z geometrią i Analiza matematyczna
Rozmaitości, struktura różniczkowa na rozmaitościach. Przestrzeń styczna do rozmaitości -różne definicje. Wiązki wektorowe i tensorowe. Pola wektorowe i tensorowe. Koneksja liniowa. Przesunięcie równoległe. Pochodna kowariantna pól tensorowych. Grupy i algebry Liego. Metryka Riemannowska.
Formy różniczkowe. Formy zamknięte i zupełne - Lemat Poincare. Kohomologia de Rhama i jej związki z topologią (np.ciąg Mayera-Vietorisa, charakterystyka Eulera, twierdzenie Jordana).
44. Ubezpieczenia majątkowe(wykład specjalistyczny [UMA-05])
Specjalność | F+Z | Poziom | 7 | Status | W |
L. godz. tyg. | 2 W + 2 Ćw | L. pkt. | 6 | Socr. Code | 11.1 |
Wymagania:Rachunek prawdopodobieństwa 1Alub Rachunek prawdopodobieństwa 1B.
Rozkłady występujące w ubezpieczeniach. Rozkłady ciężkoogonowe i lekkoogonowe. Funkcje generujące momenty i kumulanty. Model indywidualnego ryzyka. Model kolektywnego ryzyka. Rozkłady złożone łącznej wartości szkód. Wzór Panjera. Podział ryzyka i teoria użyteczności. Aproksymacja rozkładu łącznej wartości szkód i kalkulacja składki. Proces nadwyżki ubezpieczyciela. Prawdopodobieństwo ruiny i współczynnik dopasowania.
45. Ubezpieczenia na życie(wykład specjalistyczny [UBZ-05])
Specjalność | F+Z | Poziom | 7 | Status | W |
L. godz. tyg. | 2 W + 2 Ćw | L. pkt. | 6 | Socr. Code | 11.1 |
Wymagania:rachunek prawdopodobieństwa 1Alub rachunek prawdopodobieństwa 1B.
Elementy modelu demograficznego, tablice trwania życia. Ubezpieczenia na życie, na dożycie, na życie i dożycie. Renty życiowe. Składki i rezerwy składek netto. Składki i rezerwy brutto. Ubezpieczenia grupowe. Zastosowanie równań funkcyjnych w zagadnieniach modelu demograficznego.
46. Układy dynamiczne 1(wykład monograficzny [UDN1-06])
Specjalność | I+N+F+T+Z | Poziom | 7 | Status | W |
L. godz. tyg. | 2 W+ 2 Ćw. | L. pkt. | 6 | Socr. Code | 11.1 |
Przestrzeń fazowa, ewolucja w czasie. Orbity, zbiory graniczne i portrety fazowe. Położenia równowagi, orbity okresowe, orbity homo- i heterokliniczne. Klasyfikacja punktów stacjonarnych układów liniowych. Linearyzacja w pobliżu położenia równowagi. Zbiory niezmiennicze, atraktory, stabilność zbiorów niezmienniczych i punktów stacjonarnych. Równoważność układów dynamicznych; klasyfikacja Denjoy homeomorfizmów okręgu. Sporządzanie portretów fazowych dwuwymiarowych układów hamiltonowskich i układów typu drapieżnik-ofiara; teoria Poincare-Bendixsona. Trajektorie bilardów matematyczntch w obszarach wypukłych i algebraicznych homomorfizmów torusa.
Zaliczenie przedmiotu: egzamin.Literatura:
47. Układy dynamiczne 2(wykład monograficzny [UDN2-06])
Specjalność | I+N+F+T+Z | Poziom | 8 | Status | W |
L. godz. tyg. | 2 W+ 2 Ćw. | L. pkt. | 6 | Socr. Code | 11.1 |
Wymagania wstępne:Układy dynamiczne 1.
Twierdzenie Grobmana-Hartmana. Teoria bifurkacji dla równań różniczkowych zwyczajnych i dla odwzorowań. Stabilność rozwiązań okresowych równań różniczkowych zwyczajnych. Rozmaitość Centralna i redukcja do formy normalnej. Miary niezmiennicze i ergodyczne własności układów dynamicznych: przykłady i ergodyczne własności układów dynamicznych z miarą niezmienniczą; Indywidualne i Statystyczne Twierdzenia Ergodyczne, twierdzenie Kryłowa-Bogoliubowa, związki ze stacjonarnymi procesami stochastycznymi i z teorią iterowanych układów funkcyjnych z prawdopodobieństwami.
48. Wprowadzenie do logiki rozmytej(wykład monograficzny [WLR-03])
Specjalność | I+T+Z | Poziom | 6 | Status | W |
L. godz. tyg. | 2 W+ 2 Ćw. | L. pkt. | 6 | Socr. Code | 11.1 |
Zbiory rozmyte. Podstawowe własnosci oraz operacje na zbiorach rozmytych. Zasada rozszerzania.
Wielowartościowe spójniki logiczne stosowane w logice rozmytej. Negacje rozmyte, normy i konormy trójkątne, implikacje rozmyte; operatory agregujące.
Liczby rozmyte. Definicja i własności. Operacje arytmetyczne na liczbach rozmytych.
Relacje rozmyte. Działania na relacjach rozmytych; sup -* złożenie relacji rozmytych.
Podstawy wnioskowania przybliżonego. Uogólnione reguły wnioskowania (reguła modus ponens, modus tollens).
Systemy rozmyte. Kontrolery oparte na logice rozmytej. Zastosowania poznanych pojęć w praktyce.
49. Wstęp do matematyki finansowej(wykład specjalistyczny [WMF-02])
Specjalność | F+Z | Poziom | 5 | Status | W |
L. godz. tyg. | 2 W + 2 Ćw | L. pkt. | 6 | Socr. Code | 11.1 |
Wymagania:analiza matematyczna 1-4.
Wartość pieniądza w czasie, modele akumulacji kapitału. Dyskonto matematyczne i dyskonto handlowe. Modele spłaty długów. Renty kapitałowe. Wycena papierów wartościowych i ocena projektów inwestycyjnych. Schematy amortyzacji. Elementy analizy portfelowej.
50. Wybrane elementy teorii równań różniczkowych i całkowych(wykład fakultatywny [ZRC-04])
Specjalność | I+N+F+T+Z | Poziom | 5 | Status | W |
L. godz. tyg. | 2 W+ 2 Ćw. | L. pkt. | 6 | Socr. Code | 11.1 |
Wiadomości wstępne:Twierdzenia o punkcie stałym Brouwera i Schaudera. Przykłady zastosowania twierdzenia Schaudera w teorii równań całkowych i równań różniczkowych zwyczajnych. Lemat Gronwalla i kryterium Osgooda jako przykłady twierdzeń gwarantujących jednoznaczność rozwiązań równań różniczkowych zwyczajnych. Twierdzenia o silnych i słabych nierównościach różniczkowych dla równań zwyczajnych. Twierdzenia o ciągłej zależności od parametru i warunku początkowego. Przybliżone metody rozwiązywania równań różniczkowych zwyczajnych.
Wprowadzenie do teorii stabilności:Podstawowe definicje teorii stabilności. Pojęcie funkcji Lapunowa. Trzy twierdzenia Lapunowa o stabilności. Zasada Niezmienniczości LaSalle'a. Przykłady funkcji Lapunowa w równaniach zwyczajnych i prostych równaniach cząstkowych.
51. Wybrane zagadnienia kombinatoryki(wykład monograficzny [WZK-06])
Specjalność | I+N+F+T+Z | Poziom | 6 | Status | W |
L. godz. tyg. | 2 W+ 2 Ćw. | L. pkt. | 6 | Socr. Code | 11.1 |
1. Twierdzenie Ramsey'a w wersji nieskończonej i w wersji skończonej.
2. Liczby Ramsey'a, oszacowania górne i oszacowania dolne (twierdzenie Erdösa).
3. Zastosowania liczb Ramsey'a (twierdzenie Erdösa-Szekeresa).
4. Twierdzenie van der Waerdena o postępach arytmetycznych (wersja skończona i wersja nieskończona).
5. Twirdzenie Halesa-Jewetta o prostych kombinatorycznych.
6. Uogólnienia twierdzenia Ramsey'a na zbiory nieprzeliczalne (twierdzenie Erdösa-Rado, twierdzenie Duschnika-Millera).
52. Wycena pochodnych instrumentów finansowych(wykład specjalistyczny [WIF-06])
Specjalność | F+Z | Poziom | 9 | Status | W |
L. godz. tyg. | 2 W+ 2 Ćw. | L. pkt. | 6 | Socr. Code | 11.1 |
Wymagania wstępne:Wstęp do matematyki finansowej, Procesy stochastyczne..
Podstawowe instrumenty pochodne. Arbitrażowa metoda wyceny. Kontrakty forward i futures. Opcje- ogólne własności, opcje europejskie i amerykańskie, wycena opcji, opcje egzotyczne. Inżynieria finansowa- zabezpieczenie finansowe, strategie finansowe. Kontrakty wymiany. Ogólne struktury terminowe.