Courses provided by unit Faculty of Mathematics, Informatics, and Mechanics
Key
If course is offered then a registration cart will be displayed.
- you are not logged in - currently you are not allowed to register - you are allowed to register - you are allowed to unregister (or withdraw application) - you applied for registration (and you cannot widrdraw this application) - you are registered (and you cannot unregister)
Use one of the "i" icons below for additional information.
2023Z - Winter semester 2023/24 2023L - Summer semester 2023/24 2023 - Academic year 2023/24 2024Z - Winter semester 2024/25 2024L - Summer semester 2024/25 2024 - Academic year 2024/25 (there could be semester, trimester or one-year classes) |
Actions | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|
2023Z | 2023L | 2023 | 2024Z | 2024L | 2024 | |||||||
1000-112bAPP | n/a | n/a | n/a | n/a | n/a |
Classes
Summer semester 2024/25
Groups
- (from 2024-10-01) Obligatory courses for 1st grade Mathematics
- (from 2024-10-01) Obligatory courses for 1st grade JSEM
Brief description
(in Polish) Pojęcie algorytmu i programu. Wprowadzenie do programowania, podstawowe konstrukcje programistyczne (przypisanie, instrukcje warunkowe, iteracje, funkcje). Typy danych. Poprawność i złożoność algorytmu. Rekurencja. |
|
|||||
1000-135AMD | n/a | n/a | n/a | n/a | n/a |
Classes
Summer semester 2024/25
Groups
- (from 2024-10-01) Elective courses for 1st degree studies in mathematics
Brief description
(in Polish) Wykład jest wprowadzeniem do algorytmiki opartym na prezentacji wybranych problemów obliczeniowych oraz algorytmów związanych z klasycznymi strukturami matematyki dyskretnej takimi jak grafy, drzewa, sieci przepływowe oraz języki regularne. |
|
|||||
1000-5D22ADB | n/a | n/a | n/a | n/a |
Classes
Academic year 2023/24
Groups
Brief description
The seminar topics include computational biology and machine learning in application to biomedical data analysis. We are interested in the problems of human diseases such as cancer or infectious diseases. From the area of computational biology we focus on analysis of modern molecular profiling data, analysis of single cell sequencing data, medical imaging, or protein structure. From methods, we focus on probabilistic graph models, statistical data analysis, machine learning, including deep learning, and generative models. |
|
||||||
1000-5D22ADP | n/a | n/a | n/a | n/a |
Classes
Academic year 2023/24
Groups
Brief description
The subject of the seminar covers the basic branch of computational biology which is proteomics, i.e. the analysis of proteins in living organisms. We focus on algorithms and mathematical models that allow for the interpretation of data obtained by the spectrometric technology. |
|
||||||
1000-135AF* | n/a | n/a | n/a | n/a |
Classes
Winter semester 2023/24
Groups
Brief description
This is a fundamental course in functional analysis. The course gives a basic knowledge on Banach and Hilbert spaces and their geometric properties. The next topic of the course concerns linear functionals and operators in these spaces and their properties. The course gives also basic informations on spectra and spectral properties of linear operators. In particular, spectra of compact operators in Hilbert spaces are discussed. |
|
||||||
1000-1L22AMUD | n/a | n/a | n/a | n/a |
Classes
Academic year 2023/24
Groups
Brief description
(in Polish) Celem proseminarium jest: 1) wprowadzenie w wybrane zagadnienia analizy matematycznej, które nie były omawiane podczas kursowego wykładu, 2) wprowadzenie w podstawowe zagadnienia układów dynamicznych i teorii ergodycznej. |
|
||||||
1000-137BMST | n/a | n/a | n/a | n/a | n/a |
Classes
Summer semester 2023/24
Groups
Brief description
No brief description found, go to course home page to get more information.
|
|
|||||
1000-5D22BGO | n/a | n/a | n/a | n/a |
Classes
Academic year 2023/24
Groups
Brief description
The subject of the seminar covers the basic sections of bioinformatics and computational genomics, with particular emphasis on the applied mathematical models and algorithmic methods. We are interested in molecular sequence analysis, comparative genomics, evolution and organization of genomes, phylogenetics and molecular evolution, as well as analysis of data from high-throughput sequencing and other large-scale experimental techniques of modern genomics. |
|
||||||
1000-1S23CW4 | n/a | n/a | n/a | n/a | n/a |
Classes
Academic year 2023/24
Groups
Brief description
No brief description found, go to course home page to get more information.
|
|
|||||
1000-1S24CW5 | n/a | n/a | n/a | n/a | n/a |
Classes
Academic year 2024/25
Groups
- (from 2024-10-01) Seminars for Mathematics
Brief description
No brief description found, go to course home page to get more information.
|
|
|||||
1000-2D23DSR | n/a | n/a | n/a | n/a |
Classes
Academic year 2023/24
Groups
Brief description
The seminar is devoted to the theory and practice of data management and knowledge representation. We are interested in all flavors of data: not only relational, but also semistructured (XML, JSON), graph (RDF, LPG), object, text, temporal, stream, GIS, and others. The seminar presentations are based on recent papers presented at leading international conferences devoted to data management and knowledge representation: VLDB, PODS, SIGMOD, KR. Web page: https://www.mimuw.edu.pl/seminaria/deser-dane-strumienie-rozpraszanie |
|
||||||
1000-2M23DE | n/a | n/a | n/a | n/a | n/a |
Classes
Winter semester 2023/24
Groups
Brief description
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. |
|
|||||
1000-1S23DH | n/a | n/a | n/a | n/a | n/a |
Classes
Academic year 2023/24
Groups
Brief description
No brief description found, go to course home page to get more information.
|
|
|||||
1000-135EAR | n/a | n/a | n/a | n/a |
Classes
Summer semester 2023/24
Groups
Brief description
(in Polish) Splot funkcji i jego zastosowania do aproksymacji. Szeregi Fouriera i badanie ich zbieżności. Przestrzeń Schwartza i transformata Fouriera. Funkcja maksymalna Hardy’ego-Littlewooda. Funkcje monotoniczne, o wahaniu ograniczonym i absolutnie ciągłe. Funkcje lipszycowskie: ich rozszerzenia i własności aproksymacyjne. Przykłady powiązań pomiędzy teorią równań cząstkowych, teorią aproksymacji, analizą harmoniczną i zespoloną oraz teorią interpolacji. |
|
||||||
1000-1S13FGA | n/a | n/a | n/a | n/a |
Classes
Academic year 2023/24
Groups
Brief description
(in Polish) Seminarium wprowadza wiele głównych narzędzi współczesnej geometrii algebraicznej, pogłębiając wiedzę z przedmiotu "Geometria Algebraiczna". Zamierzamy omawiać podręcznik Raviego Vakila "Foundations of Algebraic Geometry", od początku. |
|
||||||
1000-134FAN* | n/a | n/a | n/a | n/a |
Classes
Winter semester 2023/24
Groups
Brief description
Basic properties of analytic functions of one complex variable. A beautiful part of analysis with many applications all throughout mathematics. |
|
||||||
1000-2M24FPS | n/a | n/a | n/a | n/a | n/a |
Classes
Summer semester 2024/25
Groups
- (from 2024-10-01) Elective courses for Computer Science
- (from 2024-10-01) Elective courses (tools for programming) for Computer Science
Brief description
(in Polish) Przedmiot ma na celu przedstawienie zaawansowanych mechanizmów programowania funkcyjnego z typami zależnymi na przykładzie tworzenia klienta i serwera protokołu sieciowego. Na zajęciach wykorzystywane będzie programowanie funkcyjne w Ocamlu wzbogacone o elementy weryfikacji funkcyjnych własności wykonywane w Coq-u. |
|
|||||
1000-1M23TMW | n/a | n/a | n/a | n/a | n/a |
Classes
Summer semester 2023/24
Groups
Brief description
Geometric measure theory is the study of geometric objects using the methods of measure theory. A manifold embedded in Rn can be associated a Hausdorff measure restricted to a given manifold or to a tangent bundle of that manifold. Considering a sequence of such measures and passing to the weak limit we get more general objects, e.g., varifolds or currents. We study functionals defined on such objects and their critical points, i.e. stationary varifolds (generalization of minimal surfaces). The lecture aims to present the current knowledge in this field to the extent that allows independent research. We will start with the classic area and coareavformulas and introduce the concept of rectifiability. Next, we shall discuss the basic theory of varifolds. Finally, we will focus on the pivotal concept of ellipticity of functionals, which has not been sufficiently explored so far. |
|
|||||
1000-1M23GK | n/a | n/a | n/a | n/a | n/a |
Classes
Winter semester 2023/24
Groups
Brief description
The course is dedicated to students interested in functional analysis in a broad sense, mathematical formalism of quantum mechanics or modern, yet elementary, mathematics. Quantum graphs arise in quantum information and are natural counterparts of graphs. We will start with a quick introduction to quantum information theory, necessary to motivate the notion of a quantum graph. Afterwards we will introduce three equivalent definitions of quantum graphs, we will explain how to translate between them and will illustrate how each of them is useful in its own way. We will show how to construct plenty of examples of quantum graphs. In the last part of the course we will study properties of random quantum graphs: we will prove that a typical quantum graph does not admit any nontrivial symmetries. |
|
|||||
1000-1M23ITM | n/a | n/a | n/a | n/a | n/a |
Classes
Summer semester 2023/24
Groups
Brief description
The lecture will be devoted to set-theoretic properties of ideals of Lebesgue measure zero sets and Baire first category sets, as well as other related classes of small subsets of the real line. |
|
|||||
1000-1M22IF2 | n/a | n/a | n/a | n/a |
Classes
Summer semester 2023/24
Groups
Brief description
(in Polish) Wykład jest kontynuacją wykładu Inżynieria Finansowa. Na wykładzie będą przedstawione wybrane metody wyceny instrumentów opcyjnych na stopę procentową oraz praktyki rynkowe wyceny opcji walutowych. Ćwiczenia będą się koncentrowały na przykładach numerycznych ilustrujących omawiane na wykładzie metody. |
|
||||||
1000-OOWZS | n/a | n/a | n/a | n/a | n/a |
Classes
Summer semester 2023/24
Groups
Brief description
(in Polish) Kurs rozwija umiejętności rozpoznawania emocji, społecznej komunikacji oraz metody radzenia sobie w stresie osób ze spektrum autyzmu. |
|
|||||
1000-2D23JAO | n/a | n/a | n/a | n/a |
Classes
Academic year 2023/24
Groups
Brief description
(in Polish) Tematem seminarium jest szeroko rozumiana teoria automatów. Omawiamy ciekawe wyniki dotyczące zarówno klasycznej teorii automatów, jak i związanych z nią tematów, czyli: logiki, algorytmicznej teorii gier, teorii obliczeń, a czasem teorii złożoności i innych działów informatyki teoretycznej. Staramy się żeby przedstawiane konstrukcje były interesujące z matematycznego punktu widzenia i żeby były w miarę możliwości związane z zainteresowaniami naukowymi prowadzących. W związku z tym w aktualnej chwili najwięcej referatów dotyczy automatów ze stosem lub licznikami, automatów ważonych oraz gier nieskończonych, przy czym tematyka jest zdecydowanie szersza. |
|
||||||
1000-2D21KBF | n/a | n/a | n/a | n/a |
Classes
Academic year 2023/24
Groups
Brief description
(in Polish) Seminarium dotyczy zagadnień związanych z kryptografią oraz nowymi technologiami finansowymi opartymi na technologii blockchain (tzw. DeFi) i nie tylko. Tematyka referatów obejmuje zarówno teorię kryptografii (na pograniczu z teorią złożoności obliczeniowej i z teorią informacji), teorię gier, a także zagadnienia bardziej praktyczne, z referatami na temat konkretnych projektów przemysłowych włącznie. Wyżej wymienioną tematykę traktujemy bardzo szeroko i stosujemy zasadę, że od sztywnego trzymania się oficjalnego zakresu seminarium ważniejsze jest to żeby tematy referatów były ciekawe. |
|
||||||
1000-1M20KNW | n/a | n/a | n/a | n/a |
Classes
Summer semester 2023/24
Groups
Brief description
The course aims to introduce into the theory of quantized and categorified invariants of knots. After explaining the classical Alexander, Conway, Jones and HOMFLY-PT polynomials, we will quantize them with the use of representations of quantum groups and the Reshetikhin- Turaev functor and categorify to the Khovanov-Lee homology. All technicalities will be explained on the spot when needed. The course is based on selected fragments of the literature listed below. The suggestions for further reading will be provided. |
|
||||||
1000-1M23LNT | n/a | n/a | n/a | n/a | n/a |
Classes
Summer semester 2023/24
Groups
Brief description
No brief description found, go to course home page to get more information.
|
|
|||||
1000-1S24MDM | n/a | n/a | n/a | n/a | n/a |
Classes
Academic year 2024/25
Groups
- (from 2024-10-01) Seminars for Mathematics
Brief description
No brief description found, go to course home page to get more information.
|
|
|||||
1000-1L23MFU | n/a | n/a | n/a | n/a |
Classes
Academic year 2023/24
Groups
Brief description
No brief description found, go to course home page to get more information.
|
|
||||||
1000-1M24MAS | n/a | n/a | n/a | n/a | n/a |
Classes
Winter semester 2024/25
Groups
- (from 2024-10-01) Elective courses for 2nd stage studies in Mathematics
Brief description
No brief description found, go to course home page to get more information.
|
|
|||||
1000-1M22NUM | n/a | n/a | n/a | n/a |
Classes
Summer semester 2023/24
Groups
Brief description
(in Polish) Przyjrzymy się specyfice wybranych zadań obliczeniowych spotykanych w zagadnieniach analizy danych oraz uczenia maszynowego oraz własnościom algorytmów używanych do ich rozwiązywania. |
|
||||||