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

• Ćwiczenia - 45 godzin
• Wykład - 30 godzin

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.

• Ćwiczenia - 30 godzin
• Wykład - 30 godzin

Wprowadzenie do metod rozwiązywania układów rówań linowych oraz do podstaw teorii macierzy oraz przestrzeni metrycznych.

• Ćwiczenia - 30 godzin
• Wykład monograficzny - 30 godzin

Wykład "Algebry Banacha" ma na celu zaznajomienie uczestników z podstawową teorią algebr Banacha ze szczególnym uwzględnieniem przypadku przemiennego.

• Ćwiczenia - 30 godzin
• Wykład - 30 godzin

Wykład ten łączy elementy strukturalnej teorii grafów, algorytmów parametryzowanych, oraz teorii modeli skończonych.

Wątkiem przewodnim wykładu są wyniki algorytmiczne, nazywane “algorytmicznymi meta-twierdzeniami”, które mówią, że całe rodziny problemów algorytmicznych można rozwiązać efektywnie na instancjach o szczególnej strukturze. Zazwyczaj będziemy rozważali problemy grafowe dla grafów o szczególnej strukturze. Przykładowo, każdy problem obliczeniowy, który można opisać zdaniem logiki pierwszego rzędu, można rozwiązać w czasie liniowym na wszystkich grafach planarnych, lub na wszystkich grafach o ustalonym maksymalnym stopniu wierzchołków. Wynik ten można uogólnić na różne inne klasy grafów (w tym klasy nigdziegęste, oraz klasy monadycznie stabilne) czy inne logiki.

Wykład prowadzony po angielsku.

• Ćwiczenia - 30 godzin
• Wykład - 30 godzin

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

• Ćwiczenia - 30 godzin
• Wykład - 30 godzin

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.

• Ćwiczenia - 60 godzin
• Wykład - 60 godzin

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.

• Ćwiczenia - 60 godzin
• Wykład - 60 godzin

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.

• Ćwiczenia - 30 godzin
• Wykład - 30 godzin

Kurs jest wprowadzeniem do ogólnej teorii aproksymacji i złożonosci obliczeniowej zadań analizy numerycznej. Obejmuje zarówno klasyczną aproksymację wielomianową funkcji gładkich jak i aproksymacje bazujaca jedynie na informacji czesciowej o funkcji. Przedstawione zostana takze konstrukcje algorytmów optymalnych w danym modelu obliczeniowym.

• Laboratorium - 30 godzin
• Wykład - 30 godzin

Wprowadzenie do relacyjnych baz danych, języka SQL i podstawowych usług sieciowych dla baz danych.

• Konwersatorium - 30 godzin
• Wykład - 60 godzin

Przedmiot zaznajamia studentów z podstawowymi pojęciami i metodami genetyki klasycznej i molekularnej, genomiki oraz ewolucji genomów.

• Ćwiczenia - 30 godzin
• Wykład - 30 godzin

Przedmiot ugruntowuje teoretyczną i praktyczną wiedzę z zakresu metod uczenia maszynowego i eksploracji danych, pod kątem zastosowań związanych z dużymi, heterogenicznymi, rozproszonymi i dynamicznie przyrastającymi źródłami danych. Omawiana jest problematyka zapewnienia wystarczającej wiarygodności i jakości danych celem uczenia skutecznych modeli klasyfikacji, predykcji itd., jak i utrzymania skuteczności takich modeli jako składowych większych systemów informatycznych. Odwołujemy się do szerokiego zakresu praktycznych form i źródeł danych, w szczególności danych generowanych maszynowo. Omawiamy szeroki zakres praktycznych celów stawianych metodom uczenia maszynowego i eksploracji danych, jak np. wykrywanie anomalii lub podobnych przypadków. Dyskutujemy na praktycznych przykładach pełen cykl życia danych i informacji w systemach przetwarzania i analizy danych, z uwzględnieniem odpowiednio w nie wkomponowanych rozwiązań bazujących na uczeniu maszynowym i eksploracji danych.

• Ćwiczenia - 30 godzin
• Wykład - 30 godzin

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

• Ćwiczenia - 30 godzin
• Wykład - 30 godzin

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.

• Laboratorium - 30 godzin
• Wykład - 30 godzin

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.