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

Semestr zimowy 2023/24

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

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

Semestr zimowy 2023/24

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

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.

Semestr zimowy 2023/24

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

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.

Semestr zimowy 2023/24

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

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.

Semestr zimowy 2023/24

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

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.

Semestr zimowy 2023/24

• Ć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.

Semestr zimowy 2023/24

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

Wyklad "Analiza Harmonicza 2" jest planowany jako kontynuacja wykładu Analiza Harmoniczna, lecz zaliczenie tego ostatniego przedmiotu nie jest wymagane.

Semestr zimowy 2023/24

• Ć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.

Semestr zimowy 2023/24

• Ć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.

Semestr zimowy 2023/24

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

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.

Semestr zimowy 2023/24

• Ć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.

Semestr zimowy 2023/24

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

Funkcje i struktury systemów baz danych oraz przegląd modeli danych. Relacyjne bazy danych. Języki zapytań do relacyjnych baz danych. SQL. Projektowanie baz danych, teoria postaci normalnych i modelowanie związków encji. Przetwarzanie transakcji. Fizyczne aspekty wykonywania zapytań i składowania danych, metody optymalizacji zapytań. Niestandardowe modele baz danych: obiektowe bazy danych, dedukcyjne bazy danych (Datalog) i rozproszone bazy danych.

Semestr zimowy 2023/24

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

Kurs zapoznaje studentów z podstawami bezpieczeństwa systemów informatycznych.

Semestr zimowy 2023/24

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

Semestr zimowy 2023/24

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

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.