Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki - Centralny System Uwierzytelniania
Strona główna

Przedmioty w rejestracji Rejestracja na przedmioty całoroczne i z semestru zimowego 2020/21 1000-2020

Lista uwzględnia również te przedmioty, które są chwilowo wyłączone z rejestracji (ale były lub będą uwzględnione w innych jej turach).
Filtry
Zaloguj się, aby uzyskać dostęp do dodatkowych opcji

Konkretniej - pokazuj tylko te przedmioty, dla których istnieje otwarta rejestracja taka, że możesz w jej ramach zarejestrować się na przedmiot.

Dodatkowo pokazywane są również te przedmioty, na które jesteś już zarejestrowany (lub składałeś prośbę o zarejestrowanie).

Pokaż tylko przedmioty z wybranej grupy: Boldem są napisane grupy przedmiotów zawierające przedmioty, dla których istnieje otwarta rejestracja taka, że możesz w jej ramach zarejestrować się na przedmiot.
Jeśli chcesz zmienić te ustawienia na stałe, edytuj swoje preferencje w menu Mój USOSweb.
Opcje
1000-111ADM1
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Pierwsza część wykładu i ćwiczeń wprowadza studenta w teorię i praktykę

formalizmu matematycznego: elementy teorii mnogości są fundamentem na

którym zbudowany jest dalszy wykład algebry liniowej. Podstawy teorii

przestrzeni liniowych rozwinięte są nad dowolnym ciałem skalarów. Zarówno

teoria przestrzeni jak i przekształceń liniowych stosowane są nie tylko do

badania układów równań liniowych w kartezjańskich przestrzeniach

współrzędnych ale również do innych naturalnych przestrzeni i odwzorowań

między nimi, które pojawiają się naturalnie w innych działach matematyki

(przestrzenie wielomianów, ciągów i funkcji).

Strona przedmiotu
1000-113bAG1*
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

To jest rozszerzona wersja wykładu Algebra 1; wzbogacona o dodatkowy materiał dotyczący teorii grup i teorii pierścieni.

Podstawowe struktury algebraiczne: grupy, pierścienie przemienne z 1 i ciała. Teoria grup: podgrupy normalne, grupy ilorazowe, działania grup na zbiorach, informacje o klasyfikacji skończenie generowanych grup abelowych i twierdzeniu Sylowa. Teoria pierścieni: podzielność, rozkład na czynniki, pojęcie ideału oraz pierścienia ilorazowego. Teoria ciał: rozszerzanie ciała przez dołączenie pierwiastków wielomianu, informacja o istnieniu algebraicznego domknięcia ciała.

Strona przedmiotu
1000-113bAG1a
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Podstawowe struktury algebraiczne: grupy, pierścienie przemienne z 1 i ciała. Teoria grup: podgrupy normalne, grupy ilorazowe, działania grup na zbiorach, informacje o klasyfikacji skończenie generowanych grup abelowych i twierdzeniu Sylowa. Teoria pierścieni: podzielność, rozkład na czynniki, pojęcie ideału oraz

pierścienia ilorazowego. Teoria ciał: rozszerzanie ciała przez dołączenie pierwiastków wielomianu, informacja o istnieniu algebraicznego domknięcia ciała.

Strona przedmiotu
1000-135ALP
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Przedmiot stanowi wprowadzenie do algebry przemiennej i jest wymagany do

rejestracji na przedmiot geometria algebraiczna. Na wykładzie zostaną

wprowadzone pojęcia związane z pierścieniami przemiennymi i modułami nad

tymi pierścieniami, i zostaną dowiedzione podstawowe twierdzenia dotyczące

tych klas obiektów algebraicznych; ważną klasą rozważanych pierścieni będą

pierścienie noetherowskie.

Strona przedmiotu
1000-135ASW
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Wykład ma na celu przedstawienie klasycznych rezultatów dotyczacych struktury i teorii reprezentacji

liniowych algebr skonczonego wymiaru nad ciałem. Omówione beda: odpowiedniosc pomiedzy teoria

modułów i teoria reprezentacji, moduły proste, radykał algebry i klasykacja półprostych algebr łacznych.

Podane beda zastosowania do teorii reprezentacji grup skonczonych, poprzez rezultaty dotyczace algebr

grupowych i teorie charakterów grup. Omówione zostana przykłady zastosowan. Podane beda podstawowe

informacje o skonczenie wymiarowych algebrach Lie’go i ich reprezentacjach. Jako narzedzie w tej teorii,

omówione zostana algebry obwiednie i ich własnosci.

Strona przedmiotu
1000-2M12DNA
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Wykład poświęcony jest technikom sekwencjonowania DNA oraz problemom związanym z analizą ich danych wyjściowych. Problemy te mają charakter zarówno algorytmiczny (zastosowanie znajdują tu m.in. grafy de Bruijna, transformacja Barrows'a Wheeler'a), jak i statystyczny (analiza różnic w populacji, testowanie hipotez).

Strona przedmiotu
1000-2M12APW
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Wykład poświęcony będzie ponadwielomianowym algorytmom dla problemów NP-trudnych, ze szczególnym uwzględnieniem algorytmów parametryzowanych.

Wykład jest pomyślany dla studentów i doktorantów zainteresowanych algorytmiką i kombinatoryką, i rozważających pracę naukową (choćby na poziomie pracy magisterskiej).

Strona przedmiotu
1000-2N09ALT
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Wykład jest poświęcony omówieniu podstawowych metod projektowania i analizowania algorytmów związanych z tekstami. Zasadniczym problemem będzie zrozumienie struktury wielu skomplikowanych algorytmów oraz różnego typu techniki algorytmiczne i struktury danych (drzewa sufiksowe, grafy podsłów). Teksty są prostym a jednocześnie powszechnym typem informacji, ale będą rozważane zarówno standardowe teksty (jako ciągi symboli), jak również bardziej strukturalne formy: teksty dwuwymiarowe (związki z grafiką) i drzewa etykietowane (struktury występujące w XML i biologii obliczeniowej). Klasyczne problemy algorytmiczne związane są z szukaniem (lub wykrywaniem) wzorca, regularnością i kompresją tekstów. Ponadto rozważymy problemy związane z biologią obliczeniową (uliniowienie, drzewa ewolucyjne) oraz ze "stringologią" fraktali dwuwymiarowych. Wiele ciekawych tekstów jest zadanych w formie skompresowanej, rozmiar rzeczywistego tekstu może być wykładniczy w stosunku do rozmiaru n jego opisu.

Strona przedmiotu
1000-2M12AGO
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Celem wykładu jest zapoznanie studenta wybranymi z modelami, algorytmami i narzędziami stosowanymi w genomice porównawczej ze szczególnym uwzględnieniem drzew i ich zastosowaniem w różnych kontekstach.

Planowane ćwiczenia będą częściowo formie laboratorium komputerowego.

Strona przedmiotu
1000-135AF
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Podstawowe pojęcia analizy funkcjonalnej, ilustracja jej związków z geometrią i algebrą liniową, analizą matematyczną i topologią, w tym: pojęcie przestrzeni Banacha oraz przestrzeni Hilberta, pojęcie operatora oraz funkcjonału liniowego, ciągłego, twierdzenie Hahna-Banacha, twierdzenie Banacha-Steinhausa, twierdzenie o odwzorowaniu otwartym.

Strona przedmiotu
1000-135AF*
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Zapoznanie z podstawowymi pojęciami, twierdzeniami i metodami liniowej analizy funkcjonalnej.

Strona przedmiotu
1000-1M10AH
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Wykład "Analiza harmoniczna" jest przeznaczony dla studentów zainteresowanych szeroko pojętą analizą. Jego celem jest przekazanie wiedzy na temat klasycznych wyników przemiennej analizy harmonicznej i fourierowskiej. Przedmiot ten stanowi doskonały wstęp do nauki zagadnień bardziej szczegółowych oraz abstrakcyjnych. Wymagana jest znajomość analizy na poziomie pierwszych dwóch lat studiów oraz wiedza wchodząca w zakres funkcji analitycznych i analizy funkcjonalnej I (zaliczanie równoczesne tych wykładów jest wystarczające).

Strona przedmiotu
1000-1S96AM
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Seminarium poświęcone jest prezentacji wybranych, ważnych wyników z szeroko pojętej analizy oraz prezentacji prac magisterskich uczestników seminarium.

Strona przedmiotu
1000-111bAM1a
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Przedmiot jest wprowadzeniem w podstawowe pojęcia rachunku różniczkowego jednej zmiennej. Materiał obejmuje

własności liczb rzeczywistych i wymiernych, zasadę indukcji, granice ciągów (w tym twierdzenie Bolzano-

Weierstrassa), szeregi liczbowe (począwszy od podstawowych kryteriów aż do twierdzenia o zbieżności iloczynu

Cauchy’ego szeregów), granice funkcji, ciągłość funkcji i jej konsekwencje (własność Darboux, twierdzenie

Weierstrassa), funkcje wypukłe oraz pojęcie pochodnej.

Strona przedmiotu
1000-113bAM3*
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Rachunek różniczkowy wielu zmiennych, teoria miary i całki.

Uwaga: wykład może być trudniejszy i obszerniejszy od zwykłego.

Strona przedmiotu
1000-113bAM3a
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Przedmiot składa się z dwóch części. Pierwsza obejmuje rachunek różniczkowy funkcji wielu zmiennych, w tym twierdzenia o funkcji uwikłanej i odwrotnej, pojęcie rozmaitości zanurzonej w R^n i przestrzeni stycznej do rozmaitości, twierdzenie o mnożnikach Lagrange'a. Druga to wprowadzenie do teorii miary i całki Lebesgue'a, w tym konstrukcja miary Lebesgue'a, własności zbiorów i funkcji mierzalnych. Definicja całki Lebesgue'a, twierdzenia o zbieżności monotonicznej i zmajoryzowanej, lemat Fatou. Twierdzenie o zamianie zmiennych i twierdzenie Fubiniego.

Strona przedmiotu
1000-135AN
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Metody numerycznego rozwiązywania ważnych zadań obliczeniowych matematyki stosowanej: zagadnienia własnego, wielkich układów równań liniowych, układów równań nieliniowych oraz całkowania wielowymiarowego.

Strona przedmiotu
1000-1S11BOB
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Seminarium poświęcone jest problemom badawczym w dziedzinie współczesnej biologii obliczeniowej.

W przypadku braku studentów obcojęzycznych, zajęcia będą prowadzone po polsku.

Strona przedmiotu
1000-2M17FT
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

FinTech (Financial Technology) oznacza nowopowstający gałąź w branży IT, której celem jest użycie najnowszych technologii informacyjnych w celu usprawnienia usług finansowych. O ile nowinki technologiczne wprowadzane są od wielu lat małymi kroczkami przez wszystkie liczące się tradycyjne banki, o tyle firmy FinTech dążą do technologicznej rewolucji, która zupełnie zmieni bankowość jaką znamy. Produkty FinTech opierają się między innymi na technologiach Big Data, analizie sieci społecznych, algorytmach uczenia maszynowego, sztucznej intelligencji. Na przykład, w USA istnieją już firmy pożyczkowe, które badają zdolność kredytową klientów tylko i wyłącznie na podstawie analizy ich kont na popularnych portalach społecznościowych. Algorytmy służące do oceny zdolności kredytowej na podstawie aktywności on-line i znajomych zostały też opatentowane przez Facebook (od 2014 roku).

Strona przedmiotu
1000-1S20FGA
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Seminarium wprowadza wiele głównych narzędzi współczesnej geometrii algebraicznej, pogłębiając wiedzę z przedmiotu "Geometria Algebraiczna". Zamierzamy omawiać podręcznik Raviego Vakila "Foundations of Algebraic Geometry", od początku.

Strona przedmiotu
1000-134FAN
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Podstawowe pojęcia analizy zespolonej, ilustracja jej związków z topologią, algebrą i geometrią, w tym: pochodna w dziedzinie zespolonej i konsekwencje różniczkowalności w sensie zespolonym. Równania Cauchy’ego-Riemanna. Wzór całkowy Cauchy’ego, analityczność funkcji holomorficznych. Zasadnicze Twierdzenie Algebry. Klasyfikacja izolowanych punktów osobliwych. Twierdzenie o residuach i jego zastosowania. Twierdzenie Riemanna.

Strona przedmiotu
1000-135GM1
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Podstawowe pojęcia i twierdzenia geometrii elementarnej wraz z licznymi zastosowaniami. Własności miarowe kątów oraz odcinków w powiązaniu z okręgami. Izometrie oraz nierówność trójkąta: problemy minimalizacyjne, m.in. Torricelliego-Fermata oraz Fagnano. Podobieństwo oraz pole: twierdzenia Menelausa, Cevy, Ptolemeusza, Newtona, Gaussa, okrąg Apoloniusza. Grupy przekształceń: izometrie, podobieństwa, dylatacje.

Strona przedmiotu
1000-2M00GO
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Analiza wybranych problemów geometrii obliczeniowej i metod, które je rozwiązują (zamiatanie, dziel i rządź, prune and search, dualizacja itp..). Teoria i zastosowania.

Strona przedmiotu
1000-111bGA1a
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Ciała, ciało liczb zespolonych, rozwiązywanie układów równań liniowych nad ciałem. Macierze, doprowadzanie do postaci schodkowej. Przestrzenie liniowe, podprzestrzenie, liniowa niezależność, rozpinanie przestrzeni, bazy, współrzędne wektora w bazie, wymiar przestrzeni liniowej. Rząd macierzy, twierdzenie Kroneckera-Capellego. Przekształcenia liniowe, zadawanie przekształcenia przez wartości na bazie. Jądro i obraz przekształcenia, monomorfizmy, epimorfizmy, izomorfizmy. Przekształcenia ilorazowe. Macierz przekształcenia liniowego, algebra macierzy, macierze odwracalne. Funkcjonały liniowe, przestrzenie i przekształcenia sprzężone, bazy dualne. Wyznaczniki, obliczanie za pomocą operacji elementarnych i rozwinięcia Laplace'a, twierdzenie Cauchy'ego o

wyznaczniku iloczynu macierzy, wzory Cramera na rozwiązanie układu n równań.

Strona przedmiotu
1000-135GK
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Wykład ma na celu zapoznanie uczestników z podstawowymi algorytmami i strukturami danych stosowanymi w grafice komputerowej. Przedstawiane wiadomości dotyczą algorytmów grafiki rastrowej, geometrii dwu- i trójwymiarowej, elementów geometrii obliczeniowej, modelowania geometrycznego, algorytmów widoczności i modeli oświetlenia.

Strona przedmiotu
1000-2M09OTA
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Handel elektroniczny jest jednym z podstawowych zastosowań technologii internetowej. Tworzenie zaawanasowanych rozwiązań w tej dziedzinie wymaga nie tylko umiejętności informatycznych, ale także wiedzy z zakresu toerii gier, ekonomii i innych nauk społecznych.

Podczas zajęc przedstawiony zostaną najważniejsze zagadnienia dotyczące handlu elektronicznego, w tym: tworzenie optymalnych mechanizmów wyboru, projektowanie aukcji, aukcje kombinatoryczne, itp.

Wiele technik omawianych na wykładzie wykorzystywane jest przy tworzeniu usług i oprogramowania najwiekszych firm z branży IT, takich jak, na przykład, Google, Ebay czy Microsoft (Yahoo).

Strona przedmiotu
1000-135IFI
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Wykład przedstawia podstawowe instrumenty finansowe: kontrakty na przyszłą stopę procentową, kontrakty wymiany procentowej, kontrakty forward i futures, kontrakty opcyjne - opcje waniliowe, wybrane opcje egzotyczne oraz opcje na stopę procentową. Dla każdego z tych instrumentów przedstwione są: struktura instrumentu i jego zastosowania, metoda wyceny oraz analiza wrażliwości - z uwzględnieniem praktyki rynkowej.

Strona przedmiotu
1000-2M20IRIO
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Przedmiot to spojrzenie z perspektywy inżyniera na tworzenie złożonego ekosystemu serwisów które składają się na publiczną chmurę obliczeniową. Infrastruktura chmury to złożony system rozproszony z wyjątkowymi wymaganiami: wysokiej niezawodności, ogromnej skali i pracujący w wielowarstwowym oprogramowaniu. Pokażemy, jak te wymagania wpływają na kluczowe zagadnienia projektowania (komunikacja, skalowalność, alokacja zasobów, zarządzanie danymi) i inżynierii niezawodności (monitorowanie i testowanie). Kurs prowadzony będzie przez inżynierów Google’a pracujących na co dzień przy projektowaniu, wdrażaniu i utrzymywaniu infrastruktury chmury. Naszym celem nie jest nauczenie konkretnych technologii chmurowych, a raczej fundamentalnych zasad projektowania systemów rozproszonych wielkiej skali. Planujemy ilustrować te zasady na przykładach systemów, nad którymi pracowali wykładowcy.

Strona przedmiotu
1000-135RRJ
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Zachowania graniczne trajektorii równań różniczkowych zwyczajnych. Zbiory niezmiennicze. Równanie różniczkowe jako układ dynamiczny.

Strona przedmiotu
1000-2M15ZTA
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Automaty nad słowami nieskończonymi, drzewami i innymi strukturami wejściowymi. Niestandardowe mechanizmy kontroli: automaty ważone/probabilistyczne, stratne, współbieżne, czasowe. Związki pomiędzy automatami, grami i logikami. Algorytmiczna (nie)rozstrzygalność problemów decyzyjnych.

Strona przedmiotu
1000-1S96AL
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Seminarium poświęcone jest badaniu własności szeregu podstawowych struktur algebraicznych i ich zastosowań. W szczególności: grup i półgrup, pierścieni i algebr, modułów, a także macierzy i reprezentacji liniowych.

Strona przedmiotu
1000-2N09KDW
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Podstawy kompresji tekstów i obrazów. Uniwersalne metody kompresji.

Strona przedmiotu
1000-1S16LTO
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Od automatów skończonych do rozgrywek na dowolnych grafach, od czasu stałego do nieelementarnego, od logiki klasycznej do logik temporalnych opisujących

własności złożonych systemów. Tematyka seminarium obejmuje szeroki krąg problemów współczesnej informatyki teoretycznej. Prace magisterskie często

rozwiązują nietrywialne problemy matematyczne lub dają kompetentny przegląd jakiejś nowej dziedziny; możliwe są także prace implementacyjne (np.

symulacje gier).

Strona przedmiotu
1000-2M13LTT
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Wykład obejmie wprowadzenie do różnych systemów z typami i ich interpretacji logicznych w duchu paradygmatu ,,formuły-typy", zwanego też izomorfizmem Curry'ego-Howarda. W szczególności mowa będzie o logice intuicjonistycznej, liniowej i teorio-typowych podstawach wnioskowania wspomaganego komputerowo.

Strona przedmiotu
1000-135LOM
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Wprowadzenie do klasycznych zagadnień logiki matematycznej z elementami teorii modeli.

Jeśli w wykładzie nie będą uczestniczyć słuchacze obcojęzyczni, wykład będzie prowadzony po polsku.

Strona przedmiotu
1000-1S11MF
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Patrz opis seminarium magisterskiego 1000-1D11MF.

Strona przedmiotu
1000-1S11AM
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Patrz opis seminarium magisterskiego 1000-1D11AM.

Strona przedmiotu
1000-1S20MU
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Pracując w kameralnych grupach, studenci będą rozwiązywać interdyscyplinarne problemy podobne do tych, jakie mogą spotkać w pracy zawodowej poza uczelnią. Celem zajęć jest nabycie ogłady w skutecznym podejściu do nowych zadań, pracy zespołowej, prezentacji wyników, używania narzędzi komputerowych wspomagających pracę matematyka stosowanego.

Strona przedmiotu
1000-135MUZ
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Model probabilistyczny ubezpieczeń życiowych.

Strona przedmiotu
1000-135MGT
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Podstawowe pojecia teorii kategorii, kategorie addytywne i abelowe; Iloczyn tensorowy w kategorii modułów. Moduły projektywne, injektywne i rezolwenty. Grupy z gradacja; kompleksy łancuchowe i ich homologie. Funktory pochodne Hom i produktu tensorowego. Presnopy, snopy i ich kohomologie.

Kohomologie symplicjalne i kohomologie Cecha. Nakrycia i wiazki główne; interpretacja kohomologiczna. W przypadku udziału słuchaczy obcojezycznych wykład jest prowadzony po angielsku.

Strona przedmiotu
1000-1S12MIF
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Seminarium poświęcone jest analizie podstawowych problemów matematycznych w finansach.

Corocznie prowadzący wybierają bardziej szczegółową tematykę, której dotyczy seminarium w danym roku.

Strona przedmiotu
1000-135MMN
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Celem wykładu jest przedstawienie podstawowych metod układów dynamicznych i teorii równań różniczkowych cząstkowych niezbędnych do współczesnego opisu zjawisk przyrodniczych i społecznych.

Strona przedmiotu
1000-1S96MN
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Seminarium poświęcone jest metodom numerycznym i ich wykorzystaniu w matematyce obliczeniowej. Interesują nas różne zagadnienia, w których tkwi aspekt numeryczny lub aproksymacyjny. Mogą to być problemy czysto numeryczne jak i problemy z różnego typu zastosowań matematyki, w których istotną częścią jest numeryka, wreszcie zagadnienia z "matematyki czystej", których rozwiązanie wymaga wsparcia numerycznego (tak na przykład jest niekiedy z konstrukcją kontrprzykładów). Osobnym działem funkcjonującym w ramach tego seminarium jest grafika komputerowa. Prowadzone są u nas także prace dotyczące algorytmów równoległych (współbieżnych), złożoności obliczeniowej zadań ciągłych i obliczeń kwantowych.

Strona przedmiotu
1000-1S05MPF
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Tematyka seminarium dotyczy szeroko rozumianego modelowania stochastycznego w finansach.

Strona przedmiotu
1000-135MAG
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Celem zajęć jest przedstawienie podstawowych zagadnień teorii liczb, algebry oraz analizy w zakresie wymagań obowiązującej podstawy programowej z matematyki. Zostaną też przedstawione rozwiązania metodyczne oraz dobre praktyki związane z nauczaniem tych zagadnień, zarówno na poziomie szkoły podstawowej jak i ponadpodstawowej. Zajęcia będą wzbogacone o treści rozwijające zainteresowanie uczniów matematyką w zakresie omawianych tematów.

Strona przedmiotu
1000-135MGE
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Celem wykładu jest przedstawienie szerokiego zestawu metod nauczania geometrii w szkole podstawowej i średniej.

Strona przedmiotu
1000-135MR
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Celem wykładu jest przedstawienie podstawowych teoretycznych i praktycznych zagadnien dotyczacych

miar ryzyka finansowego, w tym roli w zarzadzaniu ryzykiem w instytucjach finansowych. Ponadto bedzie

omówiony zwiazek miar ryzyka z teoria ubezpieczen.

Strona przedmiotu
1000-135MIE
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Mikroekonomia - dziedzina ekonomii zajmującą się mechanizmami wyboru jednostek i interakcjami pomiędzy jednostkami w gospodarce. Na wykładzie będziemy łączyć wprowadzenie do mikroekonomii z zaawansowaną mikroekonomią matematyczną. Zakres przedmiotu to teoria wyboru, zagadnienia wyboru producentów i konsumentów, wybór w warunkach niepewności oraz różne pojęcia równowagi na rynkach.

Strona przedmiotu
1000-135IP2
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Wykład będzie opisywał modelowanie rynków obligacji, modele stopy krótkoterminowej, instrumenty pochodne stopy procentowej (FRA, caps, floors, swaptions itp.), modele stopy forward a także zagadnienia kalibracji modeli do danych rynkowych.

Strona przedmiotu
1000-1S10MBS
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Tematyka seminarium obejmuje wybrane modele i metody matematyczne stosowane w naukach przyrodniczych i społecznych. Głównym nurtem będzie badanie złożonych zjawisk związanych z procesami fizycznymi, biologicznymi, medycznymi, społecznymi i innymi, które dają się opisać w języku dyskretnych i ciągłych układów dynamicznych zarówno deterministycznych jak i stochastycznych.

W przypadku obecności cudzoziemców zajęcia będą prowadzone po angielsku.

Strona przedmiotu
1000-1S11MMF
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Seminarium poświęcone będzie omówieniu wybranych modeli matematycznych rynków finansowych. Uwagę skupimy na analizie teoretycznej tych modeli oraz na towarzyszących im metodach obliczeniowych.

Strona przedmiotu
1000-135MMS
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Celem wykładu jest przybliżenie tematyki prac badawczych prowadzonych na Wydziale w zakresie matematyki stosowanej, w celu ułatwienia studentom zaplanowania swoich studiów II stopnia oraz tematyki przyszłej pracy magisterskiej. Zaprezentowanych będzie kilka klasycznych modeli matematyki stosowanej w fizyce, biologii, ekonomii i naukach społecznych.

Strona przedmiotu
1000-1S20MPZ
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Ideą naszego seminarium jest zastosowanie matematyki i narzędzi programistycznych do rozwiązywania problemów cywilizacyjnych współczesnego świata. Na problematykę związaną z ruchem drogowym i wpływem korków ulicznych na jakość powietrza, ekonomię i bezpieczeństwo popatrzymy z perspektywy narzędzi matematycznych i informatycznych, np. teorii gier, uczenia maszynowego, informatyki kwantowej, równań różniczkowych i automatów komórkowych.

Strona przedmiotu
1000-1M20NPD
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Wprowadzenie w techniki i narzędzia programistyczne w Pythonie ze szczególnym uwzględnieniem zastosowania w projektach z zakresu analizy danych.

Strona przedmiotu
1000-2M16NMW
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Wykład jest poświęcony praktycznym aspektom wnioskowania. Obejmie przede wszystkim narzędzia wnioskowania (zaimplementowane i ogólnie dostępne) i metody niezbędne dla ich wykorzystania.

Strona przedmiotu
1000-135NRR
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Wykład obejmuje konstrukcję, analizę i implementację podstawowych metod numerycznego rozwiązywania zagadnień początkowych i brzegowych dla równań różniczkowych zwyczajnych oraz zagadnień brzegowych i początkowo-brzegowych dla trzech podstawowych typów równań różniczkowych cząstkowych: eliptycznych parabolicznych i hiperbolicznych.

Strona przedmiotu
1000-2M09OTW
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Obliczeniowa Teoria Wyboru Społecznego jest dziedziną na przecięciu informatyki, ekonomii i nauk społecznych, która bada metody którymi możemy agregować preferencje ludzi w celu podjęcia wspólnej decyzji. Przykładowo, znacząca część teorii bada reguły wyboru pojedynczego zwycięzcy (np. systemy używane w wyborach prezydenckich). Teoria ta bada również reguły (protokoły/algorytmy) które mogą być używane do podejmowania decyzji publicznych w innych przypadkach: np., w przypadku wyboru komitetu, wyboru projektów które powinny być realizowane w ramach budżetu partycypacyjnego, przyporządkowania uczniów/studentów do szkół w oparciu o ich preferencje, czy też do efektywnej alokacji zasobów.

Strona przedmiotu
1000-135OPN
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Metody znajdowania ekstremów (minimów i maksimów) funkcji wielu zmiennych na zbiorach zadanych przez układ równości i nierówności nieliniowych. Metoda mnożników Lagrange'a, warunki Kuhna-Tuckera, techniki dualne. Szczególną uwagę poświęcimy optymalizacji wypukłej.

Strona przedmiotu
1000-1S03PM
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Seminarium jest przeznaczone dla tych, którzy pragną doskonalić się w sztuce prezentowania matematyki w sposób przystępny, zrozumiały także dla osób bez przygotowania matematycznego.

Strona przedmiotu
1000-2M08PMK
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Celem przedmiotu jest pogłębienie wiedzy na temat programowania niskopoziomowego i zapoznanie z metodami programowania mikrokontrolerów (sterowników mikroprocesorowych). Na wykładzie są omawiane typowe techniki programowania i narzędzia programistyczne, architektura mikroprocesorów ARM oraz typowe układy peryferyjne. Na laboratorium są prowadzone praktyczne ćwiczenia w oparciu o zestawy prototypowe z mikroprocesorem ARM. Programy pisze się w języku C, ewentualnie z drobnymi wstawkami asemblerowymi.

Wykład odbywa się co tydzień po 2 godziny, a zajęcia laboratoryjne - co drugi tydzień po 4 godziny. w pierwszym tygodniu są dwa wykłady (1 i 2); w drugim tygodniu jest wykład 3; zajęcia laboratoryjne startują w drugim tygodniu; kolejność wykładów może się zmienić.

Strona przedmiotu
1000-135POC
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Paradygmat programowania obiektowego. Praktyczna nauka programowania obiektowego w C++.

Strona przedmiotu
1000-2M11PWA
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Celem jest nauczenie studentów programowania w języku wewnętrznym procesora, z uwzględnieniem komunikowania się z systemem operacyjnym i ewentualnie bezpośredniego korzystania z urządzeń. Dodatkowo omówione zostaną zasady generowania kodu fizycznego dla potrzeb implementacji języków programowania, co stanowi uzupełnienie materiału o metodach realizacji języków programowania.

Strona przedmiotu
1000-2N00PLO
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Celem zajęć jest zapoznanie studentów z podstawami programowania w logice.

Na wykładzie zostanie przedstawiona składnia i semantyka (deklaratywna i operacyjna) programów w logice oraz omówiona kwestia poprawności i pełności mechanizmu obliczeniowego stosowanego w programowaniu w logice.

Na laboratorium studenci poznają podstawowe techniki programowania w logice.

Strona przedmiotu
1000-1S96RP
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Patrz opis seminarium magisterskiego 1000-1D96RP.

Strona przedmiotu
1000-135RP2
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Rachunek Prawdopodobieństwa II zawiera wprowadzenie do teorii zbieżnosci

według rozkładu (wykazanie równoważności wielu definicji, Centralne

Twierdzenie Graniczne) i zastosowań w tej teorii elementów analizy

harmonicznej (własności funkcji charakterystycznych). Ponadto omówione

zostaną elementy teorii martyngałów (czyli, mowiąc w uproszczeniu, gier

sprawiedliwych) i łańcuchów Markowa (pewnej klasy systemów losowych

ewoluujących w czasie).

Strona przedmiotu
1000-135RP2*
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Rachunek Prawdopodobieństwa II zawiera wprowadzenie do teorii zbieżnosci według rozkładu (wykazanie równoważności wielu definicji, Centralne

Twierdzenie Graniczne) i zastosowań w tej teorii elementów analizy harmonicznej (własności funkcji charakterystycznych). Ponadto omówione

zostaną elementy teorii martyngałów (czyli, mowiąc w uproszczeniu, gier sprawiedliwych) i łańcuchów Markowa (pewnej klasy systemów losowych

ewoluujących w czasie).

Strona przedmiotu
1000-2M11RW
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Przedmiot ma na celu zaznajomienie studentów z pojęciową reprezentacją wiedzy. Zajęcia pokażą studentom w jaki sposób stosować metodologię baz wiedzy w przetwarzaniu języka naturalnego, integracji różniących się modeli danych dotyczących tych samych dziedzin oraz w konstruowaniu wyszukiwarek semantycznych. Omówione będą również zagadnienia wizualizacji wiedzy i wnioskowań opartych na bazach wiedzy.

Strona przedmiotu
1000-1S20RN
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Na naszym seminarium omówimy wybrane zagadnienia rewolucji

Newtonowskiej, która w przeciągu kilku dekad za pomocą niezwykłej

mieszanki matematyki greckiej i głębokich nowych idei wprowadziła naukę

w erę nowożytną.

Strona przedmiotu
1000-135ROZ
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Omawiane są następujące tematy: lokalna geometria zespolona, zespolone formy różniczkowe, rozmaitości

kaehlerowskie, kohomologie Dolbeault, teoria Hodge’a, wiązki wektorowe, klasy Cherna.

Strona przedmiotu
1000-2M18RO
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Niemal każdego dnia słyszymy doniesienia o nowych osiągnięciach w dziedzinie rozpoznawania obrazów. Automatyczna klasyfikacja zdjęć, rozpoznawanie obiektów na obrazie, wykrywanie zdarzeń w wideo, analiza sytuacji na drodze przez autonomiczne samochody czy śledzenie obiektów przez drony to tylko nieliczne przykłady możliwości dzisiejszych algorytmów rozpoznawania obrazów. Ostatni postęp w sieciach neuronowych, w tzw. głębokim uczeniu, znacznie poprawił skuteczność znanych metod rozpoznawania obrazów. Kurs ten ma na celu przedstawienie architektur głębokiego uczenia oraz nauczenie implementowania, trenowania oraz debugowania własnych sieci neuronowych do rozpoznawania obrazów. Studenci zdobędą wiedzę teoretyczną, informacje o najnowszych badaniach, oraz zdobędą praktyczne umiejętności.

Strona przedmiotu
1000-135RRC
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Wykład stanowi wprowadzenie do teorii liniowych równań różniczkowych cząstkowych. Pierwsza część wykładu koncentruje się na klasycznej teorii równań pierwszego i drugiego rzędu. Druga część stanowi wprowadzenie do nowoczesnych metod: teorii przestrzeni Sobolewa i teorii słabych rozwiązań równań eliptycznych. Wykład nie wymaga wcześniejszego przygotowania z teorii równań różniczkowych cząstkowych. Wskazane jest natomiast przejście podstawowego kursu Analizy funkcjonalnej, przynajmniej równolegle. Pewne zagadnienia omawiane na wykładzie Wstęp do równań różniczkowych cząstkowych zostaną omówione szerzej, dotyczy to przede wszystkim teorii słabych rozwiązań, pojawią się także elementy teorii równań nieliniowych.

Strona przedmiotu
1000-1S09RC
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Tematyka seminarium obejmuje wybrane metody matematyczne stosowane w naukach przyrodniczych. Głównym nurtem będzie badanie zjawisk związanych z procesami fizyki matematycznej i innymi, które dają się opisać w języku równań różniczkowych cząstkowych i ciągłych układów dynamicznych.

Strona przedmiotu
1000-1S15ZAN
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis
Nie podano opisu skróconego, przejdź do strony przedmiotu aby uzyskać więcej danych.
Strona przedmiotu
1000-1S15BTG
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis
Nie podano opisu skróconego, przejdź do strony przedmiotu aby uzyskać więcej danych.
Strona przedmiotu
1000-1S15RFM
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis
Nie podano opisu skróconego, przejdź do strony przedmiotu aby uzyskać więcej danych.
Strona przedmiotu
1000-1S15ZSM
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis
Nie podano opisu skróconego, przejdź do strony przedmiotu aby uzyskać więcej danych.
Strona przedmiotu
1000-2M13SAD2
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Zaawansowane metody uczenia maszynowego.

Strona przedmiotu
1000-1M18SUM
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Wykład jest wprowadzeniem do uczenia pod nadzorem, inaczej predykcji statystycznej, zogniskowanym na nowoczesnych metodach liniowych i opartym w dużej mierze (ok. 2/3) na monografii Hastiego, Tibshiraniego i Friedmana pt. “The Elements of Statistical Learning”.

Strona przedmiotu
1000-135STB
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Systematyczne wprowadzenie do statystyki bayesowskiej, która zdobywa coraz wieksza popularnosc, ma róznorodne zastosowania, a na kursowych wykładach ze statystyki jest traktowana pobieznie. Przedmiot przeznaczony dla matematyków, dostepny równiez dla informatyków zainteresowanych statystyka.

Strona przedmiotu
1000-115ST
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Wykład przedstawia podstawowe pojecia i metody statystyki. Omowione są: charakterystyki populacji i ich próbkowe odpowiedniki, budowa modeli statystycznych w ujęciu częstościowym i Bayesowskim, zagadnienia estymacji parametrycznej i nieparametrycznej, testowanie hipotez statystycznych, regresja, klasyfikacja/dyskryminacja.

Przedmiot tylko dla studentów MSEM

Strona przedmiotu
1000-1S96ST
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Podstawowym celem seminarium jest rozszerzenie i pogłębienie znajomości statystyki matematycznej wyniesionej z wykładów. Omawiane są wybrane zagadnienia teoretyczne i wybrane zastosowania praktyczne.

Strona przedmiotu
1000-135SW
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

This course presents multivariate statistical theory and techniques. The topics covered are:

1) Asymptotic log likelihood ratio tests; Wald, Rao, Pearson; logistic regression.

2) Generalised Linear Models.

3) Model selection criteria (for example: AIC, BIC)

4) Shrinkage methods for linear regression (e.g. PCR, PSLR, Ridge and LASSO).

5) The multivariate Gaussian distribution, parameter estimation, the Wishart distribution.

6) Statistical tests for multivariate Gaussian data. (e.g. Hotelling)

7) The data matrix, geometrical representations and distances.

8) Principal Component Analysis and Canonical Correlation Analysis.

9) Non-parametric Density Estimation: histograms, kernel density estimation methods, optimal bin width, projection pursuit methods for multivariate densities.

10) Discriminant Function Analysis.

11) Clustering techniques, including logistic regression, self organising maps (SOM) and the EM algorithm as a tool for clustering and semi-supervised learning.

Strona przedmiotu
1000-1S20SMB
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Celem seminarium jest przedstawienie kompleksowego przeglądu współczesnych problemów i metod biologii matematycznej. Nie zakładamy u słuchaczy wiedzy biologicznej ani znajomości konkretnych technik matematycznych. Zarówno podstawowa wiedza biologiczna jaki i elementy modelowania stochastycznego zostaną wprowadzone podczas wstępnych wykładów. Skoncentrujemy się na zastosowaniu metod stochastycznych do opisania dynamiki biologicznej zarówno w skali mikro (ekspresja i regulacja genów, komórkowe szlaki sygnałowe), jak i makro (modele teorii gier ewolucyjnych, modele epidemiologiczne).

Planujemy zaprosić kilku znanych badaczy biologii matematycznej do wygłoszenia zaproszonych wykładów w ramach seminarium. Studenci będą mieli okazję pracować nad projektami przedstawionymi przez prelegentów.

Strona przedmiotu
1000-135SYD
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Przegląd metod klasyfikacji i intelegentne wspomagania podejmowania decyzji na podstawie niepełnych i niepewnych informacji. Przedstawione będą metody pochodzące z różnych dziedzin, takich jak uczenie maszynowe, statystyka, teoria zbiorów rozmytych, teoria zbiorów przybliżonych. Przewidziane są zajęcia praktyczne z systemami wspomagania decyzji oraz projekty do samodzielnych rozwiązań.

Strona przedmiotu
1000-2M00SW
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Celem wykładu jest zapoznanie studentów z podstawowymi pojęciami i technikami stosowanymi w projektowaniu i realizacji najnowszej generacji inteligentnych systemów usytuowanych w rzeczywistym środowisku, tj. systemów wieloagentowych. Stosowane techniki, wywodzące się zarówno z rozproszonej sztucznej inteligencji, jak i z projektowania obiektowego, doprowadziły do powstania nowego nurtu w programowaniu, tzw. programowania zorientowanego agentowo (ang. "agent-oriented programming"). Wykład da podstawy do samodzielnego projektowania systemów wieloagentowych.

W przypadku braku studentów obcojęzycznych, zajęcia będą prowadzone po polsku.

Strona przedmiotu
1000-2M13TAU
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Aukcje stanowią szeroko stosowany mechanizm przydziału i wymiany zasobów, znajdujący zastosowanie zarówno w świecie rzeczywistym (np. aukcje internetowe) jak i w aplikacjach komputerowych (np. alokacja zasobów w systemach wieloagenowych czy rynki elektroniczne). Które aukcje są najlepsze z punktu widzenia sprzedającego, a które z punktu widzenia kupującego? Jakie znaczenie ma znajomość wartościowań innych kupujących? Na ile groźna jest zmowa? Czy trudno wyznaczyć zwycięzcę gdy kupuje się zestawy różnych ale powiązanych ze sobą przedmiotów i jakie jest znaczenie języka licytacji?

Celem przedmiotu jest przybliżenie podstawowych zagadnień i problemów dotyczących aukcji oraz pogłębienie zrozumienia tych problemów w oparciu o teorię gier i teorię złożoności obliczeniowej.

Strona przedmiotu
1000-2N03TI
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Wprowadzenie w teorię przydatną w wielu zastosowaniach informatyki, jak m.in. w kryptografii, przy modelowaniu języka naturalnego, czy w bio-informatyce. Teoria ta określa ilościowe miary informacji zawartej w zmiennej losowej lub w ciągu bitów. Wprowadza także kryteria optymalnego kompresowania (kodowania) informacji i przesyłania wiadomości przez niepewny kanał.

W przypadku braku studentów obcojęzycznych, zajęcia będą prowadzone po polsku.

Strona przedmiotu
1000-2M10TKI
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Algebra ogólna i teoria kategorii to klasyczne juz działy matematyki oferujące abstrakcyjne pojęcia, metody i wyniki, które zaadoptowane zostały przez podstawy informatyki i stanowią dziś standardowy język mówienia między innymi o modelowaniu, projektowaniu i systematycznym konstruowaniu złożonych systemów oprogramowania.

Wykład przypomni podstawowe pojęcia algebry ogólnej i od podstaw wprowadzi język teorii kategorii, z konieczności ograniczając sie do pojęć najważniejszych i dotyczących ich podstawowych wyników. Zasygnalizujemy przynajmniej, jak język ten wykorzystywany jest w różnych dziedzinach informatyki, między innymi w teorii typów czy w teorii specyfikacji algebraicznych.

Strona przedmiotu
1000-1S06TLK
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Tematyka seminarium obejmuje różnorodne zagadnienia teorii liczb, zwłaszcza te, które znajdują zastosowanie w kryptografii.

Strona przedmiotu
1000-135TM
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Wykład teoria miary jest wykładem do zrozumienia którego nie jest potrzebny żaden wykład spoza listy wykładów obowiązkowych na pierwszym i drugim roku studiów. Zawarte w nim treści systematyzują i rozszerzają elementarna wiedze na temat teorii miary nabyta na zajęciach z analizy matematycznej na drugim roku studiów, w szczególności treści zawarte w programie analizy matematycznej zostaną przytoczone informacyjnie, a w razie potrzeby dokładniej przypomniane na ćwiczeniach. Celem wykładu jest umożliwienie lepszego zrozumienia istotnych pojęć i narzędzi matematycznych używanych miedzy innymi w równaniach cząstkowych, analizie funkcjonalnej, rachunku prawdopodobieństwa, układach dynamicznych i wielu innych działach matematyki, z drugiej zaś strony przedstawienie interesującej teorii matematycznej.

Strona przedmiotu
1000-135TMN
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Wykład omawia podstawowe zagadnienia teorii mnogości (liczby porządkowe i kardynalne, aksjomaty teorii mnogości) oraz wprowadza elementy kombinatoryki nieskończonej.

Jeśli w wykładzie nie uczestniczą słuchacze obcojęzyczni, wykład będzie prowadzony po polsku.

Strona przedmiotu
1000-2M13TSK
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

1.Wyrazistość (6 wykładów)

1.Złożoność ewaluacji logiki pierwszego rzędu

2.Twierdzenie Fagina (NP=ESO)

3.Logiki z punktami stałymi (LFP, IFP, Datalog, TCL)

4.Twierdzenie Immermann-Vardi (PTime=IFP(<))

2.Niewyrażalność (3 wykłady)

1.Gry Ehrenfeucht-Fraisse

2.Lokalność (Gaifman, Hanf)

3.Prawa zero-jedynkowe

3.Zagadnienia z Baz Danych (3 wykłady)

1.problem zawierania zapytań koniunkcyjnych; związek z CSP

2.“Chase”

Strona przedmiotu
1000-135TRU
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Podstawowe zagadnienia kalkulacji składki.

Strona przedmiotu
1000-2M14TGS
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Jeśli interesuje Państwa poznanie metod modelowania i analizy sieci społecznych, w tym serwisów społecznościowych takich jak Facebook, zapraszam na zajęcia.

Metody analizy sieci społecznych to zbiór teorii, technik i narzędzi służących do badania złożonych współzależności w grupie (społeczeństwie, społeczności, w firmie, w stadzie, itp.)

Istotą analizy sieciowej jest próba zrozumienia zachowania zbiorowości jako całości poprzez analizę siędzi powiązań pomiędzy jednostkami zbiorowości. Dziedzina ta leży na styku wielu dyscyplin (matematyki, sociologi, antropologi, statystyki, ekonomii, itp.), tym nie mniej to właśnie teoria gier oferuję najciekawsze narzędzia do analizy sieci społecznych i to przy jej użyciu osiąga się najważniejsze obecnie wyniki.

Strona przedmiotu
1000-113bTP1*
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Wykład omawia podstawowe pojęcia topologii: przestrzenie metryczne i topologiczne, przekształcenia ciągłe, homeomorfizmy, iloczyny kartezjańskie, zupełne przestrzenie metryczne, zwartość, spójność i łukową spójność, homotopię przekształceń i pętli, ściągalność, przestrzenie ilorazowe.

Wykład jest przeznaczony dla studentów zainteresowanych głębszym poznaniem przedmiotu i lubiących myśleć o związanych z nim zadaniach i problemach.

Strona przedmiotu
1000-113bTP1a
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Wykład omawia podstawowe pojęcia topologii: przestrzenie metryczne i topologiczne, przekształcenia ciągłe, homeomorfizmy, iloczyny kartezjańskie, zupełne przestrzenie metryczne, zwartość, spójność i łukową spójność, homotopię przekształceń i pętli, ściągalność, konstrukcję przestrzeni ilorazowej.

Strona przedmiotu
1000-1S97TA
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Patrz opis seminarium magisterskiego 1000-1D97TA.

Strona przedmiotu
1000-1S96TO
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Patrz opis seminarium magisterskiego 1000-1D96TO.

Strona przedmiotu
1000-135UD
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Teoria układów dynamicznych bada długookresową ewolucję układów odbywającą się na mocy niezmiennych w czasie i deterministycznych reguł. Ewolucja może zatem być zadana przez iteracje pewnego przekształcenia (czas dyskretny) lub np. rozwiązania równania różniczkowego (czas ciągły). Teoria opisuje regularne i chaotyczne właściwości pewnych klas układów, bada ich stabilność oraz określa ich niezmienniki (takie jak np. entropia).

Strona przedmiotu
1000-1S15UD
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Wprowadzenie do geometrycznej i ergodycznej teorii układów dynamicznych

Strona przedmiotu
ul. Banacha 2
02-097 Warszawa
tel: +48 22 55 44 214 https://www.mimuw.edu.pl/
kontakt deklaracja dostępności USOSweb 6.8.0.0-0cee12404 (2022-08-03)