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

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

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.

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.

Algorytmiczne problemy i metody analiz danych z sekwencjonowania wysokoprzepustowego i innych wielkoskalowych technik eksperymentalnych współczesnej genomiki. Tematy będą obejmować problemy mapowania odczytów na genomy referencyjne, rekonstrukcji zsekwencjonowanych genomów z odczytów, klasyfikacji i kwantyfikacji odczytów. Przedstawione zostaną metody rozwiązywania tych problemów w oparciu o dane z różnych eksperymentów i technologii sekwencjonowania, a także podejścia wykorzystujące łącznie dane różnego typu.

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.

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

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.

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.

Aksjomatyka liczb rzeczywistych, potęga rzeczywista, ciągi i szeregi liczbowe, granica i ciągłość funkcji jednej zmiennej, rachunek różniczkowy funkcji jednej zmiennej.

Funkcje i struktury systemów baz danych oraz przegląd modeli danych. Relacyjne bazy danych. Języki zapytań do relacyjnych baz danych (algebra relacji, logika pierwszego rzędu, SQL). Projektowanie baz danych: modelowanie pojęciowe i przejście do poziomu logicznego. Fizyczne aspekty składowania danych i wykonywania zapytań, metody optymalizacji zapytań.

Program wykładów i ćwiczeń obejmuje zagadnienia dotyczące budowy i funkcjonowania komórek. Przedstawione zostaną: podstawowe metody badań stosowane w biologii komórki, różnice między komórkami pro- i eukariotycznymi, budowa i funkcje organelli komórkowych, transport cząsteczek, oddziaływania między komórkami, przekazywanie sygnału, powielanie i ekspresja informacji genetycznej, charakterystyka cyklu komórkowego, mitozy, mejozy, apoptozy, charakterystyka zarodkowych i specyficznych tkankowo komórek macierzystych, komórek nowotworowych.

Overview of the data processing pipeline; collection and storage of raw data; processing, cleaning, and storage of processed data; scaling tools for the data processing system.

The course gives an introduction to extremal graph theory, a branch of graph theory which studies how global parameters of a graph, such as its edge density or chromatic number, can influence its local substructures (for instance, how many edges can a graph on n vertices have without containing a triangle).

After introducing the basic results and tools of the subject, the course will focus on the celebrated Szeméredi regularity lemma and its applications, and in the last part of the lecture we will introduce modern and interesting theory of graph limits.

Note: Course is given in English.

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

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.