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

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.

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

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.

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

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.

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.

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

Patrz opis seminarium magisterskiego 1000-1D96TO.

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.

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.

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”

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.

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.

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.

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ń.