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

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 almost final vesrion of the list of all questions (and Czech version, little corrections are possible).
Exam dates: You find five exam dates
published in SIS, at least one exam more will be available in September. If you wish another term, please contact me by email.

Credits: There will be four homework sets. To get credit (zápočet) you need to earn 25 from 40 possible points.

Homeworks. The last homework has been published, please submit the homework till 22nd May.
Please submit your solutions either on paper at the beginning of the practicals or as a pdf-file in the SIS using the Study group roster (Studijní mezivýsledky) application, where you can find your score.


Links:
   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í. (14.5.)

Domácí úkoly. 3. úkol odevzdejte do odevzdejte do čtvrtka 21. května 24:00 (na přednášce nebo do SIS/Studijní mezivýsledky). Body za domácí úkoly najdete ve Studijních mezivýsledcích v SIS.

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).
Termíny zkoušky: Vypsal jsem zatím v SIS 5 termínů zkoušek,alespoň jeden vypíšu v září, máte-li zájem o jiný termín, napište mi váš návrh.

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,