Aritmetika a algoritmy - ALG110008

• Anglický název: Arithmetic and Algorithms
• Zajišťuje: Katedra logiky (21-KLOG)
• Fakulta: Filozofická fakulta
• Platnost: od 2025 do 2025
• Semestr: letní
• Body: 0
• E-Kredity: 4
• Způsob provedení zkoušky: letní s.:
• Rozsah, examinace: letní s.:1/1, Zk [HT]
• Počet míst: neomezen / neomezen (neurčen)
• Minimální obsazenost: neomezen
• 4EU+: ne
• Virtuální mobilita / počet míst pro virtuální mobilitu: ne
• Stav předmětu: vyučován
• Jazyk výuky: angličtina, čeština
• Způsob výuky: prezenční
• Další informace: http://www1.cuni.cz/~svejdar/?s=aa
• Poznámka: předmět je možno zapsat mimo plán; povolen pro zápis po webu
• Garant: doc. RNDr. Vítězslav Švejdar, CSc.
• Vyučující: doc. RNDr. Vítězslav Švejdar, CSc.

Anotace

čeština

Jeden z úvodně matematických kursů oboru logika, na kterém jsou vítáni i nelogikové. Věnován základním pojmům z teoretické informatiky, jako jsou časové a paměťové nároky algoritmů a úlohy ve třídách P a NP, a základním algebraickým pojmům, jako jsou grupy, okruhy a obory integrity. Kryptografická metoda RSA a Prattův kalkulus pro dokazování prvočísel. Pozvánka: https://www.dropbox.com/scl/fi/glg0714d2r9x8zxkkqvs0/aaPozvanka26.pdf?rlkey=g6b18xuiomr5nvvdbub10e94i&dl=1

Poslední úprava: Švejdar Vítězslav, doc. RNDr., CSc. (01.02.2026)

angličtina

From groups, rings and integer divisibility and Euclid's algorithm to the RSA cryptosystem.
Polynomially decidable (computable) problems and functions, the class NP.

A course intended for students who said goodbye to mathematics some time before continuing to higher
education, but did not take a negative attitude towards it. No preliminary knowledge is assumed,
the progress will be slow or moderate, but the mathematics will be real, with proofs and abstract
thinking. A Czech invitation: https://www.dropbox.com/scl/fi/glg0714d2r9x8zxkkqvs0/aaPozvanka26.pdf?rlkey=g6b18xuiomr5nvvdbub10e94i&dl=1

Poslední úprava: Švejdar Vítězslav, doc. RNDr., CSc. (01.02.2026)

Podmínky zakončení předmětu

Ústní zkouška, která ověřuje zvládnutí pojmů a důkazů a porozumění relevantním algoritmům. Vlastní zkoušce předchází prodiskutování jednoho nebo několika cvičení z předem poskytnutého seznamu.

Poslední úprava: Švejdar Vítězslav, doc. RNDr., CSc. (03.02.2026)

Literatura

A. V. Aho, J. E. Hopcroft a J. Ullman.The Design and Analysis of Computer Algorithms. Addison-Wesley, 1974.

C. H. Papadimitriou. Computational Complexity. Addison-Wesley, 1994.

F. Veselý. O dělitelnosti čísel celých. Mladá fronta, Praha, 1966.

Poslední úprava: Švejdar Vítězslav, doc. RNDr., CSc. (03.02.2026)