Letos se úmluva koná elektronicky: 25. 9. se zde objeví seznam umlouvaných předmětů spolu s jejich popisem a formulář, kde je možné hlasovat o termínech. 29. 9. v 09:00 hlasování vyhodnotíme a předměty rozvrhneme. Umluvené termíny se objeví v SISu.
Výsledky úmluvy najdete v SISu.
Kód | Název | Vyučující / cvičící | Rozvrženo | Poznámka |
---|---|---|---|---|
NOPT021 |
Algoritmy moderní teorie her
Modern algorithmic game theory |
M. Schmid | SIS | |
NDMI060 |
Barevnost grafů a kombinatorických struktur
Coloring of Graphs and Other Combinatorial Structures |
Z. Dvořák | SIS | |
A systematic introduction to the graph coloring theory, including some of the recent developments.
|
||||
NTIN104 |
Foundations of Theoretical Cryptography
Foundations of Theoretical Cryptography |
P. Hubáček / P. Hubáček | SIS | |
NDMI037 |
Geometrické reprezentace grafů 1
Geometric Representations of Graphs 1 |
J. Kratochvíl | SIS | |
Special graph classes, in this course mainly defined as intersection graphs of geometrical objects in the plane, are intensively studied both for their applied motivation and interesting algorithmic properties. We will see interval graphs, chordal graphs, comparability graphs, and others, their structural characterizations, recognition algorithms as well as algorithms for basic optimization problems that run in polynomial time on graphs from these classes. |
||||
NDMI010 |
Grafové algoritmy
Graph algorithms |
M. Mareš | SIS | |
Přednáška se zabývá pokročilými algoritmy na nejkratší cesty, toky v sítích, minimální kostry a další grafové problémy. Také potkáme několik datových struktur pro dynamickou reprezentaci grafů. Předpokládá se znalost v rozsahu bakalářských Algoritmů a datových struktur 1+2. |
||||
NOPT051 |
Intervalové metody
Interval Methods |
M. Hladík / M. Hladík | SIS | |
NDMI022 |
Kombinatorický seminář
Seminar on Combinatorics |
I. Penev, M. Tancer | SIS | |
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. |
||||
NDMI073 |
Kombinatorika a grafy III
Combinatorics and Graph Theory III |
Z. Dvořák / G. Aubian | SIS | |
An advanced course in graph theory and combinatorics. Includes topics from:
|
||||
NMAI072 |
Lineární algebra 3
Linear algebra 3 |
M. Hladík | SIS | |
NMAI074 |
Nekonečné množiny
Infinite sets |
J. Kynčl | SIS | |
NSWI181 |
Optimalizace kódu produkčních překladačů 2
Code optimization in production compilers 2 |
J. Hubička | SIS | |
Druhá část přednášky o překladačích. Zaměříme se na optimalizaci smyček, inter-procedurální optimalizaci, a generování kódu. |
||||
NPRG015
no voting |
Praktikum řešení programátorských úloh
Seminar for preparing students for contests in programming |
Z. Dvořák | SIS | Příprava na soutěže v programování. Koná se jednou za 14 dní. |
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 | SIS | |
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. |
||||
NDMI118 |
Programování v ChatGPT
Programming in ChatGPT |
M. Černý, M. Lorenc, D. Sychrovský | SIS | |
Cílem semináře je otestovat možnosti a hranice práce s ChatGPT a do příštích let položit základy pro výuku "plnokrevné" přednášky na toto téma. Studenti mají příležitost se kromě osvojení tohoto nástroje aktivně podílet na obsahu semináře a směru, kterým se bude (především ve své druhé polovině) odvíjet. Z důvodu povahy předmětu je kapacita omezena. |
||||
NOPT060 |
Seminář z kooperativní teorie her
Cooperative game theory seminar |
M. Černý, D. Ryzák | SIS | |
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. |
||||
NTIN102
no voting |
Seminář z teoretické informatiky
Seminar on theory of computing |
Koucký, Čepek, Hubáček, Kolman, Sgall | SIS | Already scheduled. |
Známý též jako pizza seminář. Přijdtě si dát kus pizzy a poslechnout přednášku na aktuální téma z teoretické informatiky. |
||||
NMMB453
no voting |
Studentský logický seminář
Student logic seminar |
O. Ježil, M. Narusevych | SIS | Already scheduled. |
Imagine a true statement about finite objects, how can a formal proof of such a statement look? Can it be short? This semester's topic will be about basic propositional proof systems studied in proof complexity (namely Resolution, Frege system, and some algebraic and geometric systems). During the seminars, which will be as interactive as possible, we will work on various exercises which will guide us through the feel of proving something in those proof systems. We will also focus on studying classic lower bounds for those systems. In the later parts of the semester, the students will be free to pick a topic to present, but active participation will be enough to obtain the credit (zápočet). No prior knowledge is assumed, everything is to be explained on the seminar. |
||||
NDMI067 |
Toky, cesty a řezy
Flows, paths and cuts |
P. Kolman | SIS | |
Algorithms for different types of flows and cuts, as well as their interrelations, have proven to be invaluable tools for addressing a wide range of graph-related problems (e.g., graph drawing, VLSI design, routing in networks, to name a few). In this course, we will
|
||||
NTIN110 |
Vybrané kapitoly z datových struktur
Selected Topics in Data Structures |
M. Mareš, L. Ondráček | SIS | |
Cyklus přednášek o pokročilých datových strukturách, navazující na magisterské Datové struktury 1 a 2. Předmět je možné zapisovat opakovaně, každý rok děláme něco jiného. |
||||
NDMI055 |
Vybrané kapitoly z kombinatoriky
Selected chapter in combinatorics |
J. Hubička, J. Nešetřil | SIS | |
Tento rok se zaměříme na Ramseyovu teorii. Přednáška nema prerekvizity. |
||||
NMAI065 |
Základy teorie kategorií pro informatiky
Fundamentals of Category Theory for Computer Scientists |
A. Pultr | SIS | |
NTIN103 |
Úvod do parametrizované složitosti
Introduction to Parameterized Algorithms |
J. Fiala, M. Koutecký / Tung Anh Vu | SIS | |
Parametrizovaná výpočetní složitost analyzuje dobu běhu algoritmů podrobněji než klasická teorie složitosti: namísto vyjádření doby běhu pouze jako funkce velikosti vstupu se bere v úvahu závislost na vhodném dalším parametru vstupu. Cílem je, aby případný rychlý (exponenciální) růst doby běhu závisel jen na parametru, zatímco závislost na velikosti vstupu je nízká (polynomiální). Kromě hlubšího teoretického pochopení složitosti problému to může vést i k efektivním a praktickým algoritmům, je-li zvolený parametr pro obvyklé vstupy malý. Prohlédněte si trailer. |