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