Letos se úmluva koná elektronicky: 5. 2. se zde objeví seznam umlouvaných předmětů spolu s jejich popisem a formulář, kde je možné hlasovat o termínech. 16. 2. v 09:00 hlasování vyhodnotíme a předměty rozvrhneme. Umluvené termíny se objeví v SISu.
Kód | Název | Vyučující / cvičící | Rozvrženo | Poznámka |
---|---|---|---|---|
NDMI096 |
Analýza komplexních sítí
Complex network analysis |
David Hartman / David Hartman | Skills from course Graphs and networks (NDMI110) are reviewed, but not necessary for the course. | |
The goal of the course freely follows the course Graphs and Networks (NDMI110). We will discuss more extended topics in complex networks in the areas of centralities, random networks, community structure, and more. |
||||
NDMI018 |
Aproximační a online algoritmy
Approximation and Online Algorithms |
J. Sgall / T. A. Vu | Will take place on Mon, Tue, or Fri. | |
We cover selected techniques of design and analysis of approximation and online algorithms. We assume knowledge on the level of the Bc. course NDMI084 Introduction to approximation and randomized algorithms. Recommended for Mgr. students. |
||||
NTIN113 |
Celočíselné programování a výpočetní aspekty voleb
Integer Programming and Computational Social Choice |
M. Koutecký | ||
Integer Programming is an optimization tool rich both in theory and applications. Computational Social Choice is a field of growing relevance which considers the computational aspects of elections, fair divison, opinion dynamics, etc. In this course, we will describe algorithms for important IP and IP-related problems, and show their applications to problems from computational social choice. This is a very active area of research, and this course is at the bleeding edge of what is known, thus presenting fresh research opportunities. |
||||
NTIN067 |
Datové struktury 2
Data structures 2 |
M. Mareš | ||
Přednáška navazuje na přednášku NTIN066 Datové struktury I. Bude věnována pokročilejším technikám návrhu a analýzy datových struktur: deterministická reprezentace statických množin, datové struktury pro celočíselné universum, základní grafové datové struktury, dynamické cache-oblivious vyhledávací stromy, dynamizace a persistence, úsporné datové struktury, výpočty v proudovém modelu. |
||||
NDMI107 |
Diskrétní matematika Pála Erdőse
Discrete Mathematics of Paul Erdős |
V. Chvátal | ||
V klidném tempu probereme podmnožinu (vybranou studentkami a studenty) následujících témat: Důkaz Bertrandova postulátu. Spernerova věta a Erdős-Ko-Rado věta. Turánova čísla. Vlastnost B a chromatické číslo hypergrafů. Extrémální teorie grafů. Hamiltonovy cykly. Věta o přátelství, silně pravidelné grafy a Mooreovy grafy o průměru dva. Chromatické číslo grafů a pravděpodobnostní metoda. Van der Waerdenova věta a van der Waerdenova čísla. Erdős-Szekeres a Sylvester-Gallaiovy věty. Delta-systémy a Dezův důkaz Erdős-Lovászovy domněnky. De Bruijn-Erdősova věta. Rényiho náhodné grafy a jejich vývoj. Ramseyova věta a Ramseyova čísla. |
||||
NDMI035 |
Geometrické reprezentace grafů II
Geometric Representations of Graphs II |
V. Jelínek | ||
Přednáška navazuje na GRG 1 ze zimního semestru, ale je vhodná i pro studenty, kteří GRG 1 nenavštěvovali. Témata pokrývají rozmanité algoritmické a strukturální výsledky týkající se grafových nakreslení a geometrických průnikových reprezentací. |
||||
NDMI088 |
Grafové algoritmy 2
Graph algorithms 2 |
M. Mareš | ||
Algoritmy pro kreslení grafu do roviny v lineárním čase, další výsledky o minimálních kostrách (algoritmus s průměrně lineární složitostí, Pettieho optimální algoritmus), techniky založené na dekompozici a pár datových struktur. |
||||
NDMI059 |
Grafové minory a stromové rozklady
Graph minors and tree decompositions |
J. Fiala | ||
Kurs ze strukturální terorie grafů. V první části je zaměřen na grafové minory, ve druhé na různé rozklady grafů Je pokryt kapitolami 1-4 ze skript k přednášce. |
||||
NDMI110 |
Grafy a sítě
Graphs and networks |
David Hartman / David Hartman | ||
Předmět je úvodním kurzem v tématu komplexních sítí. Toto téma spojuje jednotlivé oblasti kombinatoriky a analýzy reálných komplexních systémů. Tématiky pokrývá jednak tradičnější oblasti teorie grafů, zasahuje do spektrální teorie, oblasti náhodných grafů a problematiky získávání dekompozic vrcholů. Přednášky jsou doplněny cvičením, která mají napůl formu teoretickou a výpočetní. |
||||
NDMI022 |
Kombinatorický seminář
Seminar on Combinatorics |
Martin Loebl, Irena Penev, Martin Tancer | ||
Kombinatorický seminář je seminář pro studenty se zájmem o kombinatoriku. Předpokládají se znalosti odpovídající základním přednáškám (Diskrétní mat., Komb. a grafy I), seminář je tedy vhodný pro studenty 2. ročníku bakalářského studia a starší (ale prváci se zájmem o věc jsou také vítáni). Hlavní náplní semináře je četba a referování odborných článků účastníky semináře. Přínos je tedy hned dvojí: dozvíte se něco nového pěkného a navíc si vyzkoušíte předávání znalostí ostatním (aneb jak zařídit, aby jim to bylo taky tak jasné, jako mě). Tématicky seminář zasahuje do různorodých oblastí kombinatoriky: kombinatorické struktury a procesy, teorie grafů, kombinatorická geometrie, pravděpodobnost, teorie her, ... Každoročně jsou účastníci semináře zváni na Jarní školu kombinatoriky. |
||||
NOPT057 |
Kooperativní teorie her
Cooperative game theory |
M. Černý, M. Loebl | Fr 13:00 | |
NOPT034 |
Matematické programování a polyedrální kombinatorika
Mathematical Programming and Polyhedral Combinatorics |
Petr Kolman, Hans Raj Tiwary | ||
This is a master-level course focusing on two topics in combinatorial optimization: i) structure of polytopes and the complexity of their description, ii) efficient methods for optimization over polytopes (and polyhedra). In the first part of the lecture, we will cover basics of the theory of polytopes such as the Minkowski-Weyl theorem, face-lattice, 1-skeleton, etc. In the second part we describe in detail the ellipsoid algorithm and the interior point methods (IPMs). It is worth mentioning that the framework of IPMs is a key ingredient of the recent algorithm for exact maximum flow in almost linear time. |
||||
NMAI071 |
Matematika++
Math++ |
Martin Tancer / Tomáš Hons, Petr Chmel | The lecture will be merged into Topological methods in Combinatorics (NDMI014). Preferably, set up your time preferences for NDMI014 and also enroll for NDMI014. For any queries regarding the merging, contact the lecturer, please. | |
Modern computer science often uses mathematical tools that reach beyond the scope of standard mathematical courses in the bachelor program. This course will present a (somewhat condensed) introduction to several fields of mathematics that proved especially useful in computer science and in discrete mathematics. Computer science applications will be shown as well. This course is suitable for master's or PhD students of computer science. The contents of the lecture alters (with the period of 3 years). This year we intend to cover topology. Coincidentally, this year, we also run a lecture Topological Methods in Combinatorics (NDMI014) with a partially overlapping contents (and the period of 2 years). Thus we have decided to merge the lectures. If possible, vote for and enroll to NDMI014. (It is not a big difference but it will be easier to handle.) |
||||
NTIN082 |
Neuniformní výpočetní modely
Nonuniform Computational Models |
P. Hrubeš | ||
Přednáška rozšiřuje základní přednášku o výpočetní složitosti (NTIN063). Seznamuje s různými druhy booleovských obvodů, branching programů, a aritmetických obvodů. Ukážeme vztahy mezi těmito obvody a základními složitostními třídami a klasické dolní odhady na velikost obvodů. Přednáška je určena především studentům magisterského studia a doktorandům. |
||||
NSWI134 |
Optimalizace kódu produkčních překladačů
Code optimization in production compilers |
Jan Hubicka | ||
Přednáška se věnuje pokročilým metodám optimalizace kódu tak jak jsou implementovány v produkčních překladačích. Témata mohou být přizpůsobena zájmu posluchačů. Typicky diskutujeme mezijazyky, SSA formu, skalární optimalizaci a optimalizaci smyček. |
||||
NPRG015
no voting |
Praktikum řešení programátorských úloh
Seminar for preparing students for contests in programming |
Z. Dvořák | Fr 14:00 SU2 | Every other week, starting on February 23. |
Training for programming competitions, especially International Collegiate Programming Contest (ICPC). Practice contests and tutorials on important techniques and problem types. Held once every two weeks for 3 hours. |
||||
NDMI052 |
Problémový seminář z kombinatoriky
Seminar on Combinatorial Problems |
P. Valtr, J. Kynčl | ||
The students will collaborate on solving open combinatorial problems, which are easily formulated and do not require deep background knowledge. We attempt to choose problems of medium difficulty. |
||||
NTIN114 |
Proudové algoritmy pro velká data
Streaming algorithms for Big Data |
P. Veselý | ||
Proudové (streaming) algoritmy jsou navrženy pro analýzu dat pouhým jedním průchodem s malou pamětí. V přednášce pokryjeme techniky vzorkování (sampling) a skečování, které slouží k sumarizaci velkých objemů dat do malé datové struktury, typicky logaritmické ve velikosti dat, kterou lze však stále použít jako aproximaci původních dat. Ačkoliv se primárně zaměříme na návrh a analýzu proudových algoritmů, dokážeme si i dolní odhady na jejich přestnost a někdy též probereme praktičnost jejich použití. |
||||
NMIN365 |
Sage
Sage |
R. Šámal, R. Hušek | ||
Do you want to use a computer to deal with math problems? Do you find Wolfram alpha limited to only basic problems? Do you prefer open source software? Do you prefer Python over "Mathematica language"? Come and learn to use Sage! |
||||
NDMI093 |
Seminář z algoritmů a datových struktur
Seminar on algorithms and data structures |
M. Mareš | ||
Referativní seminář o aktuálních výsledcích na poli algoritmů a datových struktur. |
||||
NOPT060 |
Seminář z kooperativní teorie her
Cooperative game theory seminar |
M. Černý, D. Ryzák | Tu 9:00 | |
Cílem semináře je dát dohromady studenty a vyučující, kteří mají zájem o kooperativní teorii her. Slouží především jako platforma pro vznik nových témat a formulaci zajímavých problémů, které následně diskutujeme a řešíme. Seminář je směřovaný tím, co jeho účastníky baví a zajímá. Chceme vybudovat kolektiv a propojit mezi sebou lidi, kteří mohou spolupracovat i nad rámec samotného semináře. Studenti si mohou také prostřednictvím semináře vyzkoušet, co obnáší výzkum v matematice, otestovat své schopnosti a na základě této zkušenosti na seminář i navázat prostřednictvím bakalářské/magisterské práce. |
||||
NDMI085 |
Teorie grafových minorů
Graph minor theory |
Z. Dvořák | ||
Further in-depth treatment of the topics introduced in NDMI059 Graph minors and tree decompositions, focusing on giving an outline of the proof Minor Structure Theorem and showcasing some of its applications. We will also cover recent developments towards the Hadwiger's conjecture. |
||||
NDMI065 |
Teorie matroidů
Matroid Theory |
O. Pangrác / M. Černý | lecture preferably on Monday or Friday | |
Introduction to matroid theory. It covers basic notions, representability, graphic matroids, and some algorithmic aspects of matroids. |
||||
NMAI066
no voting |
Topologické a algebraické metody
Topological and Algebraic Methods |
A. Pultr | Please send e-mail to pultr@kam.mff.cuni.cz. | |
Částečná uspořádání, speciální částečná uspořádání informatiky. DCPO, domény. Spojitá a algebraická uspořádání. Základy topologie pro informatiky. |
||||
NDMI014 |
Topologické metody v kombinatorice
Topological Methods in Combinatorics |
Martin Tancer / Tomáš Hons, Petr Chmel | The lecture Mathematics++ will be merged into this lecture | |
Cílem přednášky je poskytnout krátký úvod do topologie a následně se zaměřit na aplikace topologických metod především v kombinatorice. Příkladem takové aplikace je určení chromatického čísla tzv. Kneserových grafů. Ústředním nástrojem bude Borsuk-Ulamova věta, která bude podrobně vysvětlena. Letos bude přednáška spojena s přednáškou Matematika++. V důsledku toho bude úvod do topologie o něco hlubší. |
||||
NDMI056 |
Vybrané kapitoly z kombinatoriky 2
Selected chapter in combinatorics 2 |
Jan Hubička, Jarlosav Nešetřil | ||
Probereme symetrie grafů a struktur v kontextu extémálních problémů a jejich rozšiřujících vlastností. Budeme se věnovat problému rozšiřování částečných automorfismů (EPPA). Přednáška nebude vyžadovat předchozí znalost oblasti. |
||||
NTIN086 |
Vybrané kapitoly z výpočetní složitosti II
Selected topics in computational complexity II |
J. Tkadlec / J. Tkadlec | ||
In this semester, we will focus on Evolutionary graph theory -- the field which studies random processes that model how entities (such as opinions, viruses, or genetic mutations) propagate through network-structured populations. Along the way we introduce notions such as Markov chains or martingales and we answer questions such as "How long does it take until a randomly typing monkey types a word 'abracadabra'?" We assume basic knowledge of discrete mathematics and probability. |
||||
NOPT017 |
Vícekriteriální optimalizace
Multiobjective Optimization |
M. Hladík | ||
NTIN100 |
Základy přenosu a zpracování informace
Introduction to Information Transmission and Processing |
P. Gregor / T. A. Vu | We start from the second week. | |
Základy teorie informace, samoopravných kódů a komunikační složitosti. |
||||
NDMI100 |
Úvod do kryptografie
Introduction to cryptography |
M. Mareš | ||
Základní kurs kryptografie od teoretických základů až po běžně používané protokoly (jako například TLS a DNSSEC) a praktickou počítačovou bezpečnost. |