Výuka v akademickém roce 2025/2026


Letní semestr
Number Theoretic Algorithms (NMMB402)
Monday 10:40 - 12:10, practicals even weeks 12:20 - 13:50, K10C

Summary of presented topics,

Solved exercises (24.2.).

Exam: The exam will be written, and students will be able to explain or supplement their written answers orally during the subsequent discussion. The test, consisting of three questions, will test students' familiarity with terminology and knowledge of the principles of the algorithms covered. It will include proof of one of the more difficult mathematical arguments (usually referred to as a statement or theorem). Rating is: 1 for 17-20 points, 2 for 14-16 points, 3 for 11-13 points. Here is the list of all questions (in Czech, it will be translated soon, corrections are possible).

Credits:: There will be four homework sets, each worth 10 points. To get credit (zápočet) you need to earn 25 points in total.


Odkazy:
   syllabus and literature,
   Lecture and practicals of Pavel Příhoda (in Czech),
   Steven D Galbraith, Mathematics of Public Key Cryptography (pdf),
   on-lie text book of V. Shoup,

Referativní seminář k bakalářské práci (NMAT362)
středa 12:20 - 13:50, K3

Sova k odevzdávání prezentací

Odkazy:
   informace o předmětu
Obecně k Bc. práci
   MFF stránky o bakalářce
   Stránky mat. sekce o bakalářce
   Standardy matematické Bc. práce
   Úvodní prezentace semináře
Technické aspekty
   Overleaf na MFF
   Postřehy o práci s PDF/A
   Instrukce pro PDF/A od fyziků
   Matematika a typografie
Prezentace
   Šablona prezentace od A. Komárka
   Jak nemá vypadat prezentace
Algoritmy na eliptických křivkách (NMMB430)
čtvrtek 13:10 - 15:30, K2

Skripta Aleše Drápala (na Moodle)
Dění na přednášce a cvičení

Příklady řešené na cvičení. (26.2.)

Průběh zkoušky: Zkouška se skládá ze tří částí: domácí implementace Schoofova algoritmu (20 bodů), krátkého písemného testu (10 otázek ze základní terminologie a její aplikace na jednoduchých příkladech, zde je vzorový test, 20 bodů) a diskuze na jedno náhodně vybrané teoretické téma (10 bodů). Hodnocení je: 1 za 42-50 bodů, 2 za 33-41 bodů, 3 za 25-32 bodů. Zde je předběžný seznam všech otázek (bude upraveno podle průběhu přednášky).

Požadavky pro získání zápočtu: Na zápočet je třeba zisk 25 bodů za řešení průběžně zadaných čtyř domácích úkolů.

Odkazy:
   Přednáška Aleše Drápala na Moodlu,
   Sage Reference Manual: Algebraic Function Fields,
   Sylabus and Literatura.

Zimní semestr
Samoopravné kódy (NMMB337)
pondělí 9:00 - 12:10, K7

Dění na přednášce a cvičení
Úlohy řešené na cvičení (verze z 5.1.)
Pracovní text k přednášce (verze z 5.1.)
Zkouškové otázky (finální verze)

Zadání domácích úkolů. Zadal jsem poslední dvojici domácích úkolů, kterou prosím odevzdejte buď do zkoušky nebo do 13.2. (buď osobně nebo v SIS ve Studijních mezivýsledcích nebo, nepůjde-li to jinak, tak mailem). Body za domácí úkoly najdete ve Studijních mezivýsledcích v SIS.

Průběh zkoušky: Zkoušený obdrží zadání pět úloh z teorie a její aplikace, na které si připraví odpovědi. Dvě otázky budou testovat studentovu schopnost vyřešit s pomocí teorie konkrétní zadané problémy. Formulace teoretických otázek a typy početních úloh najdete v seznamu a budou už upravovány jen kosmeticky (například překlepy). Zde je ukázková písemka (je třeba získat aspoň 10 bodů, dvojka je aspoň za 13, jednička aspoň za 17 bodů z 20).
Termíny zkoušky: Máte-li zájem o zkouškový termín v semestru nebo v letním zkouškovém období, napište mi.

Požadavky pro získání zápočtu: Postupně zadám osm domácích úkolů, za něž bude třeba získat 35 bodů z 50 možných.

Odkazy:
   text ke staré verzi přednášky,
   skripta A. Drápala,
   skripta T. Kaisera ze ZČÚ v Plzni
   Malý atlas kódů Jana Šťovíčka.
   stránka kurzu Automaty a konvoluční kódy,
   skripta Jyrki Lahtonena z konvolučních kódů,
   sylabus a literatura,
Počítačová algebra (NMMB309)
čtvrtek 11:30 - 13:50, K8

Dění na přednášce
Dění na cvičení Alexandra Slávika
Zkouškové otázky (finální verze)

Průběh zkoušky: Zkoušený dostane dvě otázky ze seznamu otázek (už bude upravován jen kosmeticky ), na které si písemně připraví odpovědi. První otázka bude vyžadovat formulaci a důkaz správnosti algoritmu, případně formulování a důkaz některého ze souvisejících teoretických problémů, druhá otázka se zaměří na odhad časové složitosti (jiného) algoritmu případně také simulaci chodu algoritmu na snadno upočítatelném konkrétním vstupu.
Zápočet není potřeba získat před zkouškou.
Termíny zkoušky: Máte-li zájem o zkouškový termín v semestru nebo v letním zkouškovém období, napište mi.

Základní literaturou jsou skripta Davida Stanovského a Libora Barta Počítačová algebra.

Odkazy:
   sylabus a literatura,
   loňská přednáška Z.Patákové
   přednáška D.Stanovského
   přednáška D.Stanovského Algebra
   učebnice V. Shoupa,