Aritmetika a algoritmy - ALG110008

• Anglický název: Arithmetic and Algorithms
• Zajišťuje: Katedra logiky (21-KLOG)
• Fakulta: Filozofická fakulta
• Platnost: od 2023
• 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: čeština
• Způsob výuky: prezenční
• 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

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

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/7nrzpy2w4lg01632n5hcs/aaPozvanka24.pdf?rlkey=431ueots20k76sw4go8af5lbf&dl=1

angličtina

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

From groups, rings and integer divisibility to the RSA cryptosystem and Pratt calculus for proving primes.
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.