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.
Poslední úprava: doc. RNDr. Vítězslav Švejdar, CSc. (06.02.2023)
From groups, rings and integer divisibility to 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 but did not take a negative attitude towards it. No preliminary knowledge is required,
the progress will be slow or moderate, but the mathematics will be real, with proofs and abstract
thinking.