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-2M08ZPI
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Kształtowanie umiejętności zarządzania projektami informatycznymi. Posługiwanie się pojęciami z dziedziny zarządzania projektami.

Tryb zdalny będzie realizowany w formie spotkań online (w godzinach zajęć) z wykorzystaniem narzędzi do wideokonferencji (np. Google Meet lub Zoom). Przed pierwszym spotkaniem uczestnik zajęć otrzyma link do wideokonferencji na adres email podany w USOS.

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

Skrócony opis

Przedmiot będzie poświęcony rozmaitym zagadnieniom bazodanowym, które nie zmieściły się w kursie podstawowym z baz danych. Co więcej, problematyka baz danych jest tak obszerna, że nie zmieściłaby się w żadnym kursie podstawowym. Tematami wykładów będzie strojenie baz danych, odwzorowanie obiektowo-relacyjne, kolumnowe bazy danych, słownikowe bazy danych, zaawansowane programowanie składowane na serwerach baz danych, bazy danych XML, rozproszone bazy danych, paradygmat obliczeniowy Map-Reduce oraz polski wynalazek czyli język zapytań SBQL i podejście stosowe do języków zapytań przyjęte jako punkt wyjściowy dla nowego standardu obiektowych baz danych pod auspicjami OMG.

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

Skrócony opis

Wybór klasycznych wyników kombinatoryki i teorii grafów pominiętych w wykładzie kursowym

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

Skrócony opis

Podstawowym celem wykładu jest przedstawienie wstepu do teorii liczb, jako jednego z najwazniejszych

działów matematyki. W dalszej jego czesci przedstawione sa przykłady zastosowania tej teorii do

kryptografii oraz teorii kodowania.

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

Skrócony opis

Skrócony opis: wykład pełni rolę wstępu do zagadnień matematyki finansowej i ubezpieczeniowej. Przygotowuje do uczestnictwa w bardziej zaawansowanych wykładach poświęconych tej tematyce,

Zakres materiału pokrywa znaczną częśc zagadnień wymaganych na państwowych egzaminach aktuarialnych w zakresie matematyki finansowej.

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

Skrócony opis

Podstawowe pojęcia i metody teorii mnogości (wraz z niezbędnymi elementami logiki), stanowiące język matematyki współczesnej.

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

Skrócony opis

Celem przedmiotu jest zapoznanie studentów z podstawami rozwiązywania zadań przy użyciu algorytmów i praktyczna nauka podstaw programowania.

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

Skrócony opis

Celem wykładu jest zapoznanie studentów z zasadami rozwiązywania problemów przy użyciu komputerów oraz praktyczna nauka programowania.

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

Skrócony opis

Podstawowe pojęcia geometrii różniczkowej: podrozmaitości przestrzeni euklidesowych i wektory styczne; krzywe i metoda ruchomego reperu. Wzory Freneta-Serreta - krzywizna i torsja krzywych. Powierzchnie w przestrzeni 3- wymiarowej, I i II forma podstawowa; krzywizny główne i krzywizna Gaussa. Theorema egregium i geometria wewnętrzna powierzchni. Krzywe geodezyjne na powierzchniach. Pochodna kowariantna i przeniesienie równoległe. Twierdzenie Gaussa-Bonneta. Abstrakcyjne rozmaitości Riemanna; płaszczyzna hiperboliczna.

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

Skrócony opis

Podstawowe własności procesu Wienera, martyngałów z czasem ciągłych, martyngałów lokalnych, semimartyngałów. Wahanie kwadratowe semimartyngałów ciągłych i twierdzenie Dooba-Meyera. Całka Itô i jej podstawowe własności. Wzór Itô. Twierdzenie Lévy’ego o reprezentacji, zamiana miary, twierdzenie Girsanowa. Mocne i słabe rozwiązania równań stochastycznych. Związki równań stochastycznych z równaniami o pochodnych cząstkowych.

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

Skrócony opis

Nauka poznawcza (kognitywistyka) jest obecnie żywiołowo rozwijającym się działem współczesnej nauki. Wykorzystując metody sztucznej inteligencji w modelowaniu zachowań i korzystając z eksperymentalnych metod psychologii i neurobiologii oraz innych dyscyplin, kognitywistyka jest zorientowana na rozwikłanie jednego z kluczowych zagadnień współczesnej nauki, odwiecznie pasjonującego problemu natury i funkcjonowania umysłu oraz jego relacji do ciała. Nauka poznawcza rozwija się w aktywnej interakcji z informatyką a jej wyniki mają zastosowania w rozwijających się obecnie działach informatyki takich jak, systemy wieloagentowe, robotyka poznawcza, planowanie automatyczne, reprezentacja i inżynieria wiedzy.

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

Skrócony opis

Wykład został przygotowany zarówno dla studentów matematyki jak i dla studentów informatyki, interesujących się aspektami teoretycznymi oraz zastosowaniami praktycznymi wnioskowania aproksymacyjnego. Wykład poświęcony jest zagadnieniom i problemom, które w opinii wybitnych matematyków i informatyków należą do centralnych problemów matematyki obecnego stulecia, tak ważnych jak w XX wieku centralnym dla nauki był problem rozszyfrowania genomu ludzkiego. W wykładzie analizowane będą problemy o zasadniczym znaczeniu dla dokonania postępu w licznych zastosowaniach informatyki, w szczególności w wielu interdyscyplinarnych projektach łączących zespoły matematyków, informatyków oraz specjalistów z wielu innych dziedzin (np. neuroscience, bioinformatyka, psychologia, socjologia, ekonomia, modelowanie systemów złożonych). W wykładzie przedstawione zostaną różne teoretyczne i praktyczne aspekty metod aproksymacji pojęć z danych eksperymentalnych i wiedzy dziedzinowej.

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
1000-1S96TO
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Patrz opis seminarium magisterskiego 1000-1D96TO.

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

Skrócony opis

Patrz opis seminarium magisterskiego 1000-1D97TA.

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-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-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-135TRU
Zajęcia przedmiotu
Grupy przedmiotu

Skrócony opis

Podstawowe zagadnienia kalkulacji składki.

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-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-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-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-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-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-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-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-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-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
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)