Monday, 20 September 2010 19:50 | Author: Administrator |
Jirotkova bakalářská práce "Složitost booleovských funkcí" s několika drobnými opravami - originál je možno získat v Knihovně MFF UK Praha. (The rest of this article is in English.)
Monday, 17 May 2010 14:18 | Author: Administrator |
In this PDF presentation we show the idea of Wiles' proof of the Fermat's Last Theorem. The theorem says that if a triple is a solution to the equation , for , then .
Monday, 29 March 2010 19:02 | Author: Administrator |
We post the PDF presentation on Fagin's theorem which was created for the 1st Spring School of the Department of Algebra. The school took the place in Brada near by Jičín on March 24 -- 28, 2010.